ETSI's Bug Tracker - Part 04: TTCN-3 Operational Semantics
View Issue Details

ID | Project | Category | View Status | Date Submitted | Last Update
0007212 | Part 04: TTCN-3 Operational Semantics | Clarification | public | 03-11-2015 11:23 | 21-07-2016 08:28

Reporter | Jens Grabowski |
Assigned To | Jens Grabowski |
Priority | normal | Severity | minor | Reproducibility | have not tried
Status | closed | Resolution | fixed |
Platform |  | OS |  | OS Version |
Product Version | v4.4.1 (published 2012-04) |
Target Version | v4.5.1 (published 2016-07) | Fixed in Version | v4.5.1 (published 2016-07) |
Clause Reference(s) | 8.2 (Module Definitions Part in Core Language)
Source (company - Author) | STF 491

Summary | 0007212: Update Operational Semantics: Visibility of Definitions (public, friend, private)
Description | The operational semantics does not handle visibility of definitions. A note should be added to clarify this.
Steps To Reproduce |
Additional Information |
Tags | No tags attached.
Relationships |
Attached Files | es_20187304v040401p-CR7212.zip (1,607,608) 03-11-2015 12:06 http://oldforge.etsi.org/mantis/file_download.php?file_id=3352&type=bug

Issue History
Date Modified | Username | Field | Change
03-11-2015 11:23 | Jens Grabowski | New Issue |
03-11-2015 11:23 | Jens Grabowski | Status | new => assigned
03-11-2015 11:23 | Jens Grabowski | Assigned To | => Jens Grabowski
03-11-2015 12:06 | Jens Grabowski | File Added: es_20187304v040401p-CR7212.zip |
03-11-2015 12:06 | Jens Grabowski | Note Added: 0013468 |
03-11-2015 12:07 | Jens Grabowski | Assigned To | Jens Grabowski => Jacob Wieland - Spirent
03-11-2015 12:33 | Jacob Wieland - Spirent | Note Added: 0013469 |
03-11-2015 12:33 | Jacob Wieland - Spirent | Status | assigned => resolved
03-11-2015 12:33 | Jacob Wieland - Spirent | Fixed in Version | => v4.5.1 (published 2016-07)
03-11-2015 12:33 | Jacob Wieland - Spirent | Resolution | open => fixed
03-11-2015 12:33 | Jacob Wieland - Spirent | Assigned To | Jacob Wieland - Spirent => Jens Grabowski
06-01-2016 14:39 | Gyorgy Rethy | Target Version | v4.6.1(ongoing) => v4.5.1 (published 2016-07)
21-07-2016 08:28 | Jens Grabowski | Status | resolved => closed

Notes

(0013468)
Jens Grabowski
03-11-2015 12:06

New item added to Clause 6 "Restrictions". @Jacob: please crosscheck.

(0013469)
Jacob Wieland - Spirent
03-11-2015 12:33

ok