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

ID | Project | Category | View Status | Date Submitted | Last Update
0005438 | Part 01: TTCN-3 Core Language | Clarification | public | 11-11-2009 14:49 | 04-01-2010 12:13

Reporter | Gyorgy Rethy |
Assigned To | Ina Schieferdecker |
Priority | normal | Severity | minor | Reproducibility | have not tried
Status | closed | Resolution | fixed |
Platform |  | OS |  | OS Version |
Product Version | v4.1.1 (published 2009-06) |
Target Version | v4.2.1 (published 2010-07) | Fixed in Version | v4.2.1 (published 2010-07) |
Clause Reference(s) | 27.1.1
Source (company - Author) | L.M.ericsson

Summary | 0005438: Error in display attribute example

Description

EXAMPLE 2:
...
type record of integer MyRecOfInteger2
with { display ([0]) "colour red"
// the first element is displayed red
record_of *types* do not have elements, they are rather construction mechanisms; only values and templates can have elements. It is proposed to change to (pls. note, the last closing "}" is missing in the original example):
const MyRecOfInteger c_MyRecordOfInt := { 0, 1, 2, 3 }
with { display ([0]) "colour red" }
// the first element is displayed red

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

Issue History
Date Modified | Username | Field | Change
11-11-2009 14:49 | Gyorgy Rethy | New Issue |
11-11-2009 14:49 | Gyorgy Rethy | Status | new => assigned
11-11-2009 14:49 | Gyorgy Rethy | Assigned To | => Ina Schieferdecker
11-11-2009 14:49 | Gyorgy Rethy | Clause Reference(s) | => 27.1.1
11-11-2009 14:49 | Gyorgy Rethy | Source (company - Author) | => L.M.ericsson
07-12-2009 13:49 | Ina Schieferdecker | Target Version | => Edition 4.2.1 (not yet published)
08-12-2009 18:37 | Ina Schieferdecker | Note Added: 0009109 |
08-12-2009 18:38 | Ina Schieferdecker | Note Edited: 0009109 |
08-12-2009 18:38 | Ina Schieferdecker | Assigned To | Ina Schieferdecker => Gyorgy Rethy
08-12-2009 18:38 | Ina Schieferdecker | Resolution | open => fixed
08-12-2009 18:38 | Ina Schieferdecker | Fixed in Version | => Edition 4.2.1 (not yet published)
10-12-2009 13:02 | Gyorgy Rethy | Note Added: 0009144 |
10-12-2009 13:02 | Gyorgy Rethy | Assigned To | Gyorgy Rethy => Ina Schieferdecker
04-01-2010 12:13 | Ina Schieferdecker | Note Added: 0009152 |
04-01-2010 12:13 | Ina Schieferdecker | Status | assigned => resolved
04-01-2010 12:13 | Ina Schieferdecker | Status | resolved => closed

Notes

(0009109)
Ina Schieferdecker
08-12-2009 18:37 (edited on: 08-12-2009 18:38)

The missing "}" should be added. It should however be ok to apply the display attribute to the first element of any value of that MyRecOfInteger2 type. Please check

(0009144)
Gyorgy Rethy
10-12-2009 13:02

Yes, of course. It should be either type record of integer MyRecOfInteger2 with { display ([-]) "colour red" // integer elements are displayed red or const MyRecOfInteger c_MyRecordOfInt := { 0, 1, 2, 3 } with { display ([0]) "colour red" } // the first element is displayed red OR both examples

(0009152)
Ina Schieferdecker
04-01-2010 12:13

Added as type record of integer MyRecOfInteger2 with { display ([-]) "colour red" } // integer elements are displayed red const MyRecOfInteger c_MyRecordOfInt := {0, 1, 2, 3} with { display ([0]) "colour redblue" } // the first element is displayed redblue, the other elements are displayed red