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

ID | Project | Category | View Status | Date Submitted | Last Update
0007477 | Part 01: TTCN-3 Core Language | Clarification | public | 11-08-2016 17:06 | 15-08-2016 10:24

Reporter | KristÃ³f Szabados |
Assigned To | Jens Grabowski |
Priority | normal | Severity | minor | Reproducibility | have not tried
Status | closed | Resolution | no change required |
Platform |  | OS |  | OS Version |
Product Version | v4.8.1 (published 2016-07) |
Target Version |  | Fixed in Version |  |
Clause Reference(s) | 6.2.13.2
Source (company - Author) | L. M. Ericsson

Summary | 0007477: incorrect example reason for list subtyping

Description

section 6.2.13.2 shows an interesting reason at example1:
"
type MyRecordSub1 MyRecordSub3 (
{ f1 := 1, f2 := "user", f3 := "password" },
{ f1 := 1, f2 := "User", f3 := "Password" }
) // invalid type as { f1 := 1, f2 := "user", f3 := "password" } is not a legal value of
// MyRecordSub1 (notice field f1)
"
Is this really an invalid type or an empty type as seen in example 2, a page later?
1)
as one of the restriction values is correct according to its parent type it should still be a valid type restricted to exactly one possible value.
"Subtypes defined by a list subtyping restrict the allowed values of the subtype to the values matched by at least one of the constraints in the list"
2)
If all restriction values have to be valid in the parent type, like in StringArrayList4 in example2, it would still be an empty type.

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

Issue History
Date Modified | Username | Field | Change
11-08-2016 17:06 | KristÃ³f Szabados | New Issue |
15-08-2016 10:23 | Jens Grabowski | Note Added: 0014065 |
15-08-2016 10:24 | Jens Grabowski | Status | new => closed
15-08-2016 10:24 | Jens Grabowski | Assigned To | => Jens Grabowski
15-08-2016 10:24 | Jens Grabowski | Resolution | open => no change required

Notes

(0014065)
Jens Grabowski
15-08-2016 10:23

Reject.