ETSI's Bug Tracker - Part 06: TTCN-3 Control Interface
View Issue Details

ID | Project | Category | View Status | Date Submitted | Last Update
0005878 | Part 06: TTCN-3 Control Interface | Editorial | public | 27-04-2011 12:37 | 30-09-2011 16:42

Reporter | tepelmann |
Assigned To | Ina Schieferdecker |
Priority | low | Severity | minor | Reproducibility | always
Status | closed | Resolution | fixed |
Platform |  | OS |  | OS Version |
Product Version |  |
Target Version | v4.4.1 (published 2012-04) | Fixed in Version | v4.4.1 (published 2012-04) |
Clause Reference(s) | 8.5.4.1
Source (company - Author) | tepelmann

Summary | 0005878: TCI TL Java mapping in Chapter 8.5.4.1 needs editoral corrections

Description

In ETSI ES 201 873-6 V4.2.1 (2010-07) the Java mapping of the TCI-TL interface contains errors:
- tliMSend_m_BC:
-> comma is missing between msgValue and encoderFailure
- tliPrGetReplyDetected_m, tliPrGetReplyDetected_c
-> "in TriParameterList(Type) triPars" should be "TriParameterList triPars"
- tliPrGetReplyMismatch_m, tliPrGetReplyMismatch_c, tliPrGetReply_m, tliPrGetReply_c
-> "in TciValueTemplate parsTmpl" should be "TciValueTemplate parsTmpl"
- tliTStop
-> "in TriTimerDuration dur" should be "TriTimerDuration dur"
- tliLog
-> "Tstring log" should be "String log"
- tliInfo
-> "TriComponent c" should be "TriComponentId c"
-> semicolon at the end missing

Steps To Reproduce |

Additional Information

