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

ID | Project | Category | View Status | Date Submitted | Last Update
0005168 | Part 01: TTCN-3 Core Language | Clarification | public | 11-05-2009 12:54 | 04-01-2010 12:08

Reporter | Gyorgy Rethy |
Assigned To | Ina Schieferdecker |
Priority | normal | Severity | minor | Reproducibility | always
Status | closed | Resolution | fixed |
Platform |  | OS |  | OS Version |
Product Version |  |
Target Version | v4.2.1 (published 2010-07) | Fixed in Version | v4.2.1 (published 2010-07) |
Clause Reference(s) | 6.3, 22
Source (company - Author) | L.M.Ericsson

Summary | 0005168: Unclear typing rules for communication operations

Description

Today type compatibility says:
"Generally, TTCN 3 requires type compatibility of values at assignments, instantiations and comparison." (instead of TTCN-3 allows...).
In the clausse, e.g. describing send and received, the requirement is that the type shall be on the related list of the port.
But no clear rule given for the case:
type record MyRec {...}
type MyRec MyRecAlias;
template MyRecAlias t_MyRecAlias := {...}
connect (myComp:P1 myComp:P2)//provided both types are on the lists
P1.send (t_MyRecAlias);
P2.receive ( MyRec:?); //shall receive be successful or not?

Steps To Reproduce |
Additional Information |
Tags | No tags attached.
Relationships |
Attached Files | CR5168_resolution_v1.doc (32,768) 09-12-2009 16:25 http://oldforge.etsi.org/mantis/file_download.php?file_id=2310&type=bug

Issue History
Date Modified | Username | Field | Change
11-05-2009 12:54 | Gyorgy Rethy | New Issue |
11-05-2009 12:54 | Gyorgy Rethy | Status | new => assigned
11-05-2009 12:54 | Gyorgy Rethy | Assigned To | => Ina Schieferdecker
11-05-2009 12:54 | Gyorgy Rethy | Clause Reference(s) | => 6.3, 22
11-05-2009 12:54 | Gyorgy Rethy | Source (company - Author) | => L.M.Ericsson
09-12-2009 16:24 | Ina Schieferdecker | Note Added: 0009129 |
09-12-2009 16:25 | Ina Schieferdecker | File Added: CR5168_resolution_v1.doc |
09-12-2009 16:25 | Ina Schieferdecker | Assigned To | Ina Schieferdecker => Gyorgy Rethy
09-12-2009 16:25 | Ina Schieferdecker | Resolution | open => fixed
09-12-2009 16:25 | Ina Schieferdecker | Fixed in Version | => Edition 4.2.1 (not yet published)
09-12-2009 16:25 | Ina Schieferdecker | Target Version | => Edition 4.2.1 (not yet published)
10-12-2009 13:15 | Gyorgy Rethy | Note Added: 0009145 |
10-12-2009 13:15 | Gyorgy Rethy | Assigned To | Gyorgy Rethy => Ina Schieferdecker
04-01-2010 12:07 | Ina Schieferdecker | Status | assigned => resolved
04-01-2010 12:08 | Ina Schieferdecker | Status | resolved => closed

Notes

(0009129)
Ina Schieferdecker
09-12-2009 16:24

Strong typing is required for communication operations. We may however add an example - see resolution v1

(0009145)
Gyorgy Rethy
10-12-2009 13:15

Its OK with me.