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

0005919

Part 01: TTCN-3 Core Language

Technical

public

25-07-2011 17:03

28-09-2011 09:46

Reporter

Uwe Truetsch

Assigned To

Ina Schieferdecker

Priority

normal

Severity

major

Reproducibility

always

Status

closed

Resolution

fixed

Platform

OS Version

Product Version

v4.3.1 (published 2011-06)

Target Version

v4.4.1 (published 2012-04)

Fixed in Version

v4.4.1 (published 2012-04)

Summary

0005919: wrong BNF in section: A.1.6.8.1 With statement

Description

production 454 has to be corrected as it does not allow refs like [-].field or [-][0]

Current definition:

454.DefOrFieldRef ::= DefinitionRef |
                       (FieldReference [ExtendedFieldReference]) |
                       ("[" Minus | SingleExpression "]") |
                       AllRef

Proposed definition (as suggested by Mr. Jacob Wieland):

454. DefOrFieldRef ::= DefinitionRef |
                          ( ( FieldReference | "[" NotUsedSymbol "]" ) [ ExtendedFieldReference ] ) |
                          AllRef

Example:

type record of record of record {
  integer f1,
  boolean f2
} RoRoR

type component C1 {
  var RoRoR cv1;
} with {
  extension (cv1[-][-], // not possible with current production
             cv1[-][0], // not possible with current production
             cv1[0][-]) // ok with current production
               "some text"
}

Tags

No tags attached.

Clause Reference(s)

A.1.6.8.1

Source (company - Author)

NSN - Uwe Truetsch

Attached Files

Relationships

Notes
(0010240) Gyorgy Rethy (reporter) 27-09-2011 11:33	To be checked in the v4.3.2 BNF

(0010259) Ina Schieferdecker (reporter) 27-09-2011 18:50	In principle ok, except that NotUsedSymbol is not used any more, but Minus: 454. DefOrFieldRef ::= DefinitionRef \| ( ( FieldReference \| "[" Minus "]" ) [ ExtendedFieldReference ] ) \| AllRef

Issue History
Date Modified	Username	Field	Change
25-07-2011 17:03	Uwe Truetsch	New Issue
25-07-2011 17:03	Uwe Truetsch	Clause Reference(s)	=> A.1.6.8.1
25-07-2011 17:03	Uwe Truetsch	Source (company - Author)	=> NSN - Uwe Truetsch
27-09-2011 11:33	Gyorgy Rethy	Note Added: 0010240
27-09-2011 11:33	Gyorgy Rethy	Assigned To	=> Ina Schieferdecker
27-09-2011 11:33	Gyorgy Rethy	Status	new => assigned
27-09-2011 11:33	Gyorgy Rethy	Target Version	=> Edition 4.4.1
27-09-2011 18:50	Ina Schieferdecker	Note Added: 0010259
28-09-2011 09:46	Ina Schieferdecker	Status	assigned => closed
28-09-2011 09:46	Ina Schieferdecker	Resolution	open => fixed
28-09-2011 09:46	Ina Schieferdecker	Fixed in Version	=> Edition 4.4.1

MantisBT 1.2.14 [^]