ETSI's Bug Tracker - Ext Pack: Behaviour Types (ES 202 785)
View Issue Details

ID | Project | Category | View Status | Date Submitted | Last Update
0007625 | Ext Pack: Behaviour Types (ES 202 785) | Clarification | public | 07-03-2017 13:37 | 03-01-2018 11:59

Reporter | szabados |
Assigned To | Jens Grabowski |
Priority | normal | Severity | minor | Reproducibility | have not tried
Status | closed | Resolution | fixed |
Platform |  | OS |  | OS Version |
Product Version | v1.4.1 (published 2015-06) |
Target Version |  | Fixed in Version |  |
Clause Reference(s) | 6.3 (inside section 5.2)
Source (company - Author) | LM. Ericsson

Summary | 0007625: Harminozation: the behaviour extension package does not mention modifiers when describing compatibility.

Description

The core TTCN-3 standard and the behaviour types extension is not in synch.
The behaviour type extension states in section 6.3.5 (describing the compatibility of behaviour type)
"
The parameter list of an object is compatible with the parameter list of a type if the order of the parameters is identical,
as well as direction, kind, type, name of the parameters, and whether a default exists. If the parameter is of kind
template
, then also potential template restrictions have to be identical. Compatibility of parameter lists applies to the
type parameter list, if exists (i.e. when the advanced parameterization package [6] is also supported and a type
parameter list is defined), and the value parameter list separately.
"
I believe this should be extended to require identical modifiers (@lazy, @fuzzy, etc..) at formal parameters of the object and type.
And modifiers of the whole object and behaviour type should also be the same.
For example:
- if the behaviour type has a "@deterministic" modifier it should be compatible only with functions also having "@deterministic" modifier.

Steps To Reproduce |
Additional Information |
Tags | No tags attached.
Relationships |
Attached Files | CR-7625.docx (33,580) 25-10-2017 11:04 http://oldforge.etsi.org/mantis/file_download.php?file_id=3696&type=bug

Issue History
Date Modified | Username | Field | Change
07-03-2017 13:37 | szabados | New Issue |
06-06-2017 14:37 | Jens Grabowski | Assigned To | => Jens Grabowski
06-06-2017 14:37 | Jens Grabowski | Status | new => assigned
24-10-2017 13:10 | Jens Grabowski | Note Added: 0014847 |
25-10-2017 11:04 | Jens Grabowski | File Added: CR-7625.docx |
25-10-2017 11:05 | Jens Grabowski | Note Added: 0014870 |
25-10-2017 11:05 | Jens Grabowski | Assigned To | Jens Grabowski => Kristof.Szabados
02-01-2018 19:53 | KristÃ³f Szabados | Note Added: 0014988 |
02-01-2018 19:58 | KristÃ³f Szabados | Note Added: 0014989 |
03-01-2018 11:59 | Jens Grabowski | Status | assigned => closed
03-01-2018 11:59 | Jens Grabowski | Assigned To | Kristof.Szabados => Jens Grabowski
03-01-2018 11:59 | Jens Grabowski | Resolution | open => fixed

Notes

(0014847)
Jens Grabowski
24-10-2017 13:10

(To be implemented until end of 2017)

(0014870)
Jens Grabowski
25-10-2017 11:05

Kristof, can you check if the minimal textual addition is sufficient?

(0014988)
KristÃ³f Szabados
02-01-2018 19:53

The updated text looks good and sufficient to me.

(0014989)
KristÃ³f Szabados
02-01-2018 19:58

For some reason I don't have rights to resolve it