<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
<html>
<head>
	<link rel="stylesheet" type="text/css" href="http://oldforge.etsi.org/mantis/css/default.css" />
	<script type="text/javascript"><!--
		if(document.layers) {document.write("<style>td{padding:0px;}<\/style>")}
	// --></script>
	<meta http-equiv="Content-type" content="text/html; charset=utf-8" />
	<meta http-equiv="Pragma" content="no-cache" />
	<meta http-equiv="Cache-Control" content="no-cache" />
	<meta http-equiv="Pragma-directive" content="no-cache" />
	<meta http-equiv="Cache-Directive" content="no-cache" />
	<meta http-equiv="Expires" content="Tue, 17 Dec 2024 09:19:31 GMT" />
	<link rel="shortcut icon" href="/mantis/images/favicon.ico" type="image/x-icon" />
	<link rel="search" type="application/opensearchdescription+xml" title="MantisBT: Text Search" href="http://oldforge.etsi.org/mantis/browser_search_plugin.php?type=text" />	<link rel="search" type="application/opensearchdescription+xml" title="MantisBT: Issue Id" href="http://oldforge.etsi.org/mantis/browser_search_plugin.php?type=id" />	<title>0002756: further restricting record of/string types - ETSI's Bug Tracker</title>
<script type="text/javascript" src="/mantis/javascript/min/common.js"></script>
<script type="text/javascript">var loading_lang = "Loading...";</script><script type="text/javascript" src="/mantis/javascript/min/ajax.js"></script>
</head>
<body>
<br /><table class="width100" cellspacing="1"><tr><td class="form-title" colspan="6"><div class="center">ETSI's Bug Tracker - Part 01: TTCN-3 Core Language</div></td></tr><tr><td class="form-title" colspan="6">View Issue Details</td></tr><tr><td class="print-spacer" colspan="6"><hr size="1" /></td></tr><tr class="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="print"><td class="print">0002756</td><td class="print">Part 01: TTCN-3 Core Language</td><td class="print">Clarification</td><td class="print">public</td><td class="print">23-01-2008 09:41</td><td class="print">09-07-2009 10:32</td></tr><tr><td class="print-spacer" colspan="6"><hr size="1" /></td></tr><tr class="print"><td class="print-category">Reporter</td><td class="print">Thomas DeiÃŸ</td><td class="print" colspan="4">&#160;</td></tr><tr class="print"><td class="print-category">Assigned To</td><td class="print">Gyorgy Rethy</td><td class="print" colspan="4">&#160;</td></tr><tr class="print"><td class="print-category">Priority</td><td class="print">normal</td><td class="print-category">Severity</td><td class="print">minor</td><td class="print-category">Reproducibility</td><td class="print">have not tried</td></tr><tr class="print"><td class="print-category">Status</td><td class="print">closed</td><td class="print-category">Resolution</td><td class="print">fixed</td><td class="print" colspan="2">&#160;</td></tr><tr class="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="print"><td class="print-category">Product Version</td><td class="print">v3.2.1 (published 2007-02)</td><td class="print" colspan="4">&#160;</td></tr><tr><td class="print-category">Target Version</td><td class="print">v4.2.1 (published 2010-07)</td><td class="print-category">Fixed in Version</td><td class="print">v4.2.1 (published 2010-07)</td><td class="print" colspan="2">&#160;</td></tr><tr class="print"><td class="print-category">Clause Reference(s)</td><td class="print" colspan="4">part 1, 6.2.3</td></tr><tr class="print"><td class="print-category">Source  (company  - Author)</td><td class="print" colspan="4">Thomas DeiÃŸ, Nokia Siemens Networks</td></tr><tr><td class="print-spacer" colspan="6"><hr size="1" /></td></tr><tr class="print"><td class="print-category">Summary</td><td class="print" colspan="5">0002756: further restricting record of/string types</td></tr><tr class="print"><td class="print-category">Description</td><td class="print" colspan="5">(applies also to edition 3.3.x)<br />
If a record of type is restricted, and this new type should be restricted further it is unclear which restrictions are allowed and what is there effect. Consider the following example:<br />
<br />
type record of charstring StringArray23 length(2 .. 3);<br />
type StringArray23 StringArray34 length(3 .. 4);<br />
<br />
The question is whether the restrictions used in the definition of the types StringArray34 are valid and what do these types actually mean.<br />
<br />
When restricting types by a value list (6.1.2.1) it is required explicitly that the value list is a true subtype of the base type, i.e. all the values in the list must be elements of the base type and the value list must not equal the base type. Does a similar restriction apply for record of or string types. If this would be the case than the example above would be invalid, as the length restriction length(3..4) contains values (records of with length 4) outside of StringArray23.<br />
<br />
One can assume that the meaning of StringArray34 are record of integer values with a length of exactly 3, satisfying both subtyping restrictions.<br />
<br />
If both subtyping restriction have to be satisfied instead of satisfying the innermost one (length (3..4)), and if there is no requirement similar to value lists, then it will be easily possible to declare empty types, i.e. types without a value. E.g. <br />
type StringArray23 StringArray56 length(5..6);<br />
would not contain any element.<br />
<br />
Although it is already possible to create empty types by mixing subtyping by patterns and the other subtyping mechanisms on character strings, I suggest to keep stricter subtyping for record of similar to value lists.<br />
Length restrictions of already restricted types have to be consistent with the already existing subtyping, independent of the subtyping mechanism used.<br />
<br />
Note, that even if these specific restrictions are considered as too strict, the issue has to be clarified in the standard in the one or other way.<br />
<br />
<br />
<br />
</td></tr><tr class="print"><td class="print-category">Steps To Reproduce</td><td class="print" colspan="5"></td></tr><tr class="print"><td class="print-category">Additional Information</td><td class="print" colspan="5"></td></tr><tr class="print"><td class="print-category">Tags</td><td class="print" colspan="5">No tags attached.</td></tr><tr class="print"><td class="print-category">Relationships</td><td class="print" colspan="5"></td></tr><tr class="print"><td class="print-category">Attached Files</td><td class="print" colspan="5"><img src="http://oldforge.etsi.org/mantis/images/fileicons/doc.gif" alt="doc" />&#160;CR2756_Subtyping.doc (348,160) <span class="italic">27-11-2008 15:22</span><br />http://oldforge.etsi.org/mantis/file_download.php?file_id=1823&amp;type=bug<br /><img src="http://oldforge.etsi.org/mantis/images/fileicons/doc.gif" alt="doc" />&#160;CR2756_Subtyping_02.doc (348,672) <span class="italic">28-11-2008 08:11</span><br />http://oldforge.etsi.org/mantis/file_download.php?file_id=1826&amp;type=bug<br /><img src="http://oldforge.etsi.org/mantis/images/fileicons/doc.gif" alt="doc" />&#160;CR2756_Subtyping_03.doc (32,256) <span class="italic">22-04-2009 13:55</span><br />http://oldforge.etsi.org/mantis/file_download.php?file_id=2106&amp;type=bug<br /><img src="http://oldforge.etsi.org/mantis/images/fileicons/doc.gif" alt="doc" />&#160;CR2756_Subtyping_04.doc (543,232) <span class="italic">02-07-2009 14:29</span><br />http://oldforge.etsi.org/mantis/file_download.php?file_id=2152&amp;type=bug<br /><img src="http://oldforge.etsi.org/mantis/images/fileicons/doc.gif" alt="doc" />&#160;CR2756_Subtyping_05.doc (560,128) <span class="italic">07-07-2009 17:29</span><br />http://oldforge.etsi.org/mantis/file_download.php?file_id=2180&amp;type=bug<br /><img src="http://oldforge.etsi.org/mantis/images/fileicons/doc.gif" alt="doc" />&#160;CR2756_Subtyping_06.doc (560,128) <span class="italic">09-07-2009 10:24</span><br />http://oldforge.etsi.org/mantis/file_download.php?file_id=2198&amp;type=bug</td></tr><tr><td class="print-spacer" colspan="6"><hr size="1" /></td></tr><tr><td class="form-title">Issue History</td></tr><tr class="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></tr><tr class="print"><td class="print">23-01-2008 09:41</td><td class="print"><a href="http://oldforge.etsi.org/mantis/view_user_page.php?id=112">Thomas DeiÃŸ</a></td><td class="print">New Issue</td><td class="print"></td></tr><tr class="print"><td class="print">23-01-2008 09:41</td><td class="print"><a href="http://oldforge.etsi.org/mantis/view_user_page.php?id=112">Thomas DeiÃŸ</a></td><td class="print">Status</td><td class="print">new =&gt; assigned</td></tr><tr class="print"><td class="print">23-01-2008 09:41</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"> =&gt; Ina Schieferdecker</td></tr><tr class="print"><td class="print">23-01-2008 09:41</td><td class="print"><a href="http://oldforge.etsi.org/mantis/view_user_page.php?id=112">Thomas DeiÃŸ</a></td><td class="print">Clause Reference(s)</td><td class="print"> =&gt; part 1, 6.2.3</td></tr><tr class="print"><td class="print">23-01-2008 09:41</td><td class="print"><a href="http://oldforge.etsi.org/mantis/view_user_page.php?id=112">Thomas DeiÃŸ</a></td><td class="print">Source  (company  - Author)</td><td class="print"> =&gt; Thomas DeiÃŸ, Nokia Siemens Networks</td></tr><tr class="print"><td class="print">09-05-2008 11:29</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></tr><tr class="print"><td class="print">20-05-2008 15:58</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: 0005761</td><td class="print"></td></tr><tr class="print"><td class="print">27-11-2008 15: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">File Added: CR2756_Subtyping.doc</td><td class="print"></td></tr><tr class="print"><td class="print">27-11-2008 15: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">Note Added: 0007483</td><td class="print"></td></tr><tr class="print"><td class="print">27-11-2008 15: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">Assigned To</td><td class="print">Ina Schieferdecker =&gt; Thomas DeiÃŸ</td></tr><tr class="print"><td class="print">28-11-2008 08:11</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: CR2756_Subtyping_02.doc</td><td class="print"></td></tr><tr class="print"><td class="print">28-11-2008 08:11</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: 0007488</td><td class="print"></td></tr><tr class="print"><td class="print">28-11-2008 08:11</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></tr><tr class="print"><td class="print">28-11-2008 13:07</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: 0007501</td><td class="print"></td></tr><tr class="print"><td class="print">28-11-2008 13:07</td><td class="print"><a href="http://oldforge.etsi.org/mantis/view_user_page.php?id=127">Gyorgy Rethy</a></td><td class="print">Target Version</td><td class="print">Edition 4.1.1 (not yet published) =&gt; Edition 4.2.1 (not yet published)</td></tr><tr class="print"><td class="print">09-12-2008 13:35</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></tr><tr class="print"><td class="print">20-04-2009 12:11</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">Gyorgy Rethy =&gt; Tibor CsÃ¶ndes</td></tr><tr class="print"><td class="print">22-04-2009 13:55</td><td class="print"><a href="http://oldforge.etsi.org/mantis/view_user_page.php?id=530">Tibor CsÃ¶ndes</a></td><td class="print">File Added: CR2756_Subtyping_03.doc</td><td class="print"></td></tr><tr class="print"><td class="print">22-04-2009 13:58</td><td class="print"><a href="http://oldforge.etsi.org/mantis/view_user_page.php?id=530">Tibor CsÃ¶ndes</a></td><td class="print">Note Added: 0008535</td><td class="print"></td></tr><tr class="print"><td class="print">22-04-2009 14:42</td><td class="print"><a href="http://oldforge.etsi.org/mantis/view_user_page.php?id=530">Tibor CsÃ¶ndes</a></td><td class="print">Assigned To</td><td class="print">Tibor CsÃ¶ndes =&gt; Gyorgy Rethy</td></tr><tr class="print"><td class="print">02-07-2009 14:22</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: 0008815</td><td class="print"></td></tr><tr class="print"><td class="print">02-07-2009 14:23</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 Edited: 0008815</td><td class="print"></td></tr><tr class="print"><td class="print">02-07-2009 14:25</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 Edited: 0008815</td><td class="print"></td></tr><tr class="print"><td class="print">02-07-2009 14:29</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: CR2756_Subtyping_04.doc</td><td class="print"></td></tr><tr class="print"><td class="print">02-07-2009 14:30</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; Ina Schieferdecker</td></tr><tr class="print"><td class="print">03-07-2009 13:41</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 Edited: 0008815</td><td class="print"></td></tr><tr class="print"><td class="print">03-07-2009 13:42</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 Edited: 0008815</td><td class="print"></td></tr><tr class="print"><td class="print">07-07-2009 17:28</td><td class="print"><a href="http://oldforge.etsi.org/mantis/view_user_page.php?id=81">Ina Schieferdecker</a></td><td class="print">Note Added: 0008856</td><td class="print"></td></tr><tr class="print"><td class="print">07-07-2009 17:29</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: CR2756_Subtyping_05.doc</td><td class="print"></td></tr><tr class="print"><td class="print">07-07-2009 17:29</td><td class="print"><a href="http://oldforge.etsi.org/mantis/view_user_page.php?id=81">Ina Schieferdecker</a></td><td class="print">Note Edited: 0008856</td><td class="print"></td></tr><tr class="print"><td class="print">07-07-2009 17:29</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></tr><tr class="print"><td class="print">09-07-2009 09:36</td><td class="print"><a href="http://oldforge.etsi.org/mantis/view_user_page.php?id=81">Ina Schieferdecker</a></td><td class="print">Note Edited: 0008856</td><td class="print"></td></tr><tr class="print"><td class="print">09-07-2009 09:49</td><td class="print"><a href="http://oldforge.etsi.org/mantis/view_user_page.php?id=81">Ina Schieferdecker</a></td><td class="print">Note Added: 0008879</td><td class="print"></td></tr><tr class="print"><td class="print">09-07-2009 09:50</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: CR2756_Subtyping_06.doc</td><td class="print"></td></tr><tr class="print"><td class="print">09-07-2009 10: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 Deleted: CR2756_Subtyping_06.doc</td><td class="print"></td></tr><tr class="print"><td class="print">09-07-2009 10:24</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: CR2756_Subtyping_06.doc</td><td class="print"></td></tr><tr class="print"><td class="print">09-07-2009 10:31</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></tr><tr class="print"><td class="print">09-07-2009 10:32</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></tr><tr class="print"><td class="print">09-07-2009 10:32</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 4.2.1 (not yet published)</td></tr><tr class="print"><td class="print">09-07-2009 10:32</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></tr></table>
<br />
<table class="width100" cellspacing="1">
<tr>
	<td class="form-title" colspan="2">
		Notes	</td>