Here all editorial changes collected:
// TCI-TL
// TE, TM,CH,CD, SA,PA -> TL
package org.etsi.ttcn.tci;
import org.etsi.ttcn.tri.TriAddress;
import org.etsi.ttcn.tri.TriAddressList;
import org.etsi.ttcn.tri.TriComponentId;
import org.etsi.ttcn.tri.TriException;
import org.etsi.ttcn.tri.TriMessage;
import org.etsi.ttcn.tri.TriParameter;
import org.etsi.ttcn.tri.TriParameterList;
import org.etsi.ttcn.tri.TriPortId;
import org.etsi.ttcn.tri.TriPortIdList;
import org.etsi.ttcn.tri.TriSignatureId;
import org.etsi.ttcn.tri.TriStatus;
import org.etsi.ttcn.tri.TriTimerDuration;
import org.etsi.ttcn.tri.TriTimerId;
public interface TciTLProvided {
public void tliTcExecute(String am, int ts, String src, int line, TriComponentId c,
TciTestCaseId tcId, TriParameterList triPars, TriTimerDuration dur);
public void tliTcStart(String am, int ts, String src, int line, TriComponentId c,
TciTestCaseId tcId, TciParameterList tciPars, TriTimerDuration dur);
public void tliTcStop(String am, int ts, String src, int line, TriComponentId c);
public void tliTcStarted(String am, int ts, String src, int line, TriComponentId c,
TciTestCaseId tcId, TciParameterList tciPars, TriTimerDuration dur);
public void tliTcTerminated(String am, int ts, String src, int line, TriComponentId c,
TciTestCaseId tcId, TciParameterList tciPars, VerdictValue verdict);
public void tliCtrlStart(String am, int ts, String src, int line, TriComponentId c);
public void tliCtrlStop(String am, int ts, String src, int line, TriComponentId c);
public void tliCtrlTerminated(String am, int ts, String src, int line, TriComponentId c);
public void tliMSend_m(String am, int ts, String src, int line, TriComponentId c,
TriPortId at, TriPortId to, Value msgValue, Value addrValue,
TciStatus encoderFailure, TriMessage msg, TriAddress address,
TriStatus transmissionFailure);
public void tliMSend_m_BC(String am, int ts, String src, int line, TriComponentId c,
TriPortId at, TriPortId to, Value msgValue,
TciStatus encoderFailure, TriMessage msg, TriStatus transmissionFailure) ;
public void tliMSend_m_MC(String am, int ts, String src, int line, TriComponentId c,
TriPortId at, TriPortId to, Value msgValue, TciValueList addrValues,
TciStatus encoderFailure, TriMessage msg, TriAddressList addresses,
TriStatus transmissionFailure);
public void tliMSend_c(String am, int ts, String src, int line, TriComponentId c,
TriPortId at, TriPortId to, Value msgValue, TriStatus transmissionFailure);
public void tliMSend_c_BC(String am, int ts, String src, int line, TriComponentId c,
TriPortId at, TriPortIdList to, Value msgValue, TriStatus transmissionFailure);
public void tliMSend_c_MC(String am, int ts, String src, int line, TriComponentId c,
TriPortId at, TriPortIdList to, Value msgValue, TriStatus transmissionFailure);
public void tliMDetected_m(String am, int ts, String src, int line, TriComponentId c,
TriPortId at, TriPortId from, TriMessage msg, TriAddress address);
public void tliMDetected_c(String am, int ts, String src, int line, TriComponentId c,
TriPortId at, TriPortId from, Value msgValue );
public void tliMMismatch_m(String am, int ts, String src, int line, TriComponentId c,
TriPortId at, Value msgValue, TciValueTemplate msgTmpl, TciValueDifferenceList diffs,
Value addrValue, TciValueTemplate addressTmpl);
public void tliMMismatch_c(String am, int ts, String src, int line, TriComponentId c,
TriPortId at, Value msgValue, TciValueTemplate msgTmpl, TciValueDifferenceList diffs,
TriComponentId from, TciNonValueTemplate fromTmpl);
public void tliMReceive_m(String am, int ts, String src, int line, TriComponentId c,
TriPortId at, Value msgValue, TciValueTemplate msgTmpl,
Value addrValue, TciValueTemplate addressTmpl);
public void tliMReceive_c(String am, int ts, String src, int line, TriComponentId c,
TriPortId at, Value msgValue, TciValueTemplate msgTmpl,
TriComponentId from, TciNonValueTemplate fromTmpl);
public void tliPrCall_m(String am, int ts, String src, int line, TriComponentId c,
TriPortId at, TriPortId to, TriSignatureId signature, TciParameterList tciPars,
Value addrValue, TciStatus encoderFailure, TriParameterList triPars,
TriAddress address, TriStatus transmissionFailure);
public void tliPrCall_m_BC(String am, int ts, String src, int line, TriComponentId c,
TriPortId at, TriPortId to, TriSignatureId signature, TciParameterList tciPars,
TciStatus encoderFailure, TriParameterList triPars,
TriStatus transmissionFailure);
public void tliPrCall_m_MC(String am, int ts, String src, int line, TriComponentId c,
TriPortId at, TriPortId to, TriSignatureId signature, TciParameterList tciPars,
TciValueList addrValues, TciStatus encoderFailure, TriParameterList triPars,
TriAddressList addresses, TriStatus transmissionFailure);
public void tliPrCall_c(String am, int ts, String src, int line, TriComponentId c,
TriPortId at, TriPortId to, TriSignatureId signature, TciParameterList tciPars,
TriStatus transmissionFailure);
public void tliPrCall_c_BC(String am, int ts, String src, int line, TriComponentId c,
TriPortId at, TriPortIdList to, TriSignatureId signature, TciParameterList tciPars,
TriStatus transmissionFailure);
public void tliPrCall_c_MC(String am, int ts, String src, int line, TriComponentId c,
TriPortId at, TriPortIdList to, TriSignatureId signature, TciParameterList tciPars,
TriStatus transmissionFailure);
public void tliPrGetCallDetected_m(String am, int ts, String src, int line, TriComponentId c,
TriPortId at, TriPortId from, TriSignatureId signature, TriParameterList triPars,
TriAddress address);
public void tliPrGetCallDetected_c(String am, int ts, String src, int line, TriComponentId c,
TriPortId at, TriPortId from, TriSignatureId signature, TciParameterList tciPars );
public void tliPrGetCallMismatch_m(String am, int ts, String src, int line, TriComponentId c,
TriPortId at, TriSignatureId signature,
TciParameterList tciPars, TciValueTemplate parsTmpl, TciValueDifferenceList diffs,
Value addrValue, TciValueTemplate addressTmpl);
public void tliPrGetCallMismatch_c(String am, int ts, String src, int line, TriComponentId c,
TriPortId at, TriSignatureId signature,
TciParameterList tciPars, TciValueTemplate parsTmpl, TciValueDifferenceList diffs,
TriComponentId from, TciNonValueTemplate fromTmpl);
public void tliPrGetCall_m(String am, int ts, String src, int line, TriComponentId c,
TriPortId at, TriSignatureId signature,
TciParameterList tciPars, TciValueTemplate parsTmpl,
Value addrValue, TciValueTemplate addressTmpl);
public void tliPrGetCall_c(String am, int ts, String src, int line, TriComponentId c,
TriPortId at, TriSignatureId signature,
TciParameterList tciPars, TciValueTemplate parsTmpl,
TriComponentId from, TciNonValueTemplate fromTmpl);
public void tliPrReply_m(String am, int ts, String src, int line, TriComponentId c,
TriPortId at, TriPortId to, TriSignatureId signature, TciParameterList tciPars,
Value replValue, Value addrValue,
TciStatus encoderFailure, TriParameterList triPars,
TriParameter repl, TriAddress address, TriStatus transmissionFailure);
public void tliPrReply_m_BC(String am, int ts, String src, int line, TriComponentId c,
TriPortId at, TriPortId to, TriSignatureId signature, TciParameterList tciPars,
Value replValue, TciStatus encoderFailure,
TriParameterList triPars, TriParameter repl, TriStatus transmissionFailure);
public void tliPrReply_m_MC(String am, int ts, String src, int line, TriComponentId c,
TriPortId at, TriPortId to, TriSignatureId signature, TciParameterList tciPars,
Value replValue, TciValueList addrValues,
TciStatus encoderFailure, TriParameterList triPars,
TriParameter repl, TriAddressList addresses, TriStatus transmissionFailure);
public void tliPrReply_c(String am, int ts, String src, int line, TriComponentId c,
TriPortId at, TriPortId to, TriSignatureId signature,
TciParameterList tciPars, Value replValue,
TriStatus transmissionFailure);
public void tliPrReply_c_BC(String am, int ts, String src, int line, TriComponentId c,
TriPortId at, TriPortIdList to, TriSignatureId signature, TciParameterList tciPars,
Value replValue, TriStatus transmissionFailure);
public void tliPrReply_c_MC(String am, int ts, String src, int line, TriComponentId c,
TriPortId at, TriPortIdList to, TriSignatureId signature, TciParameterList tciPars,
Value replValue, TriStatus transmissionFailure);
public void tliPrGetReplyDetected_m(String am, int ts, String src, int line, TriComponentId c,
TriPortId at, TriPortId from, TriSignatureId signature, TriParameterList triPars,
TriParameter repl, TriAddress address);
public void tliPrGetReplyDetected_c(String am, int ts, String src, int line, TriComponentId c,
TriPortId at, TriPortId from, TriSignatureId signature, TciParameterList tciPars,
Value replValue);
public void tliPrGetReplyMismatch_m(String am, int ts, String src, int line, TriComponentId c,
TriPortId at, TriSignatureId signature,
TciParameterList tciPars, TciValueTemplate parsTmpl,
Value replValue, TciValueTemplate replyTmpl, TciValueDifferenceList diffs,
Value addrValue, TciValueTemplate addressTmpl);
public void tliPrGetReplyMismatch_c(String am, int ts, String src, int line, TriComponentId c,
TriPortId at, TriSignatureId signature,
TciParameterList tciPars, TciValueTemplate parsTmpl,
Value replValue, TciValueTemplate replyTmpl, TciValueDifferenceList diffs,
TriComponentId from, TciNonValueTemplate fromTmpl);
public void tliPrGetReply_m(String am, int ts, String src, int line, TriComponentId c,
TriPortId at, TriSignatureId signature,
TciParameterList tciPars, TciValueTemplate parsTmpl,
Value replValue, TciValueTemplate replyTmpl,
Value addrValue, TciValueTemplate addressTmpl);
public void tliPrGetReply_c(String am, int ts, String src, int line, TriComponentId c,
TriPortId at, TriSignatureId signature,
TciParameterList tciPars, TciValueTemplate parsTmpl,
Value replValue, TciValueTemplate replyTmpl,
TriComponentId from, TciNonValueTemplate fromTmpl);
public void tliPrRaise_m(String am, int ts, String src, int line, TriComponentId c,
TriPortId at, TriPortId to,
TriSignatureId signature, TciParameterList tciPars, Value excValue,
Value addrValue, TciStatus encoderFailure, TriException exc,
TriAddress address, TriStatus transmissionFailure);
public void tliPrRaise_m_BC(String am, int ts, String src, int line, TriComponentId c,
TriPortId at, TriPortId to,
TriSignatureId signature, TciParameterList tciPars, Value excValue,
TciStatus encoderFailure, TriException exc, TriStatus transmissionFailure) ;
public void tliPrRaise_m_MC(String am, int ts, String src, int line, TriComponentId c,
TriPortId at, TriPortId to,
TriSignatureId signature, TciParameterList tciPars, Value excValue,
TciValueList addrValues, TciStatus encoderFailure, TriException exc,
TriAddressList addresses, TriStatus transmissionFailure);
public void tliPrRaise_c(String am, int ts, String src, int line, TriComponentId c,
TriPortId at, TriPortId to, TriSignatureId signature,
TciParameterList tciPars, Value excValue, TriStatus transmissionFailure);
public void tliPrRaise_c_BC(String am, int ts, String src, int line, TriComponentId c,
TriPortId at, TriPortIdList to, TriSignatureId signature, TciParameterList tciPars,
Value excValue, TriStatus transmissionFailure);
public void tliPrRaise_c_MC(String am, int ts, String src, int line, TriComponentId c,
TriPortId at, TriPortIdList to, TriSignatureId signature, TciParameterList tciPars,
Value excValue, TriStatus transmissionFailure);
public void tliPrCatchDetected_m(String am, int ts, String src, int line, TriComponentId c,
TriPortId at, TriPortId from, TriSignatureId signature,
TriException exc, TriAddress address);
public void tliPrCatchDetected_c(String am, int ts, String src, int line, TriComponentId c,
TriPortId at, TriPortId from, TriSignatureId signature,
Value excValue);
public void tliPrCatchMismatch_m(String am, int ts, String src, int line, TriComponentId c,
TriPortId at, TriSignatureId signature,
Value excValue, TciValueTemplate excTmpl, TciValueDifferenceList diffs,
Value addrValue, TciValueTemplate addressTmpl);
public void tliPrCatchMismatch_c(String am, int ts, String src, int line, TriComponentId c,
TriPortId at, TriSignatureId signature,
Value excValue, TciValueTemplate excTmpl, TciValueDifferenceList diffs,
TriComponentId from, TciNonValueTemplate fromTmpl);
public void tliPrCatch_m(String am, int ts, String src, int line, TriComponentId c,
TriPortId at, TriSignatureId signature,
Value excValue, TciValueTemplate excTmpl,
Value addrValue, TciValueTemplate addressTmpl);
public void tliPrCatch_c(String am, int ts, String src, int line, TriComponentId c,
TriPortId at, TriSignatureId signature,
Value excValue, TciValueTemplate excTmpl,
TriComponentId from, TciNonValueTemplate fromTmpl);
public void tliPrCatchTimeoutDetected(String am, int ts, String src, int line, TriComponentId c,
TriPortId at, TriSignatureId signature);
public void tliPrCatchTimeout(String am, int ts, String src, int line, TriComponentId c,
TriPortId at, TriSignatureId signature);
public void tliCCreate(String am, int ts, String src, int line, TriComponentId c,
TriComponentId comp, String name, Boolean alive);
public void tliCStart(String am, int ts, String src, int line, TriComponentId c,
TriComponentId comp, TciBehaviourId name, TciParameterList tciPars);
public void tliCRunning(String am, int ts, String src, int line, TriComponentId c,
TriComponentId comp, ComponentStatus status);
public void tliCAlive(String am, int ts, String src, int line, TriComponentId c,
TriComponentId comp, ComponentStatus status);
public void tliCStop(String am, int ts, String src, int line, TriComponentId c,
TriComponentId comp);
public void tliCKill(String am, int ts, String src, int line, TriComponentId c,
TriComponentId comp);
public void tliCDoneMismatch(String am, int ts, String src, int line, TriComponentId c,
TriComponentId comp, TciNonValueTemplate compTmpl);
public void tliCDone(String am, int ts, String src, int line, TriComponentId c,
TciNonValueTemplate compTmpl);
public void tliCKilledMismatch(String am, int ts, String src, int line, TriComponentId c,
TriComponentId comp, TciNonValueTemplate compTmpl);
public void tliCKilled(String am, int ts, String src, int line, TriComponentId c,
TciNonValueTemplate compTmpl);
public void tliCTerminated(String am, int ts, String src, int line, TriComponentId c,
VerdictValue verdict);
public void tliPConnect(String am, int ts, String src, int line, TriComponentId c,
TriPortId port1, TriPortId port2);
public void tliPDisconnect(String am, int ts, String src, int line, TriComponentId c,
TriPortId port1, TriPortId port2);
public void tliPMap(String am, int ts, String src, int line, TriComponentId c,
TriPortId port1, TriPortId port2);
public void tliPUnmap(String am, int ts, String src, int line, TriComponentId c,
TriPortId port1, TriPortId port2);
public void tliPClear(String am, int ts, String src, int line, TriComponentId c,
TriPortId port);
public void tliPStart(String am, int ts, String src, int line, TriComponentId c,
TriPortId port);
public void tliPStop(String am, int ts, String src, int line, TriComponentId c,
TriPortId port);
public void tliPHalt(String am, int ts, String src, int line, TriComponentId c,
TriPortId port);
public void tliEncode(String am, int ts, String src, int line, TriComponentId c,
Value val, TciStatus encoderFailure, TriMessage msg, String codec);
public void tliDecode(String am, int ts, String src, int line, TriComponentId c,
TriMessage msg, TciStatus decoderFailure, Value val, String codec);
public void tliTTimeoutDetected(String am, int ts, String src, int line, TriComponentId c,
TriTimerId timer);
public void tliTTimeoutMismatch(String am, int ts, String src, int line, TriComponentId c,
TriTimerId timer, TciNonValueTemplate timerTmpl);
public void tliTTimeout(String am, int ts, String src, int line, TriComponentId c,
TriTimerId timer, TciNonValueTemplate timerTmpl);
public void tliTStart(String am, int ts, String src, int line, TriComponentId c,
TriTimerId timer, TriTimerDuration dur);
public void tliTStop(String am, int ts, String src, int line, TriComponentId c,
TriTimerId timer, TriTimerDuration dur);
public void tliTRead(String am, int ts, String src, int line, TriComponentId c,
TriTimerId timer, TriTimerDuration elapsed);
public void tliTRunning(String am, int ts, String src, int line, TriComponentId c,
TriTimerId timer, TimerStatus status);
public void tliSEnter(String am, int ts, String src, int line, TriComponentId c,
QualifiedName name, TciParameterList tciPars, String kind);
public void tliSLeave(String am, int ts, String src, int line, TriComponentId c,
QualifiedName name, TciParameterList tciPars, Value returnValue, String kind);
public void tliVar(String am, int ts, String src, int line, TriComponentId c,
QualifiedName name, Value varValue);
public void tliModulePar(String am, int ts, String src, int line, TriComponentId c,
QualifiedName name, Value parValue);
public void tliGetVerdict(String am, int ts, String src, int line, TriComponentId c,
VerdictValue verdict);
public void tliSetVerdict(String am, int ts, String src, int line, TriComponentId c,
VerdictValue verdict, String reason);
public void tliLog(String am, int ts, String src, int line, TriComponentId c,
String log);
public void tliAEnter(String am, int ts, String src, int line, TriComponentId c);
public void tliALeave(String am, int ts, String src, int line, TriComponentId c);
public void tliADefaults(String am, int ts, String src, int line, TriComponentId c);
public void tliAActivate(String am, int ts, String src, int line, TriComponentId c,
QualifiedName name, TciParameterList tciPars, Value ref);
public void tliADeactivate(String am, int ts, String src, int line, TriComponentId c,
Value ref);
public void tliANomatch(String am, int ts, String src, int line, TriComponentId c);
public void tliARepeat(String am, int ts, String src, int line, TriComponentId c);
public void tliAWait(String am, int ts, String src, int line, TriComponentId c);
public void tliAction(String am, int ts, String src, int line, TriComponentId c, String action);
public void tliMatch(String am, int ts, String src, int line, TriComponentId c, Value expr,
TciValueTemplate tmpl);
public void tliMatchMismatch(String am, int ts, String src, int line, TriComponentId c,
Value expr, TciValueTemplate tmpl, TciValueDifferenceList diffs);
public void tliInfo (String am, int ts, String src, int line, TriComponentId c,
int level, String info);
}

Tags | No tags attached.
Relationships |
Attached Files |

Issue History
Date Modified | Username | Field | Change
27-04-2011 12:37 | tepelmann | New Issue |
27-04-2011 12:37 | tepelmann | Clause Reference(s) | => 8.5.4.1
27-04-2011 12:37 | tepelmann | Source (company - Author) | => tepelmann
28-04-2011 14:39 | tepelmann | Note Added: 0009996 |
24-05-2011 12:28 | Gyorgy Rethy | Assigned To | => Ina Schieferdecker
24-05-2011 12:28 | Gyorgy Rethy | Priority | normal => low
24-05-2011 12:28 | Gyorgy Rethy | Status | new => assigned
24-05-2011 12:28 | Gyorgy Rethy | Target Version | => Edition 4.4.1
24-05-2011 19:05 | Gyorgy Rethy | Target Version | Edition 4.4.1 => Edition 4.3.2 (interim)
25-05-2011 15:23 | Ina Schieferdecker | Note Added: 0010056 |
25-05-2011 15:23 | Ina Schieferdecker | Status | assigned => resolved
25-05-2011 15:23 | Ina Schieferdecker | Resolution | open => fixed
27-09-2011 14:09 | Gyorgy Rethy | Status | resolved => feedback
27-09-2011 14:09 | Gyorgy Rethy | Resolution | fixed => reopened
27-09-2011 14:09 | Gyorgy Rethy | Note Added: 0010249 |
27-09-2011 14:10 | Gyorgy Rethy | Status | feedback => resolved
27-09-2011 14:10 | Gyorgy Rethy | Resolution | reopened => fixed
27-09-2011 14:10 | Gyorgy Rethy | Target Version | Edition 4.3.2 (interim) => Edition 4.4.1
30-09-2011 16:40 | Ina Schieferdecker | Note Added: 0010319 |
30-09-2011 16:42 | Ina Schieferdecker | Status | resolved => closed
30-09-2011 16:42 | Ina Schieferdecker | Fixed in Version | => Edition 4.4.1

Notes

(0009996)
tepelmann
28-04-2011 14:39

One additional correction is needed for the mapping of TBoolean: For tliCCreate the type for alive should be 'boolean' instead of 'Boolean' - see chapter "8.3.1 Basic type mapping".

(0010056)
Ina Schieferdecker
25-05-2011 15:23

Agreed as proposed.

(0010249)
Gyorgy Rethy
27-09-2011 14:09

Changing target version to 4.4.1

(0010319)
Ina Schieferdecker
30-09-2011 16:40

as proposed except that tliPrGetReplyDetected_c uses tciPars not triPars