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

ID | Project | Category | View Status | Date Submitted | Last Update
0008211 | Part 01: TTCN-3 Core Language | Clarification | public | 13-07-2023 10:06 | 21-12-2023 12:38

Reporter | Matthias Simon |
Assigned To | Jens Grabowski |
Priority | normal | Severity | minor | Reproducibility | have not tried
Status | closed | Resolution | won't fix |
Platform |  | OS |  | OS Version |
Product Version |  |
Target Version |  | Fixed in Version |  |
Clause Reference(s) | 6.2.13.2 -- List subtyping of structured types and anytype
Source (company - Author) | Nokia - Matthias Simon

Summary | 0008211: Obsolete restriction for subtyping list-types?

Description

It seems section "6.2.13.2 -- List subtyping of structured types and anytype" restricts the use of value constraints for list types:
> List subtyping is [not] possible [on] the declaration of the first parent type
Does this mean that the first subtype declaration is not allowed to have a value constraint?
type record of charstring MyRecordOf ({"aa", "bb"}) // constraint not allowed?
If find the subtyping rules difficult to comprehend and to reason about. I believe a we could simplify sections about type handling (subtypes, compatibility, equality).

Steps To Reproduce |
Additional Information |
Tags | No tags attached.
Relationships |
Attached Files |

Issue History
Date Modified | Username | Field | Change
13-07-2023 10:06 | Matthias Simon | New Issue |
04-09-2023 16:37 | Gusztáv Adamis | Note Added: 0016505 |
05-09-2023 08:44 | Jens Grabowski | Note Added: 0016509 |
05-09-2023 08:44 | Jens Grabowski | Assigned To | => Matthias Simon
05-09-2023 08:44 | Jens Grabowski | Status | new => assigned
10-11-2023 10:21 | Jens Grabowski | Note Added: 0016577 |
21-12-2023 09:38 | Matthias Simon | Note Added: 0016585 |
21-12-2023 09:38 | Matthias Simon | Assigned To | Matthias Simon => Jens Grabowski
21-12-2023 09:38 | Matthias Simon | Status | assigned => confirmed
21-12-2023 12:37 | Jens Grabowski | Note Added: 0016586 |
21-12-2023 12:37 | Jens Grabowski | Status | confirmed => resolved
21-12-2023 12:37 | Jens Grabowski | Resolution | open => won't fix
21-12-2023 12:38 | Jens Grabowski | Note Added: 0016587 |
21-12-2023 12:38 | Jens Grabowski | Status | resolved => closed

Notes

(0016505)
Gusztáv Adamis
04-09-2023 16:37

Not understand. It is not a subtype, but a type declaration (with a wrong syntax) type record of charstring MyRecordOf ("aa", "bb") works

(0016509)
Jens Grabowski
05-09-2023 08:44

TTF discussion: Matthias will provide additional examples where the standard contradicts itself. Matthias will study if harmonization/simplification is possible.

(0016577)
Jens Grabowski
10-11-2023 10:21

TTF discussion: Matthias will check if CR can be closed after resolution of CR 8210.

(0016585)
Matthias Simon
21-12-2023 09:38

Only sub-type definitions allow the specification of constraints (record-of is a bit of an outlyer): type record { integer x } A // Not a sub-type. No constraints allowed type ParentType B // Constraints allowed. Resolution of CR8210 makes this part much easiert to understand. Hence, this CR can be closed.

(0016586)
Jens Grabowski
21-12-2023 12:37

Only sub-type definitions allow the specification of constraints (record-of is a bit of an outlyer): type record { integer x } A // Not a sub-type. No constraints allowed type ParentType B // Constraints allowed. Resolution of CR8210 makes this part much easiert to understand. Hence, this CR can be closed.

(0016587)
Jens Grabowski
21-12-2023 12:38

Only sub-type definitions allow the specification of constraints (record-of is a bit of an outlyer): type record { integer x } A // Not a sub-type. No constraints allowed type ParentType B // Constraints allowed. Resolution of CR8210 makes this part much easiert to understand. Hence, this CR can be closed.