ETSI's Bug Tracker - TTCN-3 Change Requests
View Issue Details

ID | Project | Category | View Status | Date Submitted | Last Update
0007791 | TTCN-3 Change Requests | Clarification | public | 09-09-2018 06:02 | 08-10-2018 13:46

Reporter | kovacsa |
Assigned To | Jens Grabowski |
Priority | normal | Severity | minor | Reproducibility | have not tried
Status | closed | Resolution | no change required |
Platform |  | OS |  | OS Version |
Clause Reference(s) | 19.3 / restriction b)
For STF discussion |
Source (company - Author) | STF 548

Summary | 0007791: Misformulation of clause 19.3 / restriction b)
Description | The restriction says: "When all templateInstances of all branches can be statically evaluated in compile time to specific values or value ranges no two branches shall match the same value." However, a case is only bad (i.e. unreachable code) if ALL of its sub-cases are covered by previous cases. For the covered cases, one may expect tools to just display a warning.
Steps To Reproduce | Example of formulation to be clarified: var integer v_i := 2; select (v_i) { case(1) { setverdict(fail); } case(0, 2) { setverdict(pass); } case(4, 5, 2) { setverdict(fail); } case else { setverdict(fail); } }
Additional Information |
Tags | No tags attached.
Relationships |
Attached Files |

Issue History
Date Modified | Username | Field | Change
09-09-2018 06:02 | kovacsa | New Issue |
08-10-2018 13:45 | Jens Grabowski | Note Added: 0015203 |
08-10-2018 13:46 | Jens Grabowski | Note Added: 0015204 |
08-10-2018 13:46 | Jens Grabowski | Status | new => closed
08-10-2018 13:46 | Jens Grabowski | Assigned To | => Jens Grabowski
08-10-2018 13:46 | Jens Grabowski | Resolution | open => no change required

Notes

(0015203)
Jens Grabowski
08-10-2018 13:45

STF decision: Standard is correct. Duplicate cases should not occur.

(0015204)
Jens Grabowski
08-10-2018 13:46

See last comment