</tr>
<tr>
	<td class="print-spacer" colspan="2">
		<hr size="1" />
	</td>
</tr>
<tr>
	<td class="nopad" valign="top" width="20%">
		<table class="hide" cellspacing="1">
		<tr>
			<td class="print">
				(0005761)
			</td>
		</tr>
		<tr>
			<td class="print">
				<a href="http://oldforge.etsi.org/mantis/view_user_page.php?id=112">Thomas DeiÃŸ</a>&#160;&#160;&#160;
			</td>
		</tr>
		<tr>
			<td class="print">
				20-05-2008 15:58&#160;&#160;&#160;
							</td>
		</tr>
		</table>
	</td>
	<td class="nopad" valign="top" width="85%">
		<table class="hide" cellspacing="1">
		<tr>
			<td class="print">
				Some types and questions:<br />
type record of charstring ro1 <br />
&#160;&#160;type record of ro1 ro2 length(3..5)<br />
&#160;&#160;<br />
&#160;&#160;type record of record of charstring ro3 length(3..5)<br />
&#160;&#160;<br />
&#160;&#160;type record of ro2 ro4 length(4..6)<br />
&#160;&#160;<br />
&#160;&#160;type record of ro1 ro5 ({&quot;a&quot;, &quot;b&quot;, &quot;c&quot;}, {&quot;abc&quot;})<br />
<br />
&#160;&#160;type ro1 t1 length(3..5)<br />
&#160;&#160;<br />
&#160;&#160;type ro1 t2 [0..10] length(3..5)<br />
&#160;&#160;type t2 t3 length(5..14)<br />
<br />
Given the types above, the part1 should provide their meaning:<br />
Is it correct that in 'ro3' the length restriction refers to the inner type (charstring)?<br />
The length restriction used in the definition of 'ro2', does it refer to the 'record of' or the charstring?<br />
A similar question can be asked for the defintion of type 't'.<br />
Eine Ã¤hnliche Frage stellt sich bei t1. In case the inner type is restricted, what does this imply for ro4: If there are several restrictions do all of them have to be valid, or does the outermost supersede the other ones.<br />
In case the outer type is restricted, is the type definiton for ro5 correct, can such a value list be used (I think so!).<br />
Then there is also clause 6.2.3, Note1: â€œNote that the innermost type can not be a set of or record ofâ€, is this just misleading or what is the real meaning of this note.			</td>
		</tr>
		</table>
	</td>
