ETSI's Bug Tracker - Part 04: TTCN-3 Operational Semantics |
| View Issue Details |
|
| ID | Project | Category | View Status | Date Submitted | Last Update |
| 0002578 | Part 04: TTCN-3 Operational Semantics | New Feature | public | 06-12-2007 11:17 | 20-04-2009 11:43 |
|
| Reporter | Jens Grabowski | |
| Assigned To | Gyorgy Rethy | |
| Priority | normal | Severity | major | Reproducibility | have not tried |
| Status | closed | Resolution | fixed | |
| Platform | | OS | | OS Version | |
| Product Version | | |
| Target Version | v4.1.1 (published 2009-06) | Fixed in Version | v4.1.1 (published 2009-06) | |
| Clause Reference(s) | New Section on Break and Continue |
| Source (company - Author) | University of Göttingen, Jens Grabowski |
|
| Summary | 0002578: Break-like construct for altsteps |
| Description | An altstep is evaluated within an alt-statement. Currently it is not possible to leave the alt-statement from within the altstep. A construct which will allow this is more than a break-statement, because a break is an unconditional jump to a known place (i.e., a goto-label-construct).
The technical study of a break-like construct for altsteps should consider that altsteps
- are introduced/used as functions and not as macros,
- have scope,
- may have in, inout and out parameters,
- can activated as defaults.
This CR was originally part of CR 414. |
| Steps To Reproduce | |
| Additional Information | |
| Tags | No tags attached. |
| Relationships | |
| Attached Files |  CR-2578-Break-for-altsteps-Resolution-V1.doc (384,000) 16-12-2008 16:50
http://oldforge.etsi.org/mantis/file_download.php?file_id=1904&type=bug
CR-2578-Break-for-altsteps-Resolution-V2.doc (386,560) 16-12-2008 20:23
http://oldforge.etsi.org/mantis/file_download.php?file_id=1905&type=bug
CR2578-Part-4-Break-like-construct-for-altsteps-Resolution-JG-V1.doc (448,000) 02-01-2009 15:09
http://oldforge.etsi.org/mantis/file_download.php?file_id=1933&type=bug |
|
| Issue History |
| Date Modified | Username | Field | Change |
| 06-12-2007 11:17 | Jens Grabowski | New Issue | |
| 06-12-2007 11:17 | Jens Grabowski | Status | new => assigned |
| 06-12-2007 11:17 | Jens Grabowski | Assigned To | => Jens Grabowski |
| 06-12-2007 11:17 | Jens Grabowski | Clause Reference(s) | => New Section on Break and Continue |
| 06-12-2007 11:17 | Jens Grabowski | Source (company - Author) | => University of Göttingen, Jens Grabowski |
| 06-12-2007 11:35 | Jens Grabowski | Project | TTCN-3 Change Requests => Part 01: TTCN-3 Core Language |
| 13-03-2008 18:13 | Thomas Deiß | Note Added: 0005227 | |
| 21-04-2008 08:59 | Ina Schieferdecker | Target Version | => Edition 4.1.1 (not yet published) |
| 16-12-2008 16:50 | Jens Grabowski | File Added: CR-2578-Break-for-altsteps-Resolution-V1.doc | |
| 16-12-2008 16:51 | Jens Grabowski | Note Added: 0007720 | |
| 16-12-2008 16:52 | Jens Grabowski | Assigned To | Jens Grabowski => Thomas Deiß |
| 16-12-2008 16:52 | Jens Grabowski | Status | assigned => resolved |
| 16-12-2008 20:22 | Thomas Deiß | Note Added: 0007721 | |
| 16-12-2008 20:22 | Thomas Deiß | Assigned To | Thomas Deiß => Jens Grabowski |
| 16-12-2008 20:22 | Thomas Deiß | Status | resolved => assigned |
| 16-12-2008 20:23 | Thomas Deiß | File Added: CR-2578-Break-for-altsteps-Resolution-V2.doc | |
| 17-12-2008 07:39 | Ina Schieferdecker | Assigned To | Jens Grabowski => Ina Schieferdecker |
| 17-12-2008 07:39 | Ina Schieferdecker | Resolution | open => fixed |
| 17-12-2008 09:31 | Ina Schieferdecker | Note Added: 0007726 | |
| 17-12-2008 09:32 | Ina Schieferdecker | Note Added: 0007727 | |
| 17-12-2008 09:32 | Ina Schieferdecker | Project | Part 01: TTCN-3 Core Language => Part 04: TTCN-3 Operational Semantics |
| 17-12-2008 09:32 | Ina Schieferdecker | Assigned To | Ina Schieferdecker => Jens Grabowski |
| 17-12-2008 09:32 | Ina Schieferdecker | Fixed in Version | => Edition 4.1.1 (not yet published) |
| 02-01-2009 15:04 | Jens Grabowski | File Added: 2578-Part-4-Break-like-construct-for-altsteps-Resolution-JG-V1.doc | |
| 02-01-2009 15:05 | Jens Grabowski | File Deleted: 2578-Part-4-Break-like-construct-for-altsteps-Resolution-JG-V1.doc | |
| 02-01-2009 15:09 | Jens Grabowski | File Added: CR2578-Part-4-Break-like-construct-for-altsteps-Resolution-JG-V1.doc | |
| 02-01-2009 15:09 | Jens Grabowski | Assigned To | Jens Grabowski => Gyorgy Rethy |
| 10-03-2009 10:50 | Ina Schieferdecker | Status | assigned => resolved |
| 20-04-2009 11:43 | Ina Schieferdecker | Status | resolved => closed |
|
Notes |
|
|
|
check note in 19.10, about return statement in an altstep. A statement block after an altstep would still be executed. Check also part4 on the return statement.
Thomas to produce some clarifying examples. |
|
|
|
|
|
The attached file includes the changes required in part 1 for resolving this issue. I do find places in the BNF that need to be changed. This has to be cross-checked by someone else. |
|
|
|
|
No change to BNF needed.
Two issues for clarification found. Comments and proposals are in uploaded version V2. |
|
|
|
|
|
Changes in part 1 done - as Jens proposes despite the comment by Thomas on altsteps as altsteps within loops should behave as alts within loops. |
|
|
|
|
|
Changes in part 4 needed - hence moved there. |
|