ETSI's Bug Tracker - Ext Pack: Continuous signal support (ES 202 786)
View Issue Details

ID | Project | Category | View Status | Date Submitted | Last Update
0006621 | Ext Pack: Continuous signal support (ES 202 786) | Technical | public | 27-09-2013 15:11 | 26-12-2013 12:55

Reporter | Tomas Urban |
Assigned To | Jens Grabowski |
Priority | normal | Severity | minor | Reproducibility | have not tried
Status | closed | Resolution | fixed |
Platform |  | OS |  | OS Version |
Product Version |  |
Target Version | v1.2.1 (published 2014-06) | Fixed in Version |  |

Summary | 0006621: Continuous signalling: invalid BNF for transitions

Description

The current rule 69. of the BNF defining a single transition is inconsistent with the syntactical structure in 5.4.1.1.1. The trigger part and statement are compulsory in the BNF, but optional in 5.4.1.1.1 and other parts of the specification.
I propose to update the rule to:
69.UntilGuardStatement ::= "[" [BooleanExpression] "]" [GuardOp] [StatementBlock] [GotoStatement]
or
69.UntilGuardStatement ::= ( "[" BooleanExpression "]" [GuardOp] ) | ( "[" "]" GuardOp ) [StatementBlock] [GotoStatement]
The second option provides a better representation of the rule that there can be either a guard or a trigger or both.

Steps To Reproduce |
Additional Information |
Tags | No tags attached.
Relationships |
Attached Files | CR6621-V1-131007.doc (97,792) 07-10-2013 12:10 http://oldforge.etsi.org/mantis/file_download.php?file_id=2887&type=bug CR6621-V2-131007.doc (97,792) 07-10-2013 15:22 http://oldforge.etsi.org/mantis/file_download.php?file_id=2890&type=bug

Issue History
Date Modified | Username | Field | Change
27-09-2013 15:11 | Tomas Urban | New Issue |
27-09-2013 15:11 | Tomas Urban | Clause Reference(s) | => A.2
27-09-2013 15:11 | Tomas Urban | Source (company - Author) | => Elvior
07-10-2013 11:44 | Jens Grabowski | Status | new => assigned
07-10-2013 11:44 | Jens Grabowski | Assigned To | => Jens Grabowski
07-10-2013 11:46 | Gyorgy Rethy | Project | TTCN-3 Change Requests => Ext Pack: Continuous signal support (ES 202 786)
07-10-2013 12:10 | Jens Grabowski | File Added: CR6621-V1-131007.doc |
07-10-2013 12:11 | Jens Grabowski | Note Added: 0011679 |
07-10-2013 12:11 | Jens Grabowski | Assigned To | Jens Grabowski => Jacob Wieland - Spirent
07-10-2013 12:14 | Gyorgy Rethy | Target Version | => v1.2.1 (published 2014-06)
07-10-2013 12:25 | Jacob Wieland - Spirent | Note Added: 0011680 |
07-10-2013 12:25 | Jacob Wieland - Spirent | Assigned To | Jacob Wieland - Spirent => Jens Grabowski
07-10-2013 12:25 | Jacob Wieland - Spirent | Status | assigned => confirmed
07-10-2013 15:22 | Jens Grabowski | Note Added: 0011689 |
07-10-2013 15:22 | Jens Grabowski | File Added: CR6621-V2-131007.doc |
07-10-2013 15:23 | Jens Grabowski | Status | confirmed => resolved
07-10-2013 15:23 | Jens Grabowski | Resolution | open => fixed
26-12-2013 12:55 | Jens Grabowski | Status | resolved => closed

Notes

(0011679)
Jens Grabowski
07-10-2013 12:11

Second option implemented. Assigned to Jacob for crosscheck.

(0011680)
Jacob Wieland - Spirent
07-10-2013 12:25

I think the actual syntax must be (as | is weaker than concatenation in BNF): (( "[" BooleanExpression "]" [GuardOp] ) | ( "[" "]" GuardOp )) [StatementBlock] [GotoStatement]

(0011689)
Jens Grabowski
07-10-2013 15:22

Changed according to Jacob's remark. Status changed to resolved.