</tr>
<tr>
	<td class="print-spacer" colspan="2">
		<hr size="1" />
	</td>
</tr>
<tr>
	<td class="nopad" valign="top" width="20%">
		<table class="hide" cellspacing="1">
		<tr>
			<td class="print">
				(0007483)
			</td>
		</tr>
		<tr>
			<td class="print">
				<a href="http://oldforge.etsi.org/mantis/view_user_page.php?id=81">Ina Schieferdecker</a>&#160;&#160;&#160;
			</td>
		</tr>
		<tr>
			<td class="print">
				27-11-2008 15:23&#160;&#160;&#160;
							</td>
		</tr>
		</table>
	</td>
	<td class="nopad" valign="top" width="85%">
		<table class="hide" cellspacing="1">
		<tr>
			<td class="print">
				First draft uploaded - please check.			</td>
		</tr>
		</table>
	</td>
</tr>
<tr>
	<td class="print-spacer" colspan="2">
		<hr size="1" />
	</td>
</tr>
<tr>
	<td class="nopad" valign="top" width="20%">
		<table class="hide" cellspacing="1">
		<tr>
			<td class="print">
				(0007488)
			</td>
		</tr>
		<tr>
			<td class="print">
				<a href="http://oldforge.etsi.org/mantis/view_user_page.php?id=112">Thomas DeiÃŸ</a>&#160;&#160;&#160;
			</td>
		</tr>
		<tr>
			<td class="print">
				28-11-2008 08:11&#160;&#160;&#160;
							</td>
		</tr>
		</table>
	</td>
	<td class="nopad" valign="top" width="85%">
		<table class="hide" cellspacing="1">
		<tr>
			<td class="print">
				editorial corrections, otherwise ok.			</td>
		</tr>
		</table>
	</td>
