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).

(0013045)
Gyorgy Rethy
04-08-2015 09:37

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

(0013047)
Gyorgy Rethy
04-08-2015 09:42

Please check draft in CR 7085

(0013067)
Jacob Wieland - Spirent
04-08-2015 14:48

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)

(0013143)
Gyorgy Rethy
07-08-2015 13:17

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).