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

ID | Project | Category | View Status | Date Submitted | Last Update
0006449 | Part 01: TTCN-3 Core Language | Editorial | public | 21-03-2013 12:55 | 11-07-2013 16:47

Reporter | Tomas Urban |
Assigned To | Ina Schieferdecker |
Priority | normal | Severity | minor | Reproducibility | have not tried
Status | closed | Resolution | fixed |
Platform |  | OS |  | OS Version |
Product Version |  |
Target Version | v4.6.1 (published 2014-06) | Fixed in Version | v4.6.1 (published 2014-06) |
Clause Reference(s) | 10
Source (company - Author) | Elvior

Summary | 0006449: Invalid note in the chapter 10

Description

The chapter 10 (declaring constants) contains the following note:
The only value that can be assigned to constants of default and component types is the special value null.
This note is correct only for component constants declared in the module declaration part. However, component constants declared inside code blocks and default constants can have other values that null as demonstrated in the following examples:
// valid in a module declaration part
altstep a()
{
[] any timer.timeout{};
}
const default constDefault := activate(a());
// valid inside a code block
testcase TC() runs on MyComponent system MySystem
{
const MyComponent constPtc := MyComponent.create;
...
}
I propose to remove the note from the specification.

Steps To Reproduce |
Additional Information |
Tags | No tags attached.
Relationships |
Attached Files | CR6449.doc (200,192) 11-07-2013 15:58 http://oldforge.etsi.org/mantis/file_download.php?file_id=2834&type=bug

Issue History
Date Modified | Username | Field | Change
21-03-2013 12:55 | Tomas Urban | New Issue |
21-03-2013 12:55 | Tomas Urban | Clause Reference(s) | => 10
21-03-2013 12:55 | Tomas Urban | Source (company - Author) | => Elvior
08-07-2013 15:13 | Jens Grabowski | Status | new => assigned
08-07-2013 15:13 | Jens Grabowski | Assigned To | => Gyorgy Rethy
08-07-2013 18:05 | Gyorgy Rethy | Target Version | => v4.6.1 (published 2014-06)
09-07-2013 16:49 | Jacob Wieland - Spirent | Note Added: 0011486 |
10-07-2013 08:27 | Gyorgy Rethy | Note Added: 0011489 |
10-07-2013 08:27 | Gyorgy Rethy | Note Added: 0011490 |
10-07-2013 08:28 | Gyorgy Rethy | Note Deleted: 0011490 |
10-07-2013 12:26 | Gyorgy Rethy | Note Added: 0011500 |
10-07-2013 12:26 | Gyorgy Rethy | Assigned To | Gyorgy Rethy => Ina Schieferdecker
10-07-2013 12:26 | Gyorgy Rethy | Status | assigned => resolved
11-07-2013 12:09 | Ina Schieferdecker | Note Added: 0011541 |
11-07-2013 12:09 | Ina Schieferdecker | Status | resolved => assigned
11-07-2013 12:09 | Ina Schieferdecker | Assigned To | Ina Schieferdecker => Jacob Wieland - Spirent
11-07-2013 12:30 | Jacob Wieland - Spirent | Note Added: 0011543 |
11-07-2013 12:31 | Jacob Wieland - Spirent | Assigned To | Jacob Wieland - Spirent => Ina Schieferdecker
11-07-2013 12:31 | Jacob Wieland - Spirent | Status | assigned => confirmed
11-07-2013 13:58 | Ina Schieferdecker | Note Added: 0011546 |
11-07-2013 13:59 | Ina Schieferdecker | Status | confirmed => assigned
11-07-2013 13:59 | Ina Schieferdecker | Assigned To | Ina Schieferdecker => Jacob Wieland - Spirent
11-07-2013 15:58 | Jacob Wieland - Spirent | File Added: CR6449.doc |
11-07-2013 15:59 | Jacob Wieland - Spirent | Note Added: 0011554 |
11-07-2013 15:59 | Jacob Wieland - Spirent | Assigned To | Jacob Wieland - Spirent => Ina Schieferdecker
11-07-2013 15:59 | Jacob Wieland - Spirent | Status | assigned => confirmed
11-07-2013 16:47 | Ina Schieferdecker | Status | confirmed => resolved
11-07-2013 16:47 | Ina Schieferdecker | Fixed in Version | => v4.6.1 (published 2014-06)
11-07-2013 16:47 | Ina Schieferdecker | Resolution | open => fixed
11-07-2013 16:47 | Ina Schieferdecker | Status | resolved => closed

Notes

(0011486)
Jacob Wieland - Spirent
09-07-2013 16:49

I concur.

(0011489)
Gyorgy Rethy
10-07-2013 08:27

TomÃ¡Å¡'s comment is correct. I propose to correct the note instead removing it completely: Current text: NOTE: The only value that can be assigned to constants of default and component types is the special value null. Corrected text: NOTE: The only value that can be assigned to global and component constants of default and component types is the special value null.

(0011500)
Gyorgy Rethy
10-07-2013 12:26

STF decision 2013-07-10: proposed solution is OK.

(0011541)
Ina Schieferdecker
11-07-2013 12:09

Better to say NOTE: The only value that can be assigned to global constants being of default or component types and to constants within component types being of default or component types is the special value null.

(0011543)
Jacob Wieland - Spirent
11-07-2013 12:30

the terms component variable and component constant should be defined in the definitions section (as variables/constants defined inside a component type) to avoid ambiguity. All places which use the terms component variable or component constant differently (i.e. with the meaning variable or constant of type component) should be changed accordingly.
Additionally, for completeness sake, the terms component timer, component port and component template could also be defined in the definitions section as timers, ports or templates defined inside a component type.

(0011546)
Ina Schieferdecker
11-07-2013 13:58

Then:
"NOTE: The only value that can be assigned to global constants or to component constants of default or component types is the special value null."
Change in F.1.1 to
"... which is typically bound to a variable of component type. The behaviour related to a variable of component type ..."
Add in 3.1
"component constant - a constant defined in a component type
component port - a port defined in a component type
component template- a template defined in a component type
component timer - a timer defined in a component type
component variable - a variable defined in a component type"

(0011554)
Jacob Wieland - Spirent
11-07-2013 15:59

please check