</tr>
<tr>
	<td class="print-spacer" colspan="2">
		<hr size="1" />
	</td>
</tr>
<tr>
	<td class="nopad" valign="top" width="20%">
		<table class="hide" cellspacing="1">
		<tr>
			<td class="print">
				(0007501)
			</td>
		</tr>
		<tr>
			<td class="print">
				<a href="http://oldforge.etsi.org/mantis/view_user_page.php?id=127">Gyorgy Rethy</a>&#160;&#160;&#160;
			</td>
		</tr>
		<tr>
			<td class="print">
				28-11-2008 13:07&#160;&#160;&#160;
							</td>
		</tr>
		</table>
	</td>
	<td class="nopad" valign="top" width="85%">
		<table class="hide" cellspacing="1">
		<tr>
			<td class="print">
				Discussion shall be shifted to 2009 as there is already note 1 in clause 6.2.3 saying that in case of record of something the type restriction placed after the name of the newly defined type is related to the innermost type and not to the record of.			</td>
		</tr>
		</table>
	</td>
</tr>
<tr>
	<td class="print-spacer" colspan="2">
		<hr size="1" />
	</td>
</tr>
<tr>
	<td class="nopad" valign="top" width="20%">
		<table class="hide" cellspacing="1">
		<tr>
			<td class="print">
				(0008535)
			</td>
		</tr>
		<tr>
			<td class="print">
				<a href="http://oldforge.etsi.org/mantis/view_user_page.php?id=530">Tibor CsÃ¶ndes</a>&#160;&#160;&#160;
			</td>
		</tr>
		<tr>
			<td class="print">
				22-04-2009 13:58&#160;&#160;&#160;
							</td>
		</tr>
		</table>
	</td>
	<td class="nopad" valign="top" width="85%">
		<table class="hide" cellspacing="1">
		<tr>
			<td class="print">
				From CR2756_Subtyping_02.doc 6.3.5 copied to 6.2.13. Reference to table 3 and more examples added.			</td>
		</tr>
		</table>
	</td>
</tr>
<tr>
	<td class="print-spacer" colspan="2">
		<hr size="1" />
	</td>
</tr>
<tr>
	<td class="nopad" valign="top" width="20%">
		<table class="hide" cellspacing="1">
		<tr>
			<td class="print">
				(0008815)
			</td>
		</tr>
		<tr>
			<td class="print">
				<a href="http://oldforge.etsi.org/mantis/view_user_page.php?id=127">Gyorgy Rethy</a>&#160;&#160;&#160;
			</td>
		</tr>
		<tr>
			<td class="print">
				02-07-2009 14:22&#160;&#160;&#160;
				<br />(edited on:&#32;03-07-2009 13:42)			</td>
		</tr>
		</table>
	</td>
	<td class="nopad" valign="top" width="85%">
		<table class="hide" cellspacing="1">
		<tr>
			<td class="print">
				CR2756_Subtyping_04.doc:<br />
Proposed solution is essentially re-worked; examples agreed on the TTCN-3 CR resolution mtg. remained as they were, text and examples are added to cover all cases of subtyping of structured types and anytype (the reviewer to check this as well) and cleaned up (e.g. there were some mentioning of structured types subtyping in the clause about subtyping of basic types).<br />
All stuff about structured type and anytype subtyping is moved to a new clause 6.2.13.<br />
See CR2756_Subtyping_04.doc.<br />
PS: the bookmark to clause no. 6.1.2.6 is wrong, the last 6 is outside of the bookmark!<br />
<br />
			</td>
		</tr>
		</table>
	</td>
</tr>
<tr>
	<td class="print-spacer" colspan="2">
		<hr size="1" />
	</td>
</tr>
<tr>
	<td class="nopad" valign="top" width="20%">
		<table class="hide" cellspacing="1">
		<tr>
			<td class="print">
				(0008856)
			</td>
		</tr>
		<tr>
			<td class="print">
				<a href="http://oldforge.etsi.org/mantis/view_user_page.php?id=81">Ina Schieferdecker</a>&#160;&#160;&#160;
			</td>
		</tr>
		<tr>
			<td class="print">
				07-07-2009 17:28&#160;&#160;&#160;
				<br />(edited on:&#32;09-07-2009 09:36)			</td>
		</tr>
		</table>
	</td>
	<td class="nopad" valign="top" width="85%">
		<table class="hide" cellspacing="1">
		<tr>
			<td class="print">
				basically ok with one exception: need to discuss if empty types cause error or not<br />
<br />
some editorial changes<br />
<br />
			</td>
		</tr>
		</table>
	</td>
</tr>
<tr>
	<td class="print-spacer" colspan="2">
		<hr size="1" />
	</td>
</tr>
<tr>
	<td class="nopad" valign="top" width="20%">
		<table class="hide" cellspacing="1">
		<tr>
			<td class="print">
				(0008879)
			</td>
		</tr>
		<tr>
			<td class="print">
				<a href="http://oldforge.etsi.org/mantis/view_user_page.php?id=81">Ina Schieferdecker</a>&#160;&#160;&#160;
			</td>
		</tr>
		<tr>
			<td class="print">
				09-07-2009 09:49&#160;&#160;&#160;
							</td>
		</tr>
		</table>
	</td>
	<td class="nopad" valign="top" width="85%">
		<table class="hide" cellspacing="1">
		<tr>
			<td class="print">
				agreed that empty types lead to error			</td>
		</tr>
		</table>
	</td>
</tr>
</table>
</body>
</html>
