ETSI's Bug Tracker - Part 01: TTCN-3 Core Language |
| View Issue Details |
|
| ID | Project | Category | View Status | Date Submitted | Last Update |
| 0007097 | Part 01: TTCN-3 Core Language | Clarification | public | 01-07-2015 13:37 | 07-08-2015 13:51 |
|
| Reporter | Wolfgang Seka | |
| Assigned To | Gyorgy Rethy | |
| Priority | high | Severity | minor | Reproducibility | have not tried |
| Status | closed | Resolution | fixed | |
| Platform | | OS | | OS Version | |
| Product Version | v4.7.1 (published 2015-06) | |
| Target Version | v4.8.1 (published 2016-07) | Fixed in Version | v4.8.1 (published 2016-07) | |
| Clause Reference(s) | 16.1.2, C.3.1 |
| Source (company - Author) | MCC160 - Wolfgang |
|
| Summary | 0007097: Clarification: ispresent function for elements of a "record of" or "set of" |
| Description | Currently it is not defined what happens in case of e.g. ispresent(v_RecordOf[i]): Table 14 (clause 16.1.2) refers to "optional field in a record or set value or template" only.
On the other hand according to C.3.1 ispresent shall not cause an error.
=> Either applicability of ispresent shall be enhanced to cope with "record of" and "set of" too or an error shall be defined for this case (compilation or runtime error).
Note: at least with one compiler currently there are side effects resulting in runtime errors which are not directly related to ispresent. |
| Steps To Reproduce | |
| Additional Information | |
| Tags | No tags attached. |
| Relationships | |
| Attached Files | |
|
| Issue History |
| Date Modified | Username | Field | Change |
| 01-07-2015 13:37 | Wolfgang Seka | New Issue | |
| 03-08-2015 11:42 | Gyorgy Rethy | Note Added: 0013025 | |
| 03-08-2015 11:42 | Gyorgy Rethy | Assigned To | => Jacob Wieland - Spirent |
| 03-08-2015 11:42 | Gyorgy Rethy | Status | new => assigned |
| 04-08-2015 08:30 | Gyorgy Rethy | Note Edited: 0013025 | bug_revision_view_page.php?bugnote_id=13025#r136 |
| 04-08-2015 09:12 | Gyorgy Rethy | Project | TTCN-3 Change Requests => Part 01: TTCN-3 Core Language |
| 04-08-2015 09:37 | Gyorgy Rethy | Note Added: 0013045 | |
| 04-08-2015 09:42 | Gyorgy Rethy | Note Added: 0013047 | |
| 04-08-2015 09:42 | Gyorgy Rethy | Status | assigned => confirmed |
| 04-08-2015 09:44 | Gyorgy Rethy | Resolution | open => fixed |
| 04-08-2015 10:54 | Gyorgy Rethy | Note Edited: 0013025 | bug_revision_view_page.php?bugnote_id=13025#r137 |
| 04-08-2015 14:48 | Jacob Wieland - Spirent | Note Added: 0013067 | |
| 04-08-2015 14:48 | Jacob Wieland - Spirent | Assigned To | Jacob Wieland - Spirent => Gyorgy Rethy |
| 04-08-2015 14:48 | Jacob Wieland - Spirent | Status | confirmed => assigned |
| 07-08-2015 13:17 | Gyorgy Rethy | Note Added: 0013143 | |
| 07-08-2015 13:18 | Gyorgy Rethy | Note Added: 0013144 | |
| 07-08-2015 13:18 | Gyorgy Rethy | Status | assigned => closed |
| 07-08-2015 13:18 | Gyorgy Rethy | Product Version | => v4.7.1 (published 2015-06) |
| 07-08-2015 13:18 | Gyorgy Rethy | Fixed in Version | => v4.8.1 (published 2016-07) |
| 07-08-2015 13:18 | Gyorgy Rethy | Target Version | => v4.8.1 (published 2016-07) |
| 07-08-2015 13:51 | Gyorgy Rethy | Note Edited: 0013144 | bug_revision_view_page.php?bugnote_id=13144#r153 |
|
Notes |
|
|
(0013025)
|
|
Gyorgy Rethy
|
03-08-2015 11:42
(edited on: 04-08-2015 10:54) |
|
STF discussion 03-08-2015: ispresent is not allowed to record/set of elements, this shall cause a semantic error. Solution to clarify: refer to table 14 in clause C.3.1. To table 14 add other language elements that can match omit (e.g. complete templates).
|
|
|
|
|
Proposed resolution is in the draft uploaded to CR 7085 (http://forge.etsi.org/mantis/view.php?id=7085 [^]), es_20187301v040702.docx, please cross-check.
At the end of this working session the draft containing closed CRs will be uploaded to MTS drafts area. Further candidates to be included: CRs 6774 & 6934 |
|
|
|
|
|
Please check draft in CR 7085 |
|
|
|
|
the proposed solution is wrong. ispresent should return true for all templates that are not AnyValueOrNone, Ifpresent or Omit, i.e. it should return false for all matching mechanisms that can match omit.
proposal: change entry in table 14 to:
"Determine ... is present or is assigned a matching mechanism that cannot match an ommitted field." (maybe with a note that those are omit, * and ifpresent) |
|
|
|
|
|
Proposal is OK with minor editorial modifications. See file es_20187301v040702_e.docx in CR 7085. |
|
|
|
(0013144)
|
|
Gyorgy Rethy
|
07-08-2015 13:18
(edited on: 07-08-2015 13:51) |
|
Implemented in interim draft version V4.7.3 uploaded to TB MTS's drafts area (file es_20187301v040702_e.docx in CR7085).
|
|