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

ID | Project | Category | View Status | Date Submitted | Last Update
0003968 | Part 01: TTCN-3 Core Language | Technical | public | 15-08-2008 09:09 | 26-11-2008 14:55

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

Summary | 0003968: No value redirect in check operation

Description

In clause 22.4 the following syntactical structure is given:
Syntactical Structure
( Port | any port ) "." check
[ "("
( PortReceiveOp | PortGetCallOp | PortGetReplyOp | PortCatchOp ) |
( [ from AddressRef ] [ "->" value VariableRef ][ sender VariableRef ] )
")" ]
According to the bnf it should be (no value redirect):
( Port | any port ) "." check
[ "("
( PortReceiveOp | PortGetCallOp | PortGetReplyOp | PortCatchOp ) |
( [ from AddressRef ] [ "->" sender VariableRef ] )
")" ]
All other value, sender and parameter redirects are part of the relevant receiving operation.

Steps To Reproduce |
Additional Information |
Tags | No tags attached.
Relationships |
Attached Files |

Issue History
Date Modified | Username | Field | Change
15-08-2008 09:09 | Gyorgy Rethy | New Issue |
15-08-2008 09:09 | Gyorgy Rethy | Status | new => assigned
15-08-2008 09:09 | Gyorgy Rethy | Assigned To | => Ina Schieferdecker
15-08-2008 09:09 | Gyorgy Rethy | Clause Reference(s) | => 22.4
15-08-2008 09:09 | Gyorgy Rethy | Source (company - Author) | => L.M.Ericsson
17-08-2008 09:08 | Ina Schieferdecker | Target Version | => Edition 4.1.1 (not yet published)
26-11-2008 14:53 | Ina Schieferdecker | Note Added: 0007451 |
26-11-2008 14:54 | Ina Schieferdecker | Resolution | open => fixed
26-11-2008 14:55 | Ina Schieferdecker | Status | assigned => resolved
26-11-2008 14:55 | Ina Schieferdecker | Fixed in Version | => Edition 4.1.1 (not yet published)
26-11-2008 14:55 | Ina Schieferdecker | Status | resolved => closed
10-12-2008 14:05 | Ina Schieferdecker | Note Edited: 0007451 |

Notes

(0007451)
Ina Schieferdecker
26-11-2008 14:53 (edited on: 10-12-2008 14:05)

That is right. The syntactical structure for check should be corrected accordingly: ( Port | any port ) "." check [ "(" ( PortReceiveOp | PortGetCallOp | PortGetReplyOp | PortCatchOp ) | ( [ from AddressRef ] [ "->" sender VariableRef ] ) ")" ]