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

ID | Project | Category | View Status | Date Submitted | Last Update
0004658 | Part 01: TTCN-3 Core Language | Technical | public | 07-01-2009 08:54 | 09-12-2009 15:40

Reporter | Axel Rennoch |
Assigned To | Ina Schieferdecker |
Priority | normal | Severity | feature | Reproducibility | have not tried
Status | closed | Resolution | fixed |
Platform |  | OS |  | OS Version |
Product Version | v3.4.1 (published 2008-09) |
Target Version | v4.2.1 (published 2010-07) | Fixed in Version | v4.2.1 (published 2010-07) |
Clause Reference(s) | B.1.2.6
Source (company - Author) | ETSI STF346/366

Summary | 0004658: superset with templates
Description | Please remove the restriction that an argument of superset must not contain templates.
Steps To Reproduce |
Additional Information | We miss this feature while checking e.g. SIP header parameter list values.
Tags | No tags attached.
Relationships |

Attached Files

CR4658_resolution_v1.doc (144,896) 10-07-2009 09:53
http://oldforge.etsi.org/mantis/file_download.php?file_id=2203&type=bug
Superset_v1.ttcn (3,204) 10-07-2009 09:55
http://oldforge.etsi.org/mantis/file_download.php?file_id=2204&type=bug
CR4658_resolution_v2.doc (159,232) 03-09-2009 15:52
http://oldforge.etsi.org/mantis/file_download.php?file_id=2233&type=bug
Superset_v2.ttcn (5,763) 03-09-2009 15:52
http://oldforge.etsi.org/mantis/file_download.php?file_id=2234&type=bug
CR4658_resolution_v3.doc (159,744) 03-09-2009 18:09
http://oldforge.etsi.org/mantis/file_download.php?file_id=2235&type=bug

Issue History
Date Modified | Username | Field | Change
07-01-2009 08:54 | Axel Rennoch | New Issue |
07-01-2009 08:54 | Axel Rennoch | Status | new => assigned
07-01-2009 08:54 | Axel Rennoch | Assigned To | => Ina Schieferdecker
07-01-2009 08:54 | Axel Rennoch | Clause Reference(s) | => B.1.2.6
07-01-2009 08:54 | Axel Rennoch | Source (company - Author) | => ETSI STF346/366
07-01-2009 13:37 | Axel Rennoch | Note Added: 0007782 |
12-01-2009 17:31 | Ina Schieferdecker | Target Version | => Edition 4.2.1 (not yet published)
20-04-2009 11:55 | Ina Schieferdecker | Assigned To | Ina Schieferdecker => Gyorgy Rethy
10-07-2009 09:49 | Gyorgy Rethy | File Added: Superset.ttcn |
10-07-2009 09:53 | Gyorgy Rethy | File Added: CR4658_resolution_v1.doc |
10-07-2009 09:53 | Gyorgy Rethy | File Deleted: Superset.ttcn |
10-07-2009 09:55 | Gyorgy Rethy | File Added: Superset_v1.ttcn |
10-07-2009 10:19 | Gyorgy Rethy | Note Added: 0008884 |
03-09-2009 14:13 | Gyorgy Rethy | File Added: Superset_v2.ttcn |
03-09-2009 14:14 | Gyorgy Rethy | Note Added: 0008970 |
03-09-2009 15:52 | Gyorgy Rethy | File Deleted: Superset_v2.ttcn |
03-09-2009 15:52 | Gyorgy Rethy | File Added: CR4658_resolution_v2.doc |
03-09-2009 15:52 | Gyorgy Rethy | File Added: Superset_v2.ttcn |
03-09-2009 15:55 | Gyorgy Rethy | Note Added: 0008975 |
03-09-2009 15:55 | Gyorgy Rethy | Assigned To | Gyorgy Rethy => Ina Schieferdecker
03-09-2009 15:55 | Gyorgy Rethy | Resolution | open => fixed
03-09-2009 15:55 | Gyorgy Rethy | Fixed in Version | => Edition 4.2.1 (not yet published)
03-09-2009 18:09 | Gyorgy Rethy | Note Added: 0008976 |
03-09-2009 18:09 | Gyorgy Rethy | File Added: CR4658_resolution_v3.doc |
09-12-2009 15:24 | Ina Schieferdecker | Note Added: 0009124 |
09-12-2009 15:25 | Ina Schieferdecker | Status | assigned => resolved
09-12-2009 15:40 | Ina Schieferdecker | Status | resolved => closed

Notes

(0007782)
Axel Rennoch
07-01-2009 13:37

References and formal parameters of type template should be allowed as arguments.

(0008884)
Gyorgy Rethy
10-07-2009 10:19

CR4658_resolution_v1.doc and Superset_v1.ttcn: first working draft and examples (not complete and not checked). Analysis started but not completed yet; Files uploaded at the end of the July STF session to have them available when continuing the analysis at the next session. Therefore, no solid proposal is made yet.
Current status of the analysis: both superset and subset allow values only both in the text and in the BNF. Length matching attribute can be added to both subset and superset. They are in fact more compact syntax for some cases that could be handled by set of templates as well (but would be nasty or in practical terms almost impossible to handle). Templates could be allowed inside them as in many cases this would also allow much more compact code (that also creates the danger that users will not fully understand what they do are doing); further analysis needed if any cases exists that are not possible to handle by set of templates directly.
Next: complete examples: value lists and complemented lists, more examples and cases are needed for AnyvalueOrNone.
If allowing templates, description and many examples will be needed to specify the behaviour in the case of the different matchings inside subset and superset.

(0008970)
Gyorgy Rethy
03-09-2009 14:14

Superset_v2.ttcn: more examples, value set and complemented list are added.

(0008975)
Gyorgy Rethy
03-09-2009 15:55

CR4658_resolution_v2.doc: draft for CR resolution; ready for checking.

(0008976)
Gyorgy Rethy
03-09-2009 18:09

CR4658_resolution_v3.doc: "invalid" is replaced by "causes an error" in examples. No other change.

(0009124)
Ina Schieferdecker
09-12-2009 15:24

as proposed - only some editing.