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

(0005227)
Thomas DeiÃŸ
13-03-2008 18:13

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.

(0007720)
Jens Grabowski
16-12-2008 16:51

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.

(0007721)
Thomas DeiÃŸ
16-12-2008 20:22

No change to BNF needed. Two issues for clarification found. Comments and proposals are in uploaded version V2.

(0007726)
Ina Schieferdecker
17-12-2008 09:31

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.

(0007727)
Ina Schieferdecker
17-12-2008 09:32

Changes in part 4 needed - hence moved there.