ETSI's Bug Tracker - Part 01: TTCN-3 Core Language |
| View Issue Details |
|
| ID | Project | Category | View Status | Date Submitted | Last Update |
| 0004507 | Part 01: TTCN-3 Core Language | Clarification | public | 28-11-2008 14:07 | 19-12-2008 13:51 |
|
| Reporter | Thomas Deiß | |
| Assigned To | Ina Schieferdecker | |
| Priority | normal | Severity | major | Reproducibility | N/A |
| 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) | part 1, 7.1.3, 6.2.3 |
| Source (company - Author) | Thomas Deiß, Nokia Siemens Networks |
|
| Summary | 0004507: omit in setof constant |
| Description | An example to explain equality of set values with set of values uses a set of constant that itself contains 'omit' for one of its fields.
const SetOf conSetOf1 := { 0, omit, 2 };
The usage of 'omit' for within record of and set of values is not defined at all.
It can be interpreted as deleting a value from a record of, set of, but this is nowhere explicitly defined.
It has to be clarified
a) whether omit can be used at all for record of/set of values
b) whether omit or - can be used for constants of record of and set of types.
I suggest to actually exclude case a)
The concept of a partially initialized constant (case b) is somehow strange, but it would not hurt. So one could allow to use '-' in a constant. |
| Steps To Reproduce | |
| Additional Information | from discussion with Elena de Vega, MTP. |
| Tags | No tags attached. |
| Relationships | |
| Attached Files |  CR4507_Omit.doc (54,272) 09-12-2008 11:42
http://oldforge.etsi.org/mantis/file_download.php?file_id=1868&type=bug
CR4507_Omit_01.doc (54,784) 18-12-2008 15:46
http://oldforge.etsi.org/mantis/file_download.php?file_id=1916&type=bug |
|
| Issue History |
| Date Modified | Username | Field | Change |
| 28-11-2008 14:07 | Thomas Deiß | New Issue | |
| 28-11-2008 14:07 | Thomas Deiß | Status | new => assigned |
| 28-11-2008 14:07 | Thomas Deiß | Assigned To | => Thomas Deiß |
| 28-11-2008 14:07 | Thomas Deiß | Clause Reference(s) | => part 1, 7.1.3, 6.2.3 |
| 28-11-2008 14:07 | Thomas Deiß | Source (company - Author) | => Thomas Deiß, Nokia Siemens Networks |
| 28-11-2008 14:07 | Thomas Deiß | Project | TTCN-3 Change Requests => Part 01: TTCN-3 Core Language |
| 28-11-2008 14:07 | Thomas Deiß | Assigned To | Thomas Deiß => Ina Schieferdecker |
| 09-12-2008 11:27 | Ina Schieferdecker | Note Added: 0007591 | |
| 09-12-2008 11:42 | Ina Schieferdecker | File Added: CR4507_Omit.doc | |
| 09-12-2008 11:43 | Ina Schieferdecker | Note Added: 0007592 | |
| 09-12-2008 11:43 | Ina Schieferdecker | Assigned To | Ina Schieferdecker => Thomas Deiß |
| 09-12-2008 11:43 | Ina Schieferdecker | Resolution | open => fixed |
| 09-12-2008 11:43 | Ina Schieferdecker | Target Version | => Edition 4.1.1 (not yet published) |
| 09-12-2008 12:33 | Thomas Deiß | Note Added: 0007593 | |
| 09-12-2008 12:33 | Thomas Deiß | Assigned To | Thomas Deiß => Ina Schieferdecker |
| 09-12-2008 13:34 | Ina Schieferdecker | Note Added: 0007598 | |
| 09-12-2008 13:34 | Ina Schieferdecker | Assigned To | Ina Schieferdecker => Gyorgy Rethy |
| 18-12-2008 15:40 | Gyorgy Rethy | Note Added: 0007742 | |
| 18-12-2008 15:46 | Gyorgy Rethy | File Added: CR4507_Omit_01.doc | |
| 18-12-2008 15:46 | Gyorgy Rethy | Assigned To | Gyorgy Rethy => Ina Schieferdecker |
| 19-12-2008 13:51 | Ina Schieferdecker | Status | assigned => resolved |
| 19-12-2008 13:51 | Ina Schieferdecker | Fixed in Version | => Edition 4.1.1 (not yet published) |
| 19-12-2008 13:51 | Ina Schieferdecker | Status | resolved => closed |
|
Notes |
|
|
|
The STF agreed that omit should not be used record of or set of values.
However, "-" could be used which may lead to partially intialized values. |
|
|
|
|
|
|
|
|
proposal is ok.
Gyorgy wanted to have a look whether the BNF can be changed such that omit is not a value. |
|
|
|
|
|
|
|
|
|
OK with one amendment, in clause 7.1.3 only the set of example should be changed but not the set and record examples. In case of sets and records omit is allowed and makes the field initialized. The dash leaves an unitialized field uninitialized, thus is disallowed in constants (all examples in $7.1.3 are using constants. See changes in CR4507_Omit_01.doc |
|