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

ID | Project | Category | View Status | Date Submitted | Last Update
0004508 | Part 01: TTCN-3 Core Language | Clarification | public | 28-11-2008 14:14 | 20-12-2008 16:17

Reporter | Thomas DeiÃŸ |
Assigned To | Ina Schieferdecker |
Priority | normal | Severity | major | Reproducibility | N/A
Status | closed | Resolution | fixed |
Platform |  | OS |  | OS Version |
Product Version | v3.3.2 (published 2008-04) |
Target Version | v4.1.1 (published 2009-06) | Fixed in Version | v4.1.1 (published 2009-06) |
Clause Reference(s) | part1, 7.1.2, 7.1.3
Source (company - Author) | Thomas DeiÃŸ, Nokia Siemens Networks

Summary | 0004508: type compatibility of relational operators

Description

The relational operators request that the operands are of compatible types. But in part 1 it is mostly defined what compatibility of a value with a type means. Compatibility of types is defined in only some cases.
I suggest to clarify the type compatibility such that operands of relational operators have to be of the same root type. As a consequence values of different subtypes of integer can be compared, even if the subtypes have an empty intersection.
Similarly for the list operator &, type compatibility of the operands is too strong. It is sufficient that the operands are of the same root type.

Steps To Reproduce |
Additional Information | From discussion with Raul Alfonso Quintana, MTP
Tags | No tags attached.

Relationships

related to | 0004850 | closed | Ina Schieferdecker | type compatibility of union does not coincide with union equality

Attached Files

CR4508_Expressions.doc (65,536) 09-12-2008 11:16
http://oldforge.etsi.org/mantis/file_download.php?file_id=1867&type=bug
CR4508_Expressions_02.doc (67,072) 09-12-2008 12:41
http://oldforge.etsi.org/mantis/file_download.php?file_id=1869&type=bug
CR4508_Expressions_03.doc (82,432) 18-12-2008 15:44
http://oldforge.etsi.org/mantis/file_download.php?file_id=1915&type=bug
CR4508_Expressions_04.doc (79,360) 19-12-2008 09:01
http://oldforge.etsi.org/mantis/file_download.php?file_id=1918&type=bug
CR4508_Expressions_05.doc (87,040) 20-12-2008 15:49
http://oldforge.etsi.org/mantis/file_download.php?file_id=1923&type=bug

