Logo etsi

ETSI's Bug Tracker

Notice: information submitted on the ETSI issue Tracker may be incorporated in ETSI publication(s) and therefore subject to the ETSI IPR policy.

View Issue Details [ Jump to Notes ]

[ Issue History ] [ Print ]

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

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.

Tags

No tags attached.

Clause Reference(s)

22.4

Source (company - Author)

L.M.Ericsson

Attached Files

Relationships

Notes
(0007451) Ina Schieferdecker (reporter) 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 ] ) ")" ]

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

MantisBT 1.2.14 [^]