ETSI's Bug Tracker - Part 01: TTCN-3 Core Language
View Issue Details
0006783Part 01: TTCN-3 Core LanguageTechnicalpublic19-06-2014 12:2104-01-2015 21:19
Gyorgy Rethy 
Gyorgy Rethy 
normalminoralways
closedfixed 
v4.6.1 (published 2014-06) 
v4.7.1 (published 2015-06)v4.7.1 (published 2015-06) 
22.3.6
L.M.Ericsson
0006783: Wrong syntax to save exception parameters
In the Syntactical Structure part for the Catch operation, the "storing message part" syntax is used:
[ "->" [ value ( VariableRef |
                 ( "(" { VariableRef [ ":=" FieldOrTypeReference ][","] } ")" )
                ) ]
instead of "storing the parameter" syntax used in other procedure-based operations, e.g. in getreply, where storing the whole reply is using the value keyword and storing individual parameters is using the param keyword:
[ "->" [ value VariableRef ]
       [ param "(" { ( VariableRef ":=" ParameterIdentifier ) "," } |
                   { ( VariableRef | "-" ) "," }
               ")" ]
No tags attached.
related to 0006736closed Gyorgy Rethy new matching mechanism for binary string types 
docx CR6783_v1.docx (65,026) 20-06-2014 08:24
http://oldforge.etsi.org/mantis/file_download.php?file_id=3065&type=bug
docx CR6783_v1_alt.docx (56,064) 20-06-2014 08:26
http://oldforge.etsi.org/mantis/file_download.php?file_id=3066&type=bug
docx CR6783_v3.docx (16,586) 09-10-2014 12:09
http://oldforge.etsi.org/mantis/file_download.php?file_id=3127&type=bug
Issue History
19-06-2014 12:21Gyorgy RethyNew Issue
19-06-2014 12:31Jacob Wieland - SpirentNote Added: 0012141
19-06-2014 15:07Gyorgy RethyNote Added: 0012149
19-06-2014 15:07Gyorgy RethyDescription Updatedbug_revision_view_page.php?rev_id=43#r43
20-06-2014 07:52Tomas UrbanAssigned To => Tomas Urban
20-06-2014 07:52Tomas UrbanStatusnew => assigned
20-06-2014 08:06Jacob Wieland - SpirentNote Added: 0012168
20-06-2014 08:24Tomas UrbanFile Added: CR6783_v1.docx
20-06-2014 08:26Tomas UrbanFile Added: CR6783_v1_alt.docx
20-06-2014 08:38Tomas UrbanNote Added: 0012170
20-06-2014 08:38Tomas UrbanAssigned ToTomas Urban => Gyorgy Rethy
20-06-2014 08:38Tomas UrbanStatusassigned => confirmed
20-06-2014 08:39Tomas UrbanNote Edited: 0012170bug_revision_view_page.php?bugnote_id=12170#r57
20-06-2014 11:38Gyorgy RethyTarget Version => v4.7.1 (published 2015-06)
08-10-2014 09:27Gyorgy RethyAssigned ToGyorgy Rethy => Axel Rennoch
08-10-2014 15:57Axel RennochNote Added: 0012289
08-10-2014 15:57Axel RennochAssigned ToAxel Rennoch => Gyorgy Rethy
08-10-2014 15:57Axel RennochStatusconfirmed => assigned
08-10-2014 15:58Axel RennochNote Added: 0012290
08-10-2014 15:58Axel RennochStatusassigned => confirmed
08-10-2014 16:21Gyorgy RethyNote Added: 0012296
08-10-2014 16:21Gyorgy RethyAssigned ToGyorgy Rethy => Axel Rennoch
09-10-2014 10:29Gyorgy RethyNote Added: 0012312
09-10-2014 12:09Axel RennochFile Added: CR6783_v3.docx
09-10-2014 12:10Axel RennochNote Added: 0012316
09-10-2014 12:45Axel RennochAssigned ToAxel Rennoch => Tomas Urban
09-10-2014 12:45Axel RennochStatusconfirmed => assigned
09-10-2014 12:46Axel RennochNote Added: 0012321
09-10-2014 12:46Axel RennochStatusassigned => confirmed
09-10-2014 14:13Tomas UrbanRelationship addedrelated to 0006736
09-10-2014 14:18Tomas UrbanNote Added: 0012325
09-10-2014 14:18Tomas UrbanStatusconfirmed => resolved
09-10-2014 14:18Tomas UrbanResolutionopen => fixed
09-10-2014 14:18Tomas UrbanAssigned ToTomas Urban => Gyorgy Rethy
04-01-2015 21:19Gyorgy RethyNote Added: 0012617
04-01-2015 21:19Gyorgy RethyStatusresolved => closed
04-01-2015 21:19Gyorgy RethyFixed in Version => v4.7.1 (published 2015-06)

Notes
(0012141)
Jacob Wieland - Spirent   
19-06-2014 12:31   
Exceptions have no parameters. They are a special kind of message.
(0012149)
Gyorgy Rethy   
19-06-2014 15:07   
STF discussion: in the BNF separate message and procedure storing rules. Delete storing part of messages for the Catch operation.
(0012168)
Jacob Wieland - Spirent   
20-06-2014 08:06   
I still don't understand the issue here at all. What's wrong with something that has been working for years? If an exception is caught, there are no parameters to be assigned, just the exception value. Therefore, storing it like a message makes more sense than storing it like a parameter list.
(0012170)
Tomas Urban   
20-06-2014 08:38   
(edited on: 20-06-2014 08:39)
I prepared two alternative solutions. The first one (CR6783_v1.docx) unifies the value redirect for getreply and catch so that only the simple syntax is allowed as requested in the CR.

However, since the current catch statement actually describes the extended syntax, the alternative proposal (CR6783_v1_alt.docx) changes only the BNF so that only the getreply statement uses the simplified form. Since the base proposal also affects the text of the catch operation, I am afraid that it would introduce backwards incompatibility. If the alternative proposal is taken into use instead of the base one, similar changes as in 0006736 shall be made in the syntax description of the catch operation as it still uses the same syntax for value redirect assignments on the BNF level as the receive operation (or the BNF should disallow the @decoded clause for the catch operation).

(0012289)
Axel Rennoch   
08-10-2014 15:57   
Following the previous STF discussion there should be some unification/modification of the storing rules and the first resolution may be selected. However we may think about also allowing the "previous" syntax for keeping backward compatibility, as a deprecated approach?
(0012290)
Axel Rennoch   
08-10-2014 15:58   
The CR solution may need a final STF decision.
(0012296)
Gyorgy Rethy   
08-10-2014 16:21   
Axel, pls. keep the CR at yourself until the STF decision.
(0012312)
Gyorgy Rethy   
09-10-2014 10:29   
STF discussion: correct getreply syntax in text to be in synch with BNF and allow extended reference. Catch is in principle OK, but check consistency of the text with the BNF. Also make those changes in CR 6736
(0012316)
Axel Rennoch   
09-10-2014 12:10   
new syntax part for getreply in text (also considering CR6736_v5).
(0012321)
Axel Rennoch   
09-10-2014 12:46   
Please confirm latest update following the STF discussion
(0012325)
Tomas Urban   
09-10-2014 14:18   
The proposed resolution fixes the problem by extending the syntactical description of the getvalue operation.

It is ready to be added to the next version of the TTCN-3 standard. Please make sure that the changes proposed in the resolution of the related CR 0006736 are not overwritten by this CR.
(0012617)
Gyorgy Rethy   
04-01-2015 21:19   
Added to drfat V4.6.3