Issue History
Date Modified | Username | Field | Change
28-11-2008 14:14 | Thomas DeiÃŸ | New Issue |
28-11-2008 14:14 | Thomas DeiÃŸ | Status | new => assigned
28-11-2008 14:14 | Thomas DeiÃŸ | Assigned To | => Thomas DeiÃŸ
28-11-2008 14:14 | Thomas DeiÃŸ | Clause Reference(s) | => part1, 7.1.2, 7.1.3
28-11-2008 14:14 | Thomas DeiÃŸ | Source (company - Author) | => Thomas DeiÃŸ, Nokia Siemens Networks
28-11-2008 14:14 | Thomas DeiÃŸ | Project | TTCN-3 Change Requests => Part 01: TTCN-3 Core Language
28-11-2008 14:15 | Thomas DeiÃŸ | Note Added: 0007507 |
28-11-2008 14:15 | Thomas DeiÃŸ | Assigned To | Thomas DeiÃŸ => Ina Schieferdecker
28-11-2008 14:15 | Thomas DeiÃŸ | Product Version | => Edition 3.3.2
09-12-2008 11:16 | Ina Schieferdecker | File Added: CR4508_Expressions.doc |
09-12-2008 11:17 | Ina Schieferdecker | Note Added: 0007590 |
09-12-2008 11:17 | Ina Schieferdecker | Assigned To | Ina Schieferdecker => Thomas DeiÃŸ
09-12-2008 11:17 | Ina Schieferdecker | Resolution | open => fixed
09-12-2008 11:17 | Ina Schieferdecker | Target Version | => Edition 4.1.1 (not yet published)
09-12-2008 12:41 | Thomas DeiÃŸ | File Added: CR4508_Expressions_02.doc |
09-12-2008 12:44 | Thomas DeiÃŸ | Note Added: 0007594 |
09-12-2008 12:44 | Thomas DeiÃŸ | Assigned To | Thomas DeiÃŸ => Ina Schieferdecker
09-12-2008 12:44 | Thomas DeiÃŸ | Resolution | fixed => open
09-12-2008 13:32 | Ina Schieferdecker | Note Added: 0007597 |
09-12-2008 13:32 | Ina Schieferdecker | Assigned To | Ina Schieferdecker => Gyorgy Rethy
18-12-2008 14:46 | Gyorgy Rethy | Note Added: 0007740 |
18-12-2008 14:48 | Gyorgy Rethy | File Added: CR4508_Expressions_03.doc |
18-12-2008 14:49 | Gyorgy Rethy | Assigned To | Gyorgy Rethy => Ina Schieferdecker
18-12-2008 15:44 | Gyorgy Rethy | File Deleted: CR4508_Expressions_03.doc |
18-12-2008 15:44 | Gyorgy Rethy | File Added: CR4508_Expressions_03.doc |
19-12-2008 09:01 | Thomas DeiÃŸ | File Added: CR4508_Expressions_04.doc |
19-12-2008 09:03 | Thomas DeiÃŸ | Note Added: 0007750 |
20-12-2008 15:28 | Ina Schieferdecker | Note Added: 0007756 |
20-12-2008 15:29 | Ina Schieferdecker | File Added: CR4508_Expressions_05.doc |
20-12-2008 15:49 | Ina Schieferdecker | File Deleted: CR4508_Expressions_05.doc |
20-12-2008 15:49 | Ina Schieferdecker | File Added: CR4508_Expressions_05.doc |
20-12-2008 15:50 | Ina Schieferdecker | Status | assigned => resolved
20-12-2008 15:50 | Ina Schieferdecker | Resolution | open => fixed
20-12-2008 15:50 | Ina Schieferdecker | Fixed in Version | => Edition 4.1.1 (not yet published)
20-12-2008 16:16 | Ina Schieferdecker | Note Added: 0007757 |
20-12-2008 16:17 | Ina Schieferdecker | Status | resolved => closed
16-02-2009 05:49 | Ina Schieferdecker | Relationship added | related to 0004850

Notes

(0007507)
Thomas DeiÃŸ
28-11-2008 14:15

also applicable to edition 3.4

(0007590)
Ina Schieferdecker
09-12-2008 11:17

Please check

(0007594)
Thomas DeiÃŸ
09-12-2008 12:44

some minor editorial corrections.
There is one issue regarding equality of union values. As defined this does not fit to compatibility of union values. In that sense the text would be contradicting itself. To require that equality of union values also includes the choice of the alternative would be a backward incompatible change, hence I am not sure whether we should the specification in this way.
Btw.: this CR is a quite late one, it should not hurt if that one is postponed to 2009.

(0007597)
Ina Schieferdecker
09-12-2008 13:32

Gyorgy, could you please check if we can resolve this in 4.1.1 or have to postpone it to a later CR.

(0007740)
Gyorgy Rethy
18-12-2008 14:46

I have made several comments and changed the text at the relevant places inside the file CR4508_Expressions_03.doc. If those changes are OK the CR can be included to v4.1.1, if not, I propose to move it to next year, i.e. v4.2.1

(0007750)
Thomas DeiÃŸ
19-12-2008 09:03

Gyorgy's changes are ok from my side. One editorial correction done in the text explaining equality of union values. ('the the' -> 'the'). I did not check whether the use of root type/compatible type is now consistent in the whole part1.

(0007756)
Ina Schieferdecker
20-12-2008 15:28

Changes are ok - small editorial changes only in 05.

(0007757)
Ina Schieferdecker
20-12-2008 16:16

Checked the use of root and/or compatible type.