  

<table class="width100" style="width:100%;" data-cellspacing="1">
<colgroup>
<col style="width: 16%" />
<col style="width: 16%" />
<col style="width: 16%" />
<col style="width: 16%" />
<col style="width: 16%" />
<col style="width: 16%" />
</colgroup>
<tbody>
<tr class="odd">
<td colspan="6" class="form-title"><div class="center">
ETSI's Bug Tracker - Part 01: TTCN-3 Core Language
</div></td>
</tr>
<tr class="even">
<td colspan="6" class="form-title">View Issue Details</td>
</tr>
<tr class="odd">
<td colspan="6" class="print-spacer"><hr /></td>
</tr>
<tr class="even print-category">
<td class="print" width="16%">ID</td>
<td class="print" width="16%">Project</td>
<td class="print" width="16%">Category</td>
<td class="print" width="16%">View Status</td>
<td class="print" width="16%">Date Submitted</td>
<td class="print" width="16%">Last Update</td>
</tr>
<tr class="odd print">
<td class="print">0002975</td>
<td class="print">Part 01: TTCN-3 Core Language</td>
<td class="print">New Feature</td>
<td class="print">public</td>
<td class="print">04-03-2008 10:01</td>
<td class="print">24-04-2008 19:06</td>
</tr>
<tr class="even">
<td colspan="6" class="print-spacer"><hr /></td>
</tr>
<tr class="odd print">
<td class="print-category">Reporter</td>
<td class="print">user324</td>
<td colspan="4" class="print"> </td>
</tr>
<tr class="even print">
<td class="print-category">Assigned To</td>
<td class="print">Ina Schieferdecker</td>
<td colspan="4" class="print"> </td>
</tr>
<tr class="odd print">
<td class="print-category">Priority</td>
<td class="print">normal</td>
<td class="print-category">Severity</td>
<td class="print">major</td>
<td class="print-category">Reproducibility</td>
<td class="print">have not tried</td>
</tr>
<tr class="even print">
<td class="print-category">Status</td>
<td class="print">closed</td>
<td class="print-category">Resolution</td>
<td class="print">fixed</td>
<td colspan="2" class="print"> </td>
</tr>
<tr class="odd print">
<td class="print-category">Platform</td>
<td class="print"></td>
<td class="print-category">OS</td>
<td class="print"></td>
<td class="print-category">OS Version</td>
<td class="print"></td>
</tr>
<tr class="even print">
<td class="print-category">Product Version</td>
<td class="print"></td>
<td colspan="4" class="print"> </td>
</tr>
<tr class="odd">
<td class="print-category">Target Version</td>
<td class="print">v3.4.1 (published 2008-09)</td>
<td class="print-category">Fixed in Version</td>
<td class="print">v3.4.1 (published 2008-09)</td>
<td colspan="2" class="print"> </td>
</tr>
<tr class="even print">
<td class="print-category">Clause Reference(s)</td>
<td colspan="4" class="print">A.1.6.5, A.1.6.1.4, 11.2, 5.4.1.2,
16.1</td>
<td></td>
</tr>
<tr class="odd print">
<td class="print-category">Source (company - Author)</td>
<td colspan="4" class="print">Testing Technologies - Jacob Wieland</td>
<td></td>
</tr>
<tr class="even">
<td colspan="6" class="print-spacer"><hr /></td>
</tr>
<tr class="odd print">
<td class="print-category">Summary</td>
<td colspan="5" class="print">0002975: Allow specification of
non-optional templates</td>
</tr>
<tr class="even print">
<td class="print-category">Description</td>
<td colspan="5" class="print">At the moment, it is not possible to
declare a template parameter, template variable or template return type
in such a way that it describes only templates which do not match the
special value 'omit', i.e. templates which can only be used for
non-optional fields.<br />
<br />
Since expressions containing matching mechanisms can only be passed to
parameters with a template modifier, the type 'template T' must, at the
moment be interpreted as: all expressions of type T which match values
of type T or the value 'omit', so that they can be used to be assigned
to optional fields. However, since there is no way to say that an
arbitrary template expression does _not_ match 'omit', a compiler needs
to produce a warning whenever a template parameter (or template variable
or template return value) is assigned to a non-optional field, since
this can lead to a runtime-error. Static checking to avoid this
situation is nearly impossible and at best takes a very high
computational effort (for a small gain).<br />
<br />
Therefore, the following solution is proposed to enhance the
expressivity of the<br />
TTCN-3 type language:<br />
<br />
Allow the keyword 'ispresent' to be put (optionally) behind every
occurrence of the keyword 'template'. The semantics of the type
'template ispresent T' would be all expressions of type T which do not
match the special vaule 'omit'. This would mean that such a template can
be safely used in an assignment to a non-optional field. Also, each
non-optional field of a template would automatically have the type
'template ispresent T', if the field was declared as of type T.<br />
<br />
As far as I can see, the following rules have to be changed in the BNF
in<br />
the following way:<br />
- TemplateRestriction ::= "(" OmitKeyword ")" | IsPresentKeyword<br />
- PreDefFunctionIdentifier ::= Identifier | IsPresentKeyword<br />
<br />
and one new rule introduced:<br />
<br />
- IsPresentKeyword ::= "ispresent"<br />
<br />
This approach would have the advantage that no new identifier needs to
be reserved, causing minimal backward compatibility issues for old
Testsuites, their semantics would stay unchanged.<br />
<br />
Alternatively, I would propose the new keyword 'present' instead of
using 'ispresent'. This would have the drawback that a new keyword needs
to be reserved (causing possible backward compatibility issues for old
testsuites,<br />
i.e. maintenance overhead for converting them to newer TTCN-3). But,
the<br />
PreDefFunctionIdentifier rule need not be changed in the BNF. For this
alternative, change all 'ispresent' occurrences in the above description
to 'present' and remove the change for the rule for
PreDefFunctionIdentifier.<br />
<br />
The name of the new modifier ispresent/present was chosen to match the
semantics of the already existing constructs 'ispresent(field)' and
'&lt;template&gt; ifpresent', where 'present' always means 'not omit'.
Thus, the semantics of the new construct would be easily understandable
for users of TTCN-3.</td>
</tr>
<tr class="odd print">
<td class="print-category">Steps To Reproduce</td>
<td colspan="5" class="print"></td>
</tr>
<tr class="even print">
<td class="print-category">Additional Information</td>
<td colspan="5" class="print">Section 16.1. about functions also needs
to be changed to align it with the BNF.<br />
In the section, only the keyword 'template' is allowed in the return
clause, but the BNF states, that it also allows a
'RestrictedTemplate'.<br />
</td>
</tr>
<tr class="odd print">
<td class="print-category">Tags</td>
<td colspan="5" class="print">No tags attached.</td>
</tr>
<tr class="even print">
<td class="print-category">Relationships</td>
<td colspan="5" class="print"></td>
</tr>
<tr class="odd print">
<td class="print-category">Attached Files</td>
<td colspan="5" class="print"><img
src="http://oldforge.etsi.org/mantis/images/fileicons/doc.gif"
alt="doc" /> TemplateRestrictions.doc (31,744) <span
class="italic">14-03-2008 12:23</span><br />
http://oldforge.etsi.org/mantis/file_download.php?file_id=1383&amp;type=bug<br />
<img src="http://oldforge.etsi.org/mantis/images/fileicons/generic.gif"
alt="?" /> PreciseTemplates.ttcn (7,076) <span class="italic">14-03-2008
16:03</span><br />
http://oldforge.etsi.org/mantis/file_download.php?file_id=1385&amp;type=bug<br />
<img src="http://oldforge.etsi.org/mantis/images/fileicons/zip.gif"
alt="zip" /> CR_2975_Allow_specification_of_non-optional_templates_02.zip
(848,125) <span class="italic">22-04-2008 12:24</span><br />
http://oldforge.etsi.org/mantis/file_download.php?file_id=1428&amp;type=bug<br />
<img src="http://oldforge.etsi.org/mantis/images/fileicons/zip.gif"
alt="zip" /> CR_2975_Allow_specification_of_non-optional_templates_03.zip
(831,254) <span class="italic">22-04-2008 16:15</span><br />
http://oldforge.etsi.org/mantis/file_download.php?file_id=1433&amp;type=bug<br />
<img src="http://oldforge.etsi.org/mantis/images/fileicons/doc.gif"
alt="doc" /> CR_2975_Allow_specification_of_non-optional_templates_04.doc
(1,650,176) <span class="italic">22-04-2008 19:53</span><br />
http://oldforge.etsi.org/mantis/file_download.php?file_id=1436&amp;type=bug<br />
<img src="http://oldforge.etsi.org/mantis/images/fileicons/generic.gif"
alt="?" /> TemplateRestrictionsTest.ttcn (14,519) <span
class="italic">22-04-2008 19:53</span><br />
http://oldforge.etsi.org/mantis/file_download.php?file_id=1437&amp;type=bug<br />
<img src="http://oldforge.etsi.org/mantis/images/fileicons/doc.gif"
alt="doc" /> CR_2975_Allow_specification_of_non-optional_templates_05.doc
(1,660,928) <span class="italic">23-04-2008 19:18</span><br />
http://oldforge.etsi.org/mantis/file_download.php?file_id=1448&amp;type=bug</td>
</tr>
<tr class="even">
<td colspan="6" class="print-spacer"><hr /></td>
</tr>
<tr class="odd">
<td class="form-title">Issue History</td>
<td></td>
<td></td>
<td></td>
<td></td>
<td></td>
</tr>
<tr class="even print-category">
<td class="row-category-history">Date Modified</td>
<td class="row-category-history">Username</td>
<td class="row-category-history">Field</td>
<td class="row-category-history">Change</td>
<td></td>
<td></td>
</tr>
<tr class="odd print">
<td class="print">04-03-2008 10:01</td>
<td class="print">user324</td>
<td class="print">New Issue</td>
<td class="print"></td>
<td></td>
<td></td>
</tr>
<tr class="even print">
<td class="print">04-03-2008 10:01</td>
<td class="print">user324</td>
<td class="print">Status</td>
<td class="print">new =&gt; assigned</td>
<td></td>
<td></td>
</tr>
<tr class="odd print">
<td class="print">04-03-2008 10:01</td>
<td class="print">user324</td>
<td class="print">Assigned To</td>
<td class="print">=&gt; Ina Schieferdecker</td>
<td></td>
<td></td>
</tr>
<tr class="even print">
<td class="print">04-03-2008 10:01</td>
<td class="print">user324</td>
<td class="print">Clause Reference(s)</td>
<td class="print">=&gt; A.1.6.5, A.1.6.1.4, 11.2, 5.4.1.2, 16.1</td>
<td></td>
<td></td>
</tr>
<tr class="odd print">
<td class="print">04-03-2008 10:01</td>
<td class="print">user324</td>
<td class="print">Source (company - Author)</td>
<td class="print">=&gt; Testing Technologies - Jacob Wieland</td>
<td></td>
<td></td>
</tr>
<tr class="even print">
<td class="print">10-03-2008 14:55</td>
<td class="print"><a
href="http://oldforge.etsi.org/mantis/view_user_page.php?id=112">Thomas
DeiÃŸ</a></td>
<td class="print">Note Added: 0005186</td>
<td class="print"></td>
<td></td>
<td></td>
</tr>
<tr class="odd print">
<td class="print">10-03-2008 14:55</td>
<td class="print"><a
href="http://oldforge.etsi.org/mantis/view_user_page.php?id=81">Ina
Schieferdecker</a></td>
<td class="print">Target Version</td>
<td class="print">=&gt; Edition 4.1.1 (not yet published)</td>
<td></td>
<td></td>
</tr>
<tr class="even print">
<td class="print">14-03-2008 12:23</td>
<td class="print"><a
href="http://oldforge.etsi.org/mantis/view_user_page.php?id=81">Ina
Schieferdecker</a></td>
<td class="print">File Added: TemplateRestrictions.doc</td>
<td class="print"></td>
<td></td>
<td></td>
</tr>
<tr class="odd print">
<td class="print">14-03-2008 16:03</td>
<td class="print"><a
href="http://oldforge.etsi.org/mantis/view_user_page.php?id=112">Thomas
DeiÃŸ</a></td>
<td class="print">File Added: PreciseTemplates.ttcn</td>
<td class="print"></td>
<td></td>
<td></td>
</tr>
<tr class="even print">
<td class="print">17-03-2008 09:47</td>
<td class="print">user324</td>
<td class="print">Note Added: 0005244</td>
<td class="print"></td>
<td></td>
<td></td>
</tr>
<tr class="odd print">
<td class="print">21-04-2008 08:54</td>
<td class="print"><a
href="http://oldforge.etsi.org/mantis/view_user_page.php?id=81">Ina
Schieferdecker</a></td>
<td class="print">Assigned To</td>
<td class="print">Ina Schieferdecker =&gt; Gyorgy Rethy</td>
<td></td>
<td></td>
</tr>
<tr class="even print">
<td class="print">21-04-2008 08:54</td>
<td class="print"><a
href="http://oldforge.etsi.org/mantis/view_user_page.php?id=81">Ina
Schieferdecker</a></td>
<td class="print">Target Version</td>
<td class="print">Edition 4.1.1 (not yet published) =&gt; Edition 3.4.1
(not yet published)</td>
<td></td>
<td></td>
</tr>
<tr class="odd print">
<td class="print">22-04-2008 12:24</td>
<td class="print"><a
href="http://oldforge.etsi.org/mantis/view_user_page.php?id=112">Thomas
DeiÃŸ</a></td>
<td class="print">File Added:
CR_2975_Allow_specification_of_non-optional_templates_02.zip</td>
<td class="print"></td>
<td></td>
<td></td>
</tr>
<tr class="even print">
<td class="print">22-04-2008 12:26</td>
<td class="print"><a
href="http://oldforge.etsi.org/mantis/view_user_page.php?id=112">Thomas
DeiÃŸ</a></td>
<td class="print">Note Added: 0005492</td>
<td class="print"></td>
<td></td>
<td></td>
</tr>
<tr class="odd print">
<td class="print">22-04-2008 15:58</td>
<td class="print"><a
href="http://oldforge.etsi.org/mantis/view_user_page.php?id=127">Gyorgy
Rethy</a></td>
<td class="print">File Added:
CR_2975_Allow_specification_of_non-optional_templates_03.zip</td>
<td class="print"></td>
<td></td>
<td></td>
</tr>
<tr class="even print">
<td class="print">22-04-2008 16:15</td>
<td class="print"><a
href="http://oldforge.etsi.org/mantis/view_user_page.php?id=127">Gyorgy
Rethy</a></td>
<td class="print">File Deleted:
CR_2975_Allow_specification_of_non-optional_templates_03.zip</td>
<td class="print"></td>
<td></td>
<td></td>
</tr>
<tr class="odd print">
<td class="print">22-04-2008 16:15</td>
<td class="print"><a
href="http://oldforge.etsi.org/mantis/view_user_page.php?id=127">Gyorgy
Rethy</a></td>
<td class="print">File Added:
CR_2975_Allow_specification_of_non-optional_templates_03.zip</td>
<td class="print"></td>
<td></td>
<td></td>
</tr>
<tr class="even print">
<td class="print">22-04-2008 16:17</td>
<td class="print"><a
href="http://oldforge.etsi.org/mantis/view_user_page.php?id=127">Gyorgy
Rethy</a></td>
<td class="print">Note Added: 0005497</td>
<td class="print"></td>
<td></td>
<td></td>
</tr>
<tr class="odd print">
<td class="print">22-04-2008 16:19</td>
<td class="print"><a
href="http://oldforge.etsi.org/mantis/view_user_page.php?id=127">Gyorgy
Rethy</a></td>
<td class="print">Note Added: 0005498</td>
<td class="print"></td>
<td></td>
<td></td>
</tr>
<tr class="even print">
<td class="print">22-04-2008 16:19</td>
<td class="print"><a
href="http://oldforge.etsi.org/mantis/view_user_page.php?id=127">Gyorgy
Rethy</a></td>
<td class="print">Assigned To</td>
<td class="print">Gyorgy Rethy =&gt; Thomas DeiÃŸ</td>
<td></td>
<td></td>
</tr>
<tr class="odd print">
<td class="print">22-04-2008 19:53</td>
<td class="print"><a
href="http://oldforge.etsi.org/mantis/view_user_page.php?id=112">Thomas
DeiÃŸ</a></td>
<td class="print">File Added:
CR_2975_Allow_specification_of_non-optional_templates_04.doc</td>
<td class="print"></td>
<td></td>
<td></td>
</tr>
<tr class="even print">
<td class="print">22-04-2008 19:53</td>
<td class="print"><a
href="http://oldforge.etsi.org/mantis/view_user_page.php?id=112">Thomas
DeiÃŸ</a></td>
<td class="print">File Added: TemplateRestrictionsTest.ttcn</td>
<td class="print"></td>
<td></td>
<td></td>
</tr>
<tr class="odd print">
<td class="print">22-04-2008 19:56</td>
<td class="print"><a
href="http://oldforge.etsi.org/mantis/view_user_page.php?id=112">Thomas
DeiÃŸ</a></td>
<td class="print">Note Added: 0005509</td>
<td class="print"></td>
<td></td>
<td></td>
</tr>
<tr class="even print">
<td class="print">22-04-2008 19:56</td>
<td class="print"><a
href="http://oldforge.etsi.org/mantis/view_user_page.php?id=112">Thomas
DeiÃŸ</a></td>
<td class="print">Assigned To</td>
<td class="print">Thomas DeiÃŸ =&gt; Ina Schieferdecker</td>
<td></td>
<td></td>
</tr>
<tr class="odd print">
<td class="print">23-04-2008 19:18</td>
<td class="print"><a
href="http://oldforge.etsi.org/mantis/view_user_page.php?id=81">Ina
Schieferdecker</a></td>
<td class="print">File Added:
CR_2975_Allow_specification_of_non-optional_templates_05.doc</td>
<td class="print"></td>
<td></td>
<td></td>
</tr>
<tr class="even print">
<td class="print">23-04-2008 19:19</td>
<td class="print"><a
href="http://oldforge.etsi.org/mantis/view_user_page.php?id=81">Ina
Schieferdecker</a></td>
<td class="print">Resolution</td>
<td class="print">open =&gt; fixed</td>
<td></td>
<td></td>
</tr>
<tr class="odd print">
<td class="print">23-04-2008 19:22</td>
<td class="print"><a
href="http://oldforge.etsi.org/mantis/view_user_page.php?id=81">Ina
Schieferdecker</a></td>
<td class="print">Status</td>
<td class="print">assigned =&gt; resolved</td>
<td></td>
<td></td>
</tr>
<tr class="even print">
<td class="print">24-04-2008 19:06</td>
<td class="print"><a
href="http://oldforge.etsi.org/mantis/view_user_page.php?id=81">Ina
Schieferdecker</a></td>
<td class="print">Status</td>
<td class="print">resolved =&gt; closed</td>
<td></td>
<td></td>
</tr>
<tr class="odd print">
<td class="print">24-04-2008 19:06</td>
<td class="print"><a
href="http://oldforge.etsi.org/mantis/view_user_page.php?id=81">Ina
Schieferdecker</a></td>
<td class="print">Fixed in Version</td>
<td class="print">=&gt; Edition 3.4.1 (not yet published)</td>
<td></td>
<td></td>
</tr>
</tbody>
</table>

  

<table class="width100" data-cellspacing="1">
<colgroup>
<col style="width: 50%" />
<col style="width: 50%" />
</colgroup>
<tbody>
<tr class="odd">
<td colspan="2" class="form-title">Notes</td>
</tr>
<tr class="even">
<td colspan="2" class="print-spacer"><hr /></td>
</tr>
<tr class="odd">
<td class="nopad" data-valign="top" width="20%"><table class="hide"
data-cellspacing="1">
<tbody>
<tr class="odd">
<td class="print">(0005186)</td>
</tr>
<tr class="even">
<td class="print"><a
href="http://oldforge.etsi.org/mantis/view_user_page.php?id=112">Thomas
DeiÃŸ</a>   </td>
</tr>
<tr class="odd">
<td class="print">10-03-2008 14:55   </td>
</tr>
</tbody>
</table></td>
<td class="nopad" data-valign="top" width="85%"><table class="hide"
data-cellspacing="1">
<colgroup>
<col style="width: 100%" />
</colgroup>
<tbody>
<tr class="odd">
<td class="print">related to introduction of restricted templates in
edition 3.3.<br />
Potentially related to discussion of usage of valueof.</td>
</tr>
</tbody>
</table></td>
</tr>
<tr class="even">
<td colspan="2" class="print-spacer"><hr /></td>
</tr>
<tr class="odd">
<td class="nopad" data-valign="top" width="20%"><table class="hide"
data-cellspacing="1">
<tbody>
<tr class="odd">
<td class="print">(0005244)</td>
</tr>
<tr class="even">
<td class="print">user324   </td>
</tr>
<tr class="odd">
<td class="print">17-03-2008 09:47   </td>
</tr>
</tbody>
</table></td>
<td class="nopad" data-valign="top" width="85%"><table class="hide"
data-cellspacing="1">
<colgroup>
<col style="width: 100%" />
</colgroup>
<tbody>
<tr class="odd">
<td class="print">I have a problem with the PreciceTemplates
example:<br />
<br />
template(omit) templates should also not be allowed to contain matching
mechanisms (i.e. no ifpresent and no complement, as used in your
examples), otherwise, you can pass such a template to a template(omit)
parameter of a generic template(value) template and still get a runtime
error if you send this 'value'.</td>
</tr>
</tbody>
</table></td>
</tr>
<tr class="even">
<td colspan="2" class="print-spacer"><hr /></td>
</tr>
<tr class="odd">
<td class="nopad" data-valign="top" width="20%"><table class="hide"
data-cellspacing="1">
<tbody>
<tr class="odd">
<td class="print">(0005492)</td>
</tr>
<tr class="even">
<td class="print"><a
href="http://oldforge.etsi.org/mantis/view_user_page.php?id=112">Thomas
DeiÃŸ</a>   </td>
</tr>
<tr class="odd">
<td class="print">22-04-2008 12:26   </td>
</tr>
</tbody>
</table></td>
<td class="nopad" data-valign="top" width="85%"><table class="hide"
data-cellspacing="1">
<colgroup>
<col style="width: 100%" />
</colgroup>
<tbody>
<tr class="odd">
<td class="print">STF349, Thomas:<br />
First draft for review. The major change is a new clause (15.8) on
template restrictions, some other changes are in the BNF and in the
explanation of template parameters.</td>
</tr>
</tbody>
</table></td>
</tr>
<tr class="even">
<td colspan="2" class="print-spacer"><hr /></td>
</tr>
<tr class="odd">
<td class="nopad" data-valign="top" width="20%"><table class="hide"
data-cellspacing="1">
<tbody>
<tr class="odd">
<td class="print">(0005497)</td>
</tr>
<tr class="even">
<td class="print"><a
href="http://oldforge.etsi.org/mantis/view_user_page.php?id=127">Gyorgy
Rethy</a>   </td>
</tr>
<tr class="odd">
<td class="print">22-04-2008 16:17   </td>
</tr>
</tbody>
</table></td>
<td class="nopad" data-valign="top" width="85%"><table class="hide"
data-cellspacing="1">
<tbody>
<tr class="odd">
<td class="print">Uploaded my comemnts in
CR_2975_Allow_specification_of_non-optional_templates_03.zip. There are
text enhancements only, no principal issues.</td>
</tr>
</tbody>
</table></td>
</tr>
<tr class="even">
<td colspan="2" class="print-spacer"><hr /></td>
</tr>
<tr class="odd">
<td class="nopad" data-valign="top" width="20%"><table class="hide"
data-cellspacing="1">
<tbody>
<tr class="odd">
<td class="print">(0005498)</td>
</tr>
<tr class="even">
<td class="print"><a
href="http://oldforge.etsi.org/mantis/view_user_page.php?id=127">Gyorgy
Rethy</a>   </td>
</tr>
<tr class="odd">
<td class="print">22-04-2008 16:19   </td>
</tr>
</tbody>
</table></td>
<td class="nopad" data-valign="top" width="85%"><table class="hide"
data-cellspacing="1">
<tbody>
<tr class="odd">
<td class="print">Thomas, I assigned it to you for review but Ina should
also review it.</td>
</tr>
</tbody>
</table></td>
</tr>
<tr class="even">
<td colspan="2" class="print-spacer"><hr /></td>
</tr>
<tr class="odd">
<td class="nopad" data-valign="top" width="20%"><table class="hide"
data-cellspacing="1">
<tbody>
<tr class="odd">
<td class="print">(0005509)</td>
</tr>
<tr class="even">
<td class="print"><a
href="http://oldforge.etsi.org/mantis/view_user_page.php?id=112">Thomas
DeiÃŸ</a>   </td>
</tr>
<tr class="odd">
<td class="print">22-04-2008 19:56   </td>
</tr>
</tbody>
</table></td>
<td class="nopad" data-valign="top" width="85%"><table class="hide"
data-cellspacing="1">
<colgroup>
<col style="width: 100%" />
</colgroup>
<tbody>
<tr class="odd">
<td class="print">Removed irrelevant clauses, rules in BNF that need to
be changed are highlighted, some minor corrections to changes proposed
by Gyorgy.<br />
Supplementary TTCN-3 file uploaded, this can be seen as tests for this
feature.<br />
<br />
After crosscheck by Ina, there should be another final crosscheck by
Gyorgy.</td>
</tr>
</tbody>
</table></td>
</tr>
</tbody>
</table>
