ETSI's Bug Tracker - Part 01: TTCN-3 Core Language
View Issue Details

ID | Project | Category | View Status | Date Submitted | Last Update
0007482 | Part 01: TTCN-3 Core Language | Clarification | public | 11-08-2016 19:20 | 12-12-2016 13:36

Reporter | KristÃ³f Szabados |
Assigned To | Gyorgy Rethy |
Priority | normal | Severity | minor | Reproducibility | have not tried
Status | closed | Resolution | fixed |
Platform |  | OS |  | OS Version |
Product Version | v4.8.1 (published 2016-07) |
Target Version | v4.9.1 (published 2017-05) | Fixed in Version | v4.9.1 (published 2017-05) |
Clause Reference(s) | 21.3.7
Source (company - Author) | L. M. Ericsson

Summary | 0007482: example implies that a done component might still be running

Description

In section 21.3.7 in the last example there is an interesting part:
"
v_c.done;
// matches as soon as the function f_myPTCBehaviour (or function/altstep called by it) stops
v_c.done;
// matches the end of f_myPTCBehaviour (or function/altstep called by it) too
if(v_c.running) {v_c.done}
// done here matches the end of the next behaviour only
"
If I understand correctly the first v_c.done waits until the end of v_c's behaviour terminates.
1)
In which case the second v_c.done is not needed or the comment should tell, why it is useful to wait or check the done state of that component.
2)
After 2 v_c.done operations the v_c.running should not be true.
But the comment implies that the component referenced was somehow re-started.

Steps To Reproduce |
Additional Information |
Tags | No tags attached.
Relationships |
Attached Files | CR7482.docx (155,711) 16-08-2016 09:58 http://oldforge.etsi.org/mantis/file_download.php?file_id=3456&type=bug

Issue History
Date Modified | Username | Field | Change
11-08-2016 19:20 | KristÃ³f Szabados | New Issue |
15-08-2016 10:11 | Jens Grabowski | Assigned To | => Jacob Wieland - Spirent
15-08-2016 10:11 | Jens Grabowski | Status | new => assigned
16-08-2016 09:58 | Jacob Wieland - Spirent | File Added: CR7482.docx |
16-08-2016 09:58 | Jacob Wieland - Spirent | Note Added: 0014095 |
16-08-2016 09:58 | Jacob Wieland - Spirent | Assigned To | Jacob Wieland - Spirent => KristÃ³f Szabados
16-08-2016 09:58 | Jacob Wieland - Spirent | Status | assigned => confirmed
16-08-2016 10:02 | KristÃ³f Szabados | Note Added: 0014096 |
16-08-2016 10:03 | KristÃ³f Szabados | Status | confirmed => resolved
16-08-2016 10:03 | KristÃ³f Szabados | Fixed in Version | => v4.8.1 (published 2016-07)
16-08-2016 10:03 | KristÃ³f Szabados | Resolution | open => fixed
16-08-2016 10:03 | KristÃ³f Szabados | Assigned To | KristÃ³f Szabados => Gyorgy Rethy
12-12-2016 13:36 | Gyorgy Rethy | Note Added: 0014384 |
12-12-2016 13:36 | Gyorgy Rethy | Status | resolved => closed
12-12-2016 13:36 | Gyorgy Rethy | Fixed in Version | v4.8.1 (published 2016-07) => v4.9.1 (published 2017-05)
12-12-2016 13:36 | Gyorgy Rethy | Target Version | => v4.9.1 (published 2017-05)

Notes

(0014095)
Jacob Wieland - Spirent
16-08-2016 09:58

please review

(0014096)
KristÃ³f Szabados
16-08-2016 10:02

Looks fine by me.

(0014384)
Gyorgy Rethy
12-12-2016 13:36

Added to draft V4.8.2