ETSI's Bug Tracker - Part 01: TTCN-3 Core Language
View Issue Details

ID | Project | Category | View Status | Date Submitted | Last Update
0005243 | Part 01: TTCN-3 Core Language | New Feature | public | 12-06-2009 15:59 | 17-07-2011 09:34

Reporter | Wolfgang Seka |
Assigned To | Ina Schieferdecker |
Priority | normal | Severity | minor | Reproducibility | have not tried
Status | closed | Resolution | fixed |
Platform |  | OS |  | OS Version |
Product Version |  |
Target Version | v4.3.2 (interim 2011) | Fixed in Version | v4.3.2 (interim 2011) |
Clause Reference(s) | part1 21.1 or 22.5
Source (company - Author) |

Summary | 0005243: "iscconnected" to check whether a port is connected or not
Description | Currently there is no implicit way in TTCN-3 to figure out whether a port is connected. An "isconnected" operation would allow simplicifation of TTCN-3 implementations
Steps To Reproduce |
Additional Information |
Tags | No tags attached.
Relationships |

Attached Files

Resolution-5243-Part1-main-text-110630.doc (116,736) 30-06-2011 16:48
http://oldforge.etsi.org/mantis/file_download.php?file_id=2538&type=bug
Resolution-5243-Part1--AnnexE-110630.doc (99,328) 30-06-2011 16:49
http://oldforge.etsi.org/mantis/file_download.php?file_id=2539&type=bug
Resolution-5243-Part1-main-text-110701.doc (116,736) 01-07-2011 15:26
http://oldforge.etsi.org/mantis/file_download.php?file_id=2549&type=bug

Issue History
Date Modified | Username | Field | Change
12-06-2009 15:59 | Wolfgang Seka | New Issue |
12-06-2009 15:59 | Wolfgang Seka | Clause Reference(s) | => part1 21.1 or 22.5
12-06-2009 15:59 | Wolfgang Seka | Source (company - Author) | =>
30-06-2009 09:47 | Ina Schieferdecker | Project | TTCN-3 Change Requests => Part 01: TTCN-3 Core Language
30-06-2009 09:47 | Ina Schieferdecker | Target Version | => Edition 4.2.1 (not yet published)
30-06-2009 09:58 | Ina Schieferdecker | Note Added: 0008797 |
30-06-2009 09:59 | Ina Schieferdecker | Status | new => assigned
30-06-2009 09:59 | Ina Schieferdecker | Assigned To | => Jens Grabowski
16-02-2010 14:26 | Jens Grabowski | Note Added: 0009219 |
18-03-2010 07:33 | Ina Schieferdecker | Target Version | Edition 4.2.1 (not yet published) => Edition 5.1.1 (not yet published)
22-03-2010 17:22 | Gyorgy Rethy | Assigned To | Jens Grabowski =>
22-03-2010 17:22 | Gyorgy Rethy | Status | assigned => new
23-03-2010 12:54 | Gyorgy Rethy | Note Added: 0009258 |
23-03-2010 12:54 | Gyorgy Rethy | Assigned To | => Jens Grabowski
23-03-2010 12:54 | Gyorgy Rethy | Priority | normal => low
23-03-2010 12:54 | Gyorgy Rethy | Status | new => assigned
30-11-2010 13:54 | Gyorgy Rethy | Note Added: 0009848 |
30-11-2010 13:59 | Gyorgy Rethy | Note Edited: 0009848 |
13-12-2010 12:52 | Gyorgy Rethy | Target Version | Edition 4.3.1 (not yet published) => Edition 4.3.2 (interim)
13-12-2010 12:52 | Gyorgy Rethy | Target Version | Edition 4.3.2 (interim) => Edition 4.3.1 (not yet published)
14-12-2010 07:49 | Gyorgy Rethy | Target Version | Edition 4.3.1 (not yet published) => Edition 4.3.2 (interim)
24-05-2011 17:38 | Gyorgy Rethy | Note Added: 0010037 |
24-05-2011 19:34 | Gyorgy Rethy | Priority | low => normal
29-06-2011 11:29 | Gyorgy Rethy | Note Added: 0010139 |
30-06-2011 16:48 | Jens Grabowski | Note Added: 0010165 |
30-06-2011 16:48 | Jens Grabowski | File Added: Resolution-5243-Part1-main-text-110630.doc |
30-06-2011 16:49 | Jens Grabowski | File Added: Resolution-5243-Part1--AnnexE-110630.doc |
30-06-2011 16:50 | Jens Grabowski | Assigned To | Jens Grabowski => Gyorgy Rethy
01-07-2011 15:26 | Gyorgy Rethy | File Added: Resolution-5243-Part1-main-text-110701.doc |
01-07-2011 15:30 | Gyorgy Rethy | Note Added: 0010182 |
01-07-2011 15:30 | Gyorgy Rethy | Assigned To | Gyorgy Rethy => Ina Schieferdecker
17-07-2011 09:29 | Ina Schieferdecker | Note Added: 0010227 |
17-07-2011 09:33 | Ina Schieferdecker | Status | assigned => resolved
17-07-2011 09:33 | Ina Schieferdecker | Fixed in Version | => Edition 4.3.2 (interim)
17-07-2011 09:33 | Ina Schieferdecker | Resolution | open => fixed
17-07-2011 09:34 | Ina Schieferdecker | Status | resolved => closed

Notes

(0008797)
Ina Schieferdecker
30-06-2009 09:58

Looks like a meaningful feature. IF so, we should however try to find a general way to cope with the status of active objects (components, timers, port connections, defaults) - and potentially make existing dedicated solutions for selected active objects (such as timer running) deprecated. Check also with other languages which concepts for reflection are supported.

(0009219)
Jens Grabowski
16-02-2010 14:26

To be rediscussed for version 5.1.1

(0009258)
Gyorgy Rethy
23-03-2010 12:54

As discussed, a more general solution would be more appropriate that allows getting the state of active TTCN-3 objects.

(0009848)
Gyorgy Rethy
30-11-2010 13:54 (edited on: 30-11-2010 13:59)

STF discussion on 30/11/2010: take the "predefined operation" approach, where the operation names are not keywords; but at this stage leave already defined keywords as keywords. Add the .state op., which will return the already defined states of active objects defined in annex E - in a consistent way with the log sttm. Also add isconnected, ismapped operations,

(0010037)
Gyorgy Rethy
24-05-2011 17:38

Define the new and move the existing boolean-returning status checking operations (timer.running, comp.alive) operations in a new mandatory clause and remove their names from the list of keywords. For backward compat. reasons the removed keywords shall be handled in the mapping parts separately.

(0010139)
Gyorgy Rethy
29-06-2011 11:29

Go for option 3.b), i.e.
P1.checkstate(<restricted string>) -> returns boolean; The strings are defined in the mandatory part of the standard, but in Clause E (useful types) two restricted types (for ObjectStates, LinkStates) and constants of that types for each of the defined states shall be added. Refer to those useful types and constants from the clause defining the function and give only examples where these useful constants are used.

(0010165)
Jens Grabowski
30-06-2011 16:48

Proposal for the main text in part 1 and Annex E (useful types) can be found in the attached files. Still missing: BNF and operational semantics. While working on operational semantics, assigned to GyÃ¶rgy for proofreading.

(0010182)
Gyorgy Rethy
01-07-2011 15:30

Resolution-5243-Part1-main-text-110630.doc and Resolution-5243-Part1--AnnexE-110630.doc are reviewed. Just two small editorial changes see in Resolution-5243-Part1-main-text-110701.doc. BNF CHANGES TO BE ADDED! When BNF is done, CR should be set to resolved, that we don't miss adding this extension to the interim version v4.3.2. Part-4 shall be amended later, for this I will submit a new CR.

(0010227)
Ina Schieferdecker
17-07-2011 09:29

Implemented as proposed.
BNF:
293. CommunicationStatements ::= SendStatement |
CallStatement |
ReplyStatement |
RaiseStatement |
ReceiveStatement |
TriggerStatement |
GetCallStatement |
GetReplyStatement |
CatchStatement |
CheckStatement |
ClearStatement |
StartStatement |
StopStatement |
HaltStatement |
CheckStateStatement
372. CheckStateStatement ::= PortOrAllAny Dot CheckStateKeyword "(" SingleExpression ")"
373. PortOrAllAny ::= PortOrAll | AnyKeyword PortKeyword
374. CheckStateKeyword ::= "checkstate"