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

ID | Project | Category | View Status | Date Submitted | Last Update
0005995 | Part 01: TTCN-3 Core Language | Clarification | public | 28-12-2011 07:27 | 10-07-2012 18:25

Reporter | Andras Kovacs |
Assigned To | Ina Schieferdecker |
Priority | normal | Severity | major | Reproducibility | N/A
Status | closed | Resolution | won't fix |
Platform |  | OS |  | OS Version |
Product Version | v4.3.1 (published 2011-06) |
Target Version | v4.5.1 (published 2013-04) | Fixed in Version |  |
Clause Reference(s) | Core language / section 27
Source (company - Author) | STF433

Summary | 0005995: Contradiction between BNF and text of section 27 on the placement of 'with' statement

Description

According to BNF, "with" statement is allowed only in the following 3 places:
1: module part (TTCN3Module ::=...)
2: module definition part (ModuleDefinition ::=...)
3: module control block definition (ModuleControlPart ::=...)
However this seems to be in contradiction with the text of section 27, because:
A: virtually all the examples given in section 27 contradict this
B: nowhere in the text is such a restriction described on the placement of 'with'

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

Issue History
Date Modified | Username | Field | Change
28-12-2011 07:27 | Andras Kovacs | New Issue |
28-12-2011 07:27 | Andras Kovacs | Clause Reference(s) | => Core language / section 27
28-12-2011 07:27 | Andras Kovacs | Source (company - Author) | => STF433
28-12-2011 09:06 | Andras Kovacs | Note Added: 0010544 |
28-12-2011 10:24 | Andras Kovacs | Note Added: 0010545 |
10-07-2012 14:13 | Gyorgy Rethy | Note Added: 0010757 |
10-07-2012 14:13 | Gyorgy Rethy | Assigned To | => Ina Schieferdecker
10-07-2012 14:13 | Gyorgy Rethy | Status | new => assigned
10-07-2012 14:13 | Gyorgy Rethy | Target Version | => Edition 4.5.1
10-07-2012 18:21 | Ina Schieferdecker | Note Added: 0010776 |
10-07-2012 18:25 | Ina Schieferdecker | Note Added: 0010778 |
10-07-2012 18:25 | Ina Schieferdecker | Status | assigned => closed
10-07-2012 18:25 | Ina Schieferdecker | Resolution | open => won't fix
10-07-2012 18:25 | Ina Schieferdecker | Note Edited: 0010776 |

Notes

(0010544)
Andras Kovacs
28-12-2011 09:06

Correction to the above: the examples in section 27 do not directly contradict the BNF. There are just several examples without a context (i.e. where the declaration has been made). So in light of point B (absence of restriction on where to place the 'with' statement), it is difficult for the reader to get this point. So the placement restriction could be added in the text.

(0010545)
Andras Kovacs
28-12-2011 10:24

Also, restriction a) in section 27.7 mentions an attribute directly associated to variable definitions, however according to the BNF a 'with' statement can never directly be associated to a variable definition. So reference to variable definitions could be removed from this restriction.

(0010757)
Gyorgy Rethy
10-07-2012 14:13

STF discussion 2012-07-10: Check the BNF

(0010776)
Ina Schieferdecker
10-07-2012 18:21 (edited on: 10-07-2012 18:25)

With statements are possible end of - ModuleDefinition (rule 7) - ComponentDefList(rule 75) - FunctionLocalDef | FunctionLocalInst (rule 163) - AltstepLocalDefList(rule 192) - ModuleControlPart(rule 242) - FunctionLocalDef | FunctionLocalInst(rule 246) The examples in clause 27 are ok

(0010778)
Ina Schieferdecker
10-07-2012 18:25

Possible places of the with statement are explained in the text (clause 27.1) and are part of the BNF.