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

ID | Project | Category | View Status | Date Submitted | Last Update
0000427 | Part 01: TTCN-3 Core Language | Clarification | public | 24-11-2006 15:15 | 12-12-2008 11:48

Reporter | Stephan Schulz |
Assigned To |  |
Priority | normal | Severity | text | Reproducibility | N/A
Status | closed | Resolution | fixed |
Platform |  | OS |  | OS Version |
Product Version | v3.1.1 (published 2005-06) |
Target Version | v3.2.1 (published 2007-02) | Fixed in Version | v3.2.1 (published 2007-02) |
Clause Reference(s) | 6.2.3
Source (company - Author) | dr. György Réthy, Ericsson

Summary | 0000427: Clarification of record/set of subtyping
Description | Currently the standard gives a few examples on subtyping of record/set of types but no semantic description. This may lead to confusions in more complex cases, e.g. in record of record of types.
Steps To Reproduce |

Additional Information

Proposed solution - chnage text to:
6.2.3 Records and sets of single types
TTCN 3 supports the specification of records and sets whose elements are all of the same type. These are denoted using the keyword of. These records and sets do not have element identifiers and can be considered similar to an ordered array and an unordered array respectively.
The length keyword followed by a value or a range within brackets and used between the record or set and the of keywords restricts the allowed lengths of the given record of or set of type.
NOTE: Type restriction related to the innermost type is placed after the name of the newly defined type. Note that the innermost type can never be a set of or record of. Hence type restrictions related to record of or set of types are always placed between their record/set and of keywords.
EXAMPLE 1:
type record length(10) of integer MyRecordOfType; // is a record of exactly 10 integers
type record length(0..10) of integer MyRecordOfType; // is a record of a maximum of 10 integers
type record length(10..infinity) of integer MyRecordOfType; // record of at least 10 integers
type set of boolean MySetOfType; // is an unlimited set of boolean values
type record length(0..10) of charstring StringArray length(12);
// is a record of a maximum of 10 strings each with exactly 12 characters
type record of record of charstring StringArray length(12);
// is a two-dimensional unlimited array of strings each with exactly 12 characters
type set length(5)of set length(6) of charstring StringArray length(12);
// is an unordered two-dimensional array of the size 5*6 of strings each with exactly 12 characters

Tags | No tags attached.
Relationships |
Attached Files |

Issue History
Date Modified | Username | Field | Change
24-11-2006 15:15 | Stephan Schulz | New Issue |
24-11-2006 15:15 | Stephan Schulz | Clause Reference(s) | => 6.2.3
24-11-2006 15:15 | Stephan Schulz | Source (company - Author) | => dr. György Réthy, Ericsson
24-11-2006 15:15 | Stephan Schulz | Status | new => closed
24-11-2006 15:15 | Stephan Schulz | Resolution | open => fixed
24-11-2006 15:15 | Stephan Schulz | Fixed in Version | => Edition 3.1.1
12-12-2008 11:48 | Ina Schieferdecker | Fixed in Version | Edition 3.1.1 => Edition 3.2.1
12-12-2008 11:48 | Ina Schieferdecker | Target Version | => Edition 3.2.1

There are no notes attached to this issue.