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

ID | Project | Category | View Status | Date Submitted | Last Update
0007138 | Part 01: TTCN-3 Core Language | Clarification | public | 12-08-2015 10:03 | 14-12-2015 11:14

Reporter | Tomas Urban |
Assigned To | Gyorgy Rethy |
Priority | normal | Severity | minor | Reproducibility | have not tried
Status | closed | Resolution | fixed |
Platform |  | OS |  | OS Version |
Product Version | v4.7.1 (published 2015-06) |
Target Version | v4.8.1 (published 2016-07) | Fixed in Version | v4.8.1 (published 2016-07) |
Clause Reference(s) | 6.2.7
Source (company - Author) | STF 487

Summary | 0007138: Missing rule on lower and upper bound of arrays
Description | Although it might seem obvious to any thinking human being, the core language specification should still have an explicit rule saying that the upper bound of the range used for defining array dimension shall be greater than the lower bound.
Steps To Reproduce |
Additional Information |
Tags | technically agreed
Relationships |
Attached Files | CR7138_resolution_v1.docx (81,872) 23-09-2015 11:31 http://oldforge.etsi.org/mantis/file_download.php?file_id=3266&type=bug CR7138_resolution_v2.docx (82,764) 23-09-2015 12:14 http://oldforge.etsi.org/mantis/file_download.php?file_id=3269&type=bug CR7138_resolution_v3.docx (82,653) 03-11-2015 13:41 http://oldforge.etsi.org/mantis/file_download.php?file_id=3353&type=bug

Issue History
Date Modified | Username | Field | Change
12-08-2015 10:03 | Tomas Urban | New Issue |
21-09-2015 10:27 | Gyorgy Rethy | Target Version | => v4.8.1 (published 2016-07)
21-09-2015 15:23 | Gyorgy Rethy | Tag Attached: technically agreed |
21-09-2015 15:25 | Gyorgy Rethy | Note Added: 0013217 |
22-09-2015 16:50 | Axel Rennoch | Assigned To | => Axel Rennoch
22-09-2015 16:50 | Axel Rennoch | Status | new => assigned
23-09-2015 11:31 | Axel Rennoch | File Added: CR7138_resolution_v1.docx |
23-09-2015 11:32 | Axel Rennoch | Note Added: 0013254 |
23-09-2015 11:32 | Axel Rennoch | Assigned To | Axel Rennoch => Jacob Wieland - Spirent
23-09-2015 11:32 | Axel Rennoch | Status | assigned => confirmed
23-09-2015 12:14 | Jacob Wieland - Spirent | File Added: CR7138_resolution_v2.docx |
23-09-2015 12:16 | Jacob Wieland - Spirent | Note Added: 0013260 |
23-09-2015 12:17 | Jacob Wieland - Spirent | Status | confirmed => assigned
23-09-2015 12:17 | Jacob Wieland - Spirent | Note Added: 0013261 |
23-09-2015 12:17 | Jacob Wieland - Spirent | Assigned To | Jacob Wieland - Spirent => Gyorgy Rethy
23-09-2015 12:17 | Jacob Wieland - Spirent | Status | assigned => confirmed
03-11-2015 13:41 | Gyorgy Rethy | File Added: CR7138_resolution_v3.docx |
03-11-2015 13:44 | Gyorgy Rethy | Note Added: 0013470 |
03-11-2015 13:44 | Gyorgy Rethy | Assigned To | Gyorgy Rethy => Jacob Wieland - Spirent
03-11-2015 13:44 | Gyorgy Rethy | Status | confirmed => assigned
03-11-2015 14:46 | Jacob Wieland - Spirent | Note Added: 0013475 |
03-11-2015 14:46 | Jacob Wieland - Spirent | Status | assigned => resolved
03-11-2015 14:46 | Jacob Wieland - Spirent | Fixed in Version | => v4.8.1 (published 2016-07)
03-11-2015 14:46 | Jacob Wieland - Spirent | Resolution | open => fixed
03-11-2015 14:46 | Jacob Wieland - Spirent | Assigned To | Jacob Wieland - Spirent => Gyorgy Rethy
14-12-2015 11:14 | Gyorgy Rethy | Note Added: 0013609 |
14-12-2015 11:14 | Gyorgy Rethy | Status | resolved => closed

Notes

(0013217)
Gyorgy Rethy
21-09-2015 15:25

STF discussion: length and index range upper bound shall be greater or equal to lower bound; add both for arrays and record/set ofs

(0013254)
Axel Rennoch
23-09-2015 11:32

Please check if resolution is sufficient.

(0013260)
Jacob Wieland - Spirent
23-09-2015 12:16

changed "be equal or greater (than|to)" to "not be lesser than". In the other case it would have to be "equal to or greater than" which I found clumsy.

(0013261)
Jacob Wieland - Spirent
23-09-2015 12:17

please check and resolve

(0013470)
Gyorgy Rethy
03-11-2015 13:44

CR7138_resolution_v3.docx: some editorial changes: range can be understood as range of values and also as a specific syntax; e.g. (5..5)|[5..5] has a range syntax, while specifying a single length value. Changes are aiming to clarify this aspect. Jacob, please review, if you agree, you can put it to resolved directly.

(0013475)
Jacob Wieland - Spirent
03-11-2015 14:46

ok

(0013609)
Gyorgy Rethy
14-12-2015 11:14

Added to draft V4.7.4