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

ID | Project | Category | View Status | Date Submitted | Last Update
0008078 | Part 01: TTCN-3 Core Language | Editorial | public | 07-02-2022 12:00 | 04-01-2023 09:27

Reporter | barakatr |
Assigned To | Jens Grabowski |
Priority | normal | Severity | minor | Reproducibility | have not tried
Status | closed | Resolution | fixed |
Platform |  | OS |  | OS Version |
Product Version |  |
Target Version | Next version (to be decided) | Fixed in Version |  |
Clause Reference(s) | 15.13 of ETSI ES201 873-1V4.13.1(2021-08)
Source (company - Author) | Fraunhofer FOKUS

Summary | 0008078: Incorrect example for present operation (Remove "causes error" comment)

Description

In Section 15.13 of ETSI ES201 873-1V4.13.1(2021-08):
In the examples listed for the present operator, the following example is given as producing an error:
template ExampleType m_originalAny := ?;
template(present) ExampleType m_targetAny := present(m_originalAny); // causes error
The presents operator is specified as follow:
"A template with the present restriction and with the same content as the operand, if the operand fulfils conditions of the present template"
The above example does not violate the present operator specification because the operand fulfils the conditions of the present template.

Steps To Reproduce |
Additional Information |
Tags | No tags attached.
Relationships |
Attached Files | CR-8078-Res-221107.docx (79,674) 07-11-2022 14:11 http://oldforge.etsi.org/mantis/file_download.php?file_id=4070&type=bug

Issue History
Date Modified | Username | Field | Change
07-02-2022 12:00 | barakatr | New Issue |
07-02-2022 12:45 | Axel Rennoch | Category | New Feature => Editorial
07-02-2022 12:45 | Axel Rennoch | Target Version | => Next version (to be decided)
07-02-2022 12:45 | Axel Rennoch | Summary | Incorrect example for present operation => Incorrect example for present operation (Remove "causes error" comment)
07-02-2022 12:45 | Axel Rennoch | Steps to Reproduce Updated | bug_revision_view_page.php?rev_id=581#r581
17-08-2022 11:04 | Jens Grabowski | Note Added: 0016234 |
17-08-2022 11:04 | Jens Grabowski | Assigned To | => Jens Grabowski
17-08-2022 11:04 | Jens Grabowski | Status | new => assigned
07-11-2022 14:11 | Jens Grabowski | File Added: CR-8078-Res-221107.docx |
07-11-2022 14:12 | Jens Grabowski | Note Added: 0016265 |
07-11-2022 14:12 | Jens Grabowski | Note Added: 0016266 |
07-11-2022 14:12 | Jens Grabowski | Status | assigned => resolved
07-11-2022 14:12 | Jens Grabowski | Resolution | open => fixed
04-01-2023 09:27 | Jens Grabowski | Note Added: 0016453 |
04-01-2023 09:27 | Jens Grabowski | Status | resolved => closed

Notes

(0016234)
Jens Grabowski
17-08-2022 11:04

TTF discussion: accepted

(0016265)
Jens Grabowski
07-11-2022 14:12

Resolved as proposed by reporter.

(0016266)
Jens Grabowski
07-11-2022 14:12

Resolved as proposed by reporter.

(0016453)
Jens Grabowski
04-01-2023 09:27

Implemented as proposed.