Logo etsi

ETSI's Bug Tracker

Notice: information submitted on the ETSI issue Tracker may be incorporated in ETSI publication(s) and therefore subject to the ETSI IPR policy.

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0006645Part 01: TTCN-3 Core LanguageEditorialpublic17-10-2013 16:3204-01-2015 19:05
ReporterTomas Urban 
Assigned ToGyorgy Rethy 
PrioritylowSeverityminorReproducibilityhave not tried
StatusclosedResolutionfixed 
PlatformOSOS Version
Product Version 
Target Versionv4.7.1 (published 2015-06)Fixed in Versionv4.7.1 (published 2015-06) 
Summary0006645: Rules for array values
Description6.2.3 contains several references to array values. However, since the chapter is only about record of and set of, such references shouldn't be there, because the specification has a dedicated section for arrays (6.2.7). I believe that specifying rules for different language elements than those the chapter is about should be avoided at all costs. Otherwise the specification loses readability. The reference to array is also quite misleading and unnecessary in case of an index notation, because arrays have their own rules that are slightly different from the rules for record of and set of.

I propose the following editorial changes:
1. Remove all occurrences of the word "array" from 6.2.3.

2. 6.2.7 has a rule saying that the allowed notation for is the index notation and value list notation, but assignment notation is not mentioned in this rule: "Values may be assigned individually by a value list notation or indexed notation or more than one or all at once by a value list notation". However, since 6.2 already specifies general rules for using the value list and assignment notations and further rules in 6.2.7 state that the index notation is also a valid option, I think the rule is superfluous and can be dropped.

3. Since 6.2.7 doesn't contain any rules for using the assignment notation for arrays, these rules shall be added to 6.2.7, either by saying that rules described in 6.2.3 are valid for arrays as well or putting a slightly adjusted version of these rules into the chapter 6.2.7.
TagsNo tags attached.
Clause Reference(s)6.2.3, 6.2.7
Source (company - Author)STF 470
Attached Filesdocx file icon draft-res-6645-v1.docx [^] (30,803 bytes) 04-11-2014 17:35
docx file icon draft-res-6645-v2.docx [^] (33,954 bytes) 05-11-2014 09:47

- Relationships
related to 0006762closedGyorgy Rethy Array indexing breaches strong typing principle 
related to 0006646closedGyorgy Rethy Missing semantic rules for the index and assignment notation 

-  Notes
(0011814)
Gyorgy Rethy (reporter)
21-11-2013 16:51
edited on: 22-11-2013 14:50

This structure has more a historical reason than technical. Once we have agreed that - with some minor technical deviations (e.g. array indexing may start with other index than 0, but don't have a named type) - arrays and length restricted record of-s are equivalent. For this reason clauses 6.2.3 and 6.2.7 could be merged, but we will not have time to do this at our last session in 2014 next week. I propose a quick patch now to handle the index assignment notation issue and open a follow-up CR to make the merge. Let discuss this at the STF session next week.

(0011868)
Ina Schieferdecker (reporter)
29-11-2013 12:53

In response to issue 2, changed in 6.2.7

"Values may be assigned individually by a value list notation or indexed notation or more than one or all at once by a value list notation."

to

"Values may be assigned individually by a value list notation or indexed notation or more than one or all at once by a value list notation or index assignment notation."

The suggested rewrites will be done in 2014 only.
(0012409)
Axel Rennoch (developer)
04-11-2014 17:38

Minimal changes to solve issues 1 and 3 as well as some font/typo corrections are provided with the uploaded draft resolution v1. We still may do a bigger change, i.e. merging 6.2.3 and 6.2.7.
(0012416)
Tomas Urban (developer)
05-11-2014 09:50

I am fine with the changes, but I added several more rules to the array section in order to make sure that no rules are lost because of the removal of references to arrays from the section 6.2.3.

Please review the updated proposal.
(0012419)
Axel Rennoch (developer)
05-11-2014 10:17

Thank you, the changes are fine for me. :-)
(0012420)
Axel Rennoch (developer)
05-11-2014 10:18

Can you set the status to "resolved"?
(0012435)
Tomas Urban (developer)
05-11-2014 14:28

The proposed changes have been reviewed and can be added to the next verion of the TTCN-3 core language standard.
(0012606)
Gyorgy Rethy (reporter)
04-01-2015 19:05

Added to draft V4.6.3.

- Issue History
Date Modified Username Field Change
17-10-2013 16:32 Tomas Urban New Issue
17-10-2013 16:32 Tomas Urban Clause Reference(s) => 6.2.3, 6.2.7
17-10-2013 16:32 Tomas Urban Source (company - Author) => STF 470
21-11-2013 16:51 Gyorgy Rethy Note Added: 0011814
22-11-2013 14:49 Gyorgy Rethy Project TTCN-3 Change Requests => Part 01: TTCN-3 Core Language
22-11-2013 14:50 Gyorgy Rethy Note Edited: 0011814
22-11-2013 14:50 Gyorgy Rethy Target Version => v4.6.1 (published 2014-06)
22-11-2013 14:51 Gyorgy Rethy Status new => assigned
22-11-2013 14:51 Gyorgy Rethy Assigned To => Ina Schieferdecker
29-11-2013 12:53 Ina Schieferdecker Note Added: 0011868
29-11-2013 12:54 Ina Schieferdecker Target Version v4.6.1 (published 2014-06) => v4.7.1 (published 2015-06)
08-04-2014 16:51 Gyorgy Rethy Assigned To Ina Schieferdecker => Gyorgy Rethy
06-10-2014 14:52 Gyorgy Rethy Priority normal => low
10-10-2014 08:30 Gyorgy Rethy Assigned To Gyorgy Rethy => Axel Rennoch
04-11-2014 17:35 Axel Rennoch File Added: draft-res-6645-v1.docx
04-11-2014 17:38 Axel Rennoch Note Added: 0012409
05-11-2014 08:53 Axel Rennoch Assigned To Axel Rennoch => Tomas Urban
05-11-2014 08:53 Axel Rennoch Status assigned => confirmed
05-11-2014 09:46 Tomas Urban Relationship added related to 0006762
05-11-2014 09:46 Tomas Urban Relationship added related to 0006646
05-11-2014 09:47 Tomas Urban File Added: draft-res-6645-v2.docx
05-11-2014 09:50 Tomas Urban Note Added: 0012416
05-11-2014 09:50 Tomas Urban Assigned To Tomas Urban => Axel Rennoch
05-11-2014 10:17 Axel Rennoch Note Added: 0012419
05-11-2014 10:18 Axel Rennoch Note Added: 0012420
05-11-2014 10:18 Axel Rennoch Assigned To Axel Rennoch => Tomas Urban
05-11-2014 10:18 Axel Rennoch Status confirmed => acknowledged
05-11-2014 14:28 Tomas Urban Note Added: 0012435
05-11-2014 14:28 Tomas Urban Status acknowledged => resolved
05-11-2014 14:28 Tomas Urban Fixed in Version => v4.7.1 (published 2015-06)
05-11-2014 14:28 Tomas Urban Resolution open => fixed
05-11-2014 14:28 Tomas Urban Assigned To Tomas Urban => Gyorgy Rethy
04-01-2015 19:05 Gyorgy Rethy Note Added: 0012606
04-01-2015 19:05 Gyorgy Rethy Status resolved => closed


MantisBT 1.2.14 [^]
Copyright © 2000 - 2024 MantisBT Team
Powered by Mantis Bugtracker