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

ID | Project | Category | View Status | Date Submitted | Last Update
0003969 | Part 01: TTCN-3 Core Language | Clarification | public | 15-08-2008 09:51 | 10-12-2008 14:39

Reporter | Gyorgy Rethy |
Assigned To | Gyorgy Rethy |
Priority | normal | Severity | minor | Reproducibility | always
Status | closed | Resolution | won't fix |
Platform |  | OS |  | OS Version |
Product Version | v3.3.2 (published 2008-04) |
Target Version | v4.1.1 (published 2009-06) | Fixed in Version |  |
Clause Reference(s) | 22.4
Source (company - Author) | L.M.Ericsson

Summary | 0003969: Uncomplete formulation of the check operation

Description

2nd paragraph of clause 22.4 says:
"The receiving operations receive, getcall, getreply and catch together with their matching and assignment parts, are used by the check operation to define the condition that has to be checked and to extract the value or values of its parameters, if required."
However, not only parameter but also value and sender redirects may be specified by the enclosed receiving operation. See additional information for a proposal.

Steps To Reproduce |

Additional Information

The receiving operations receive, getcall, getreply and catch together with their matching and value, sender or parameter storing parts, are used by the check operation to define the condition that has to be checked and the information to be optionally extracted.
It is the top element of an incoming port queue that shall be checked (it is not possible to look into the queue). If the queue is empty the check operation fails. If the queue is not empty, a copy of the top element is taken and the receiving operation specified in the check operation is performed on the copy. The check operation fails if the receiving operation fails i.e. the matching criteria are not fulfilled. In this case the copy of the top element of the queue is discarded and test execution continues in the normal manner, i.e. the statement or alternative next to the check operation is evaluated. The check operation is successful if the receiving operation is successful. In this case the value, sender or parameter storing parts of the receiving operation, if any, are executed, i.e. the message and/or a part of it, the sender's address or component reference, the parameter(s) of the call or reply or the value of the exception are stored in the associated variables.

Tags | No tags attached.
Relationships |
Attached Files | CR3969_CheckOperation.doc (34,816) 24-11-2008 12:18 http://oldforge.etsi.org/mantis/file_download.php?file_id=1760&type=bug

Issue History
Date Modified | Username | Field | Change
15-08-2008 09:51 | Gyorgy Rethy | New Issue |
15-08-2008 09:51 | Gyorgy Rethy | Status | new => assigned
15-08-2008 09:51 | Gyorgy Rethy | Assigned To | => Ina Schieferdecker
15-08-2008 09:51 | Gyorgy Rethy | Clause Reference(s) | => 22.4
15-08-2008 09:51 | Gyorgy Rethy | Source (company - Author) | => L.M.Ericsson
17-08-2008 09:07 | Ina Schieferdecker | Target Version | => Edition 4.1.1 (not yet published)
24-11-2008 12:17 | Ina Schieferdecker | Note Added: 0007388 |
24-11-2008 12:18 | Ina Schieferdecker | File Added: CR3969_CheckOperation.doc |
24-11-2008 12:19 | Ina Schieferdecker | Resolution | open => won't fix
24-11-2008 12:19 | Ina Schieferdecker | Assigned To | Ina Schieferdecker => Gyorgy Rethy
26-11-2008 10:09 | Gyorgy Rethy | Status | assigned => closed
10-12-2008 14:38 | Ina Schieferdecker | Note Added: 0007638 |
10-12-2008 14:39 | Ina Schieferdecker | File Added: CR2757_proposed_solution_v1_5.doc |
10-12-2008 14:39 | Ina Schieferdecker | Note Deleted: 0007638 |
10-12-2008 14:39 | Ina Schieferdecker | File Deleted: CR2757_proposed_solution_v1_5.doc |

Notes

(0007388)
Ina Schieferdecker
24-11-2008 12:17

The semantic description for the check operation refers to both the receiving and the assignment part of a receiving operation - the receiving part includes the address expression - the sender redirect is included in the assignment part - see 22.1.4.2.
Hence, no change is needed.
I just did two rephrasal - one in particular highlighting that not a single condition but all conditions defined by the receiving operation are to be checked.