ETSI's Bug Tracker |
Anonymous | Login | Signup for local Mantis account | 03-05-2024 00:33 IST |
Main | My View | View Issues | Change Log | Roadmap | Monitor project |
View Issue Details [ Jump to Notes ] | [ Issue History ] [ Print ] | ||||||||
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) | ||||||
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. | ||||||||
Tags | No tags attached. | ||||||||
Clause Reference(s) | New Section on Break and Continue | ||||||||
Source (company - Author) | University of Göttingen, Jens Grabowski | ||||||||
Attached Files | CR-2578-Break-for-altsteps-Resolution-V1.doc [^] (384,000 bytes) 16-12-2008 16:50 CR-2578-Break-for-altsteps-Resolution-V2.doc [^] (386,560 bytes) 16-12-2008 20:23 CR2578-Part-4-Break-like-construct-for-altsteps-Resolution-JG-V1.doc [^] (448,000 bytes) 02-01-2009 15:09 | ||||||||
Notes | |
(0005227) Thomas Deiß (reporter) 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 (manager) 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ß (reporter) 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 (reporter) 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 (reporter) 17-12-2008 09:32 |
Changes in part 4 needed - hence moved there. |
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 |
MantisBT 1.2.14 [^] Copyright © 2000 - 2024 MantisBT Team |