<!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:18:59 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>0005507: Infinity is a real value - 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">0005507</td><td class="print">Part 01: TTCN-3 Core Language</td><td class="print">Clarification</td><td class="print">public</td><td class="print">07-04-2010 14:51</td><td class="print">22-07-2010 13:42</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">Gyorgy Rethy</td><td class="print" colspan="4">&#160;</td></tr><tr class="print"><td class="print-category">Assigned To</td><td class="print">Ina Schieferdecker</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">always</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">v4.1.1 (published 2009-06)</td><td class="print" colspan="4">&#160;</td></tr><tr><td class="print-category">Target Version</td><td class="print">v4.3.1 (published 2011-06)</td><td class="print-category">Fixed in Version</td><td class="print">v4.2.2 (interim 2010)</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">&#160;6.1.2.3</td></tr><tr class="print"><td class="print-category">Source  (company  - Author)</td><td class="print" colspan="4">L.M.Ericsson</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">0005507: Infinity is a real value</td></tr><tr class="print"><td class="print-category">Description</td><td class="print" colspan="5">the 3rd sentence says: &quot;In order to specify an infinite integer or float range, the keyword infinity may be used instead of a value indicating that there is no lower or upper boundary. &quot;<br />
<br />
The situation has changed with the introduction of the special values infinity, -infinity and not_a_number (pls. note, these values has been introduced primarily for language compatibility with XSD and ASN.1). When Â±infinity is used as a bound, Â±infinity itself should be included into the range but not_a_number should not.<br />
<br />
To exclude the Â±infinity special values but to have unrestricted bound for numeric values, the exclusive Â±infinity bound shall be used.</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"><table border="0" width="100%" cellpadding="0" cellspacing="1"><tr><td class="print"><span class="nowrap">related to</span>&#160;</td><td class="print">0005344</td><td class="print">closed&#160;</td><td class="print"><span class="nowrap"><a href="http://oldforge.etsi.org/mantis/view_user_page.php?id=81">Ina Schieferdecker</a></span>&#160;</td><td class="print">Part 01: TTCN-3 Core Language&#160;</td><td class="print">Introduce range subtyping boundaries excluding the boundaries themselves&#160;</td></tr><tr><td class="print"><span class="nowrap">related to</span>&#160;</td><td class="print">0005340</td><td class="print">closed&#160;</td><td class="print"><span class="nowrap"><a href="http://oldforge.etsi.org/mantis/view_user_page.php?id=127">Gyorgy Rethy</a></span>&#160;</td><td class="print">Part 09: Using XML with TTCN-3&#160;</td><td class="print">Incorrect mapping of the XSD double type&#160;</td></tr></table></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;CR5507_resolution_v1.doc (43,008) <span class="italic">29-06-2010 15:00</span><br />http://oldforge.etsi.org/mantis/file_download.php?file_id=2380&amp;type=bug<br /><img src="http://oldforge.etsi.org/mantis/images/fileicons/doc.gif" alt="doc" />&#160;CR5507_resolution_v2.doc (47,616) <span class="italic">30-06-2010 10:57</span><br />http://oldforge.etsi.org/mantis/file_download.php?file_id=2386&amp;type=bug<br /><img src="http://oldforge.etsi.org/mantis/images/fileicons/doc.gif" alt="doc" />&#160;CR5507_resolution_v3.doc (49,152) <span class="italic">01-07-2010 14:58</span><br />http://oldforge.etsi.org/mantis/file_download.php?file_id=2397&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">07-04-2010 14:51</td><td class="print"><a href="http://oldforge.etsi.org/mantis/view_user_page.php?id=127">Gyorgy Rethy</a></td><td class="print">New Issue</td><td class="print"></td></tr><tr class="print"><td class="print">07-04-2010 14:51</td><td class="print"><a href="http://oldforge.etsi.org/mantis/view_user_page.php?id=127">Gyorgy Rethy</a></td><td class="print">Clause Reference(s)</td><td class="print"> =&gt;  6.1.2.3</td></tr><tr class="print"><td class="print">07-04-2010 14:51</td><td class="print"><a href="http://oldforge.etsi.org/mantis/view_user_page.php?id=127">Gyorgy Rethy</a></td><td class="print">Source  (company  - Author)</td><td class="print"> =&gt; L.M.Ericsson</td></tr><tr class="print"><td class="print">18-05-2010 08:47</td><td class="print"><a href="http://oldforge.etsi.org/mantis/view_user_page.php?id=127">Gyorgy Rethy</a></td><td class="print">Description Updated</td><td class="print"></td></tr><tr class="print"><td class="print">18-05-2010 10:27</td><td class="print"><a href="http://oldforge.etsi.org/mantis/view_user_page.php?id=127">Gyorgy Rethy</a></td><td class="print">Description Updated</td><td class="print"></td></tr><tr class="print"><td class="print">28-06-2010 16: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">Relationship added</td><td class="print">related to 0005344</td></tr><tr class="print"><td class="print">28-06-2010 16:36</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: 0009393</td><td class="print"></td></tr><tr class="print"><td class="print">28-06-2010 16:36</td><td class="print"><a href="http://oldforge.etsi.org/mantis/view_user_page.php?id=127">Gyorgy Rethy</a></td><td class="print">Status</td><td class="print">new =&gt; assigned</td></tr><tr class="print"><td class="print">28-06-2010 16:36</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"> =&gt; Ina Schieferdecker</td></tr><tr class="print"><td class="print">28-06-2010 16:40</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: 0009394</td><td class="print"></td></tr><tr class="print"><td class="print">29-06-2010 09: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">Relationship added</td><td class="print">related to 0005340</td></tr><tr class="print"><td class="print">29-06-2010 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: 0009394</td><td class="print"></td></tr><tr class="print"><td class="print">29-06-2010 11:47</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: 0009404</td><td class="print"></td></tr><tr class="print"><td class="print">29-06-2010 11:47</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"> =&gt; Edition 4.3.1 (not yet published)</td></tr><tr class="print"><td class="print">29-06-2010 12:01</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: 0009404</td><td class="print"></td></tr><tr class="print"><td class="print">29-06-2010 14:00</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: 0009406</td><td class="print"></td></tr><tr class="print"><td class="print">29-06-2010 15:00</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: CR5507_resolution_v1.doc</td><td class="print"></td></tr><tr class="print"><td class="print">29-06-2010 15:01</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: 0009407</td><td class="print"></td></tr><tr class="print"><td class="print">29-06-2010 15:03</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">29-06-2010 15:12</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">29-06-2010 15:12</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.2 (not yet published)</td></tr><tr class="print"><td class="print">29-06-2010 15:14</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: 0009410</td><td class="print"></td></tr><tr class="print"><td class="print">29-06-2010 15:20</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: 0009410</td><td class="print"></td></tr><tr class="print"><td class="print">29-06-2010 16:04</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: 0009410</td><td class="print"></td></tr><tr class="print"><td class="print">29-06-2010 16:05</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: 0009410</td><td class="print"></td></tr><tr class="print"><td class="print">29-06-2010 16:06</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: 0009410</td><td class="print"></td></tr><tr class="print"><td class="print">30-06-2010 10:57</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: CR5507_resolution_v2.doc</td><td class="print"></td></tr><tr class="print"><td class="print">30-06-2010 10: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">Note Added: 0009424</td><td class="print"></td></tr><tr class="print"><td class="print">30-06-2010 10:59</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">01-07-2010 14: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">Note Added: 0009449</td><td class="print"></td></tr><tr class="print"><td class="print">01-07-2010 14:10</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: CR5507_resolution_v3.doc</td><td class="print"></td></tr><tr class="print"><td class="print">01-07-2010 14:10</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">01-07-2010 14:56</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: CR5507_resolution_v3.doc</td><td class="print"></td></tr><tr class="print"><td class="print">01-07-2010 14:56</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: CR5507_resolution_v3.doc</td><td class="print"></td></tr><tr class="print"><td class="print">01-07-2010 14:58</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: CR5507_resolution_v3.doc</td><td class="print"></td></tr><tr class="print"><td class="print">01-07-2010 14:58</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: CR5507_resolution_v3.doc</td><td class="print"></td></tr><tr class="print"><td class="print">01-07-2010 15:18</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: 0009453</td><td class="print"></td></tr><tr class="print"><td class="print">01-07-2010 15:18</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: 0009454</td><td class="print"></td></tr><tr class="print"><td class="print">01-07-2010 15: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 Edited: 0009454</td><td class="print"></td></tr><tr class="print"><td class="print">01-07-2010 15: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 Edited: 0009454</td><td class="print"></td></tr><tr class="print"><td class="print">01-07-2010 15:20</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: 0009454</td><td class="print"></td></tr><tr class="print"><td class="print">01-07-2010 15:20</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 Deleted: 0009453</td><td class="print"></td></tr><tr class="print"><td class="print">01-07-2010 15:20</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">01-07-2010 15:20</td><td class="print"><a href="http://oldforge.etsi.org/mantis/view_user_page.php?id=127">Gyorgy Rethy</a></td><td class="print">Status</td><td class="print">assigned =&gt; resolved</td></tr><tr class="print"><td class="print">22-07-2010 13:42</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">
				(0009393)
			</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-06-2010 16:36&#160;&#160;&#160;
							</td>
		</tr>
		</table>
	</td>
	<td class="nopad" valign="top" width="85%">
		<table class="hide" cellspacing="1">
		<tr>
			<td class="print">
				Check in ASN.1<br />
Add exclusive bound for infinity in BNF			</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">
				(0009394)
			</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">
				28-06-2010 16:40&#160;&#160;&#160;
				<br />(edited on:&#32;29-06-2010 09:36)			</td>
		</tr>
		</table>
	</td>
	<td class="nopad" valign="top" width="85%">
		<table class="hide" cellspacing="1">
		<tr>
			<td class="print">
				Unfortunately, the BNF for exclusive ranges were not updated accordingly:<br />
<br />
147. LowerBound ::= ([!] SingleConstExpression) | (Minus InfinityKeyword)<br />
148. UpperBound ::= ([!] SingleConstExpression) | InfinityKeyword<br />
<br />
see also 5344 ... wording is missing as well <br />
<br />
5344 was overruled by 5340 ... however text of 5340 needs to be included<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">
				(0009404)
			</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">
				29-06-2010 11:47&#160;&#160;&#160;
				<br />(edited on:&#32;29-06-2010 12:01)			</td>
		</tr>
		</table>
	</td>
	<td class="nopad" valign="top" width="85%">
		<table class="hide" cellspacing="1">
		<tr>
			<td class="print">
				There are two options:<br />
(0.0 .. infinity) includes the infinity special value<br />
(0.0 .. !infinity) excludes the infinity special value<br />
----------------------<br />
both the above syntaxes do exclude the infinity special value<br />
<br />
To be considered<br />
- before deciding ASN.1 and XSD shall be checked on this respect<br />
- in the current text an example implies that infinity shall be included in the range!<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">
				(0009406)
			</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">
				29-06-2010 14:00&#160;&#160;&#160;
							</td>
		</tr>
		</table>
	</td>
	<td class="nopad" valign="top" width="85%">
		<table class="hide" cellspacing="1">
		<tr>
			<td class="print">
				Another issue is discovered related to this:<br />
CR5340 introduced the infinity, -infinity and not_a_number and it's resolution contained:<br />
(from CR5340_resolution_P1_v3.doc)<br />
2. FloatValue ::= FloatDotNotation | FloatENotation | InfinityKeyword | NaNKeyword<br />
3. NaNKeyword ::= &quot;not_a_number&quot;<br />
<br />
Unfortunately, during implementation of this CR the agreed solution somehow changed to:<br />
(from es_20187301v040201m.doc)<br />
488. FloatValue ::= FloatDotNotation | FloatENotation | NaNKeyword<br />
489. NaNKeyword ::= &quot;not_a_number&quot;<br />
<br />
This editorial omission shall be corrected ASAP.			</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">
				(0009407)
			</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">
				29-06-2010 15:01&#160;&#160;&#160;
							</td>
		</tr>
		</table>
	</td>
	<td class="nopad" valign="top" width="85%">
		<table class="hide" cellspacing="1">
		<tr>
			<td class="print">
				CR5340 and 5344 reviewed for consistency and needed additions identified - text for defining the meaning of float ranges with infinity added. 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">
				(0009410)
			</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">
				29-06-2010 15:14&#160;&#160;&#160;
				<br />(edited on:&#32;29-06-2010 16:06)			</td>
		</tr>
		</table>
	</td>
	<td class="nopad" valign="top" width="85%">
		<table class="hide" cellspacing="1">
		<tr>
			<td class="print">
				The current language mapping do rely on the behaviour proposed in the CR.<br />
I have checked in ASN.1: PLUS-INFINITY, MINUS-INFINITY and NOT-A-NUMBER are not handled in a special way, they may be part of a range constraint, in which case, if the boundary is not exclusive, the special values themselves are also part of the range. Part-7 is consistent with this, i.e. it assumes that (&lt;anything&gt;..infinity) includes infinity itself. If this assumption is changed, the mapping has to be changed too.<br />
<br />
In XSD: special values positive and negative infinity and not-a-number are not handled in a special way except the range specification. Part-9 is consistent with this, i.e. maxInclusive = &quot;infinity&quot; is mapped to (&lt;anything&gt;..infinity).  If the assumption that (&lt;anything&gt;..infinity) contains the infinity value is changed, the mapping has to be changed too.<br />
<br />
FROM X.680:<br />
21.3 The abstract values of the real type are the special values PLUS-INFINITY, MINUS-INFINITY, and NOT-A-NUMBER together with numeric real numbers consisting of either plus zero or minus zero, or capable of being specified by the following formula involving three integers, M, B and E: M x BE &lt;etc.&gt;<br />
<br />
51.4.2 A &quot;ValueRange&quot; specifies ...<br />
NOTE â€“ For the purpose of subtyping, NOT-A-NUMBER exceeds all real values, PLUS-INFINITY exceeds all real values except NOT-A-NUMBER, minus zero exceeds all negative real values and is less than plus zero, and MINUS-INFINITY is less than all real values. Otherwise, normal mathematical ordering is applied.<br />
<br />
51.4.3 Each endpoint of the range is either closed (in which case that endpoint is specified) or open (in which case the endpoint is not specified). When open, the specification of the endpoint includes a less-than symbol (&quot;&lt;&quot;):<br />
LowerEndpoint ::= LowerEndValue | LowerEndValue &quot;&lt;&quot;<br />
UpperEndpoint ::= UpperEndValue | &quot;&lt;&quot; UpperEndValue<br />
<br />
<br />
<br />
FROM XSD, Part-2:<br />
[Definition:]  float is patterned after the IEEE single-precision 32-bit floating point type [IEEE 754-1985]. The basic Â·value spaceÂ· of float consists of the values m Ã— 2^e, where m is an integer whose absolute value is less than 2^24, and e is an integer between -149 and 104, inclusive. In addition to the basic Â·value spaceÂ· described above, the Â·value spaceÂ· of float also contains the following three special values: positive and negative infinity and not-a-number (NaN). The Â·order-relationÂ· on float is: x &lt; y iff y - x is positive for x and y in the value space. Positive infinity is greater than all other non-NaN values. NaN equals itself but is Â·incomparableÂ· with (neither greater than nor less than) any other value in the Â·value spaceÂ·.<br />
Any value Â·incomparableÂ· with the value used for the four bounding facets (Â·minInclusiveÂ·, Â·maxInclusiveÂ·, Â·minExclusiveÂ·, and Â·maxExclusiveÂ·) will be excluded from the resulting restricted Â·value spaceÂ·. In particular, when &quot;NaN&quot; is used as a facet value for a bounding facet, since no other float values are Â·comparableÂ· with it, the result is a Â·value spaceÂ· either having NaN as its only member (the inclusive cases) or that is empty (the exclusive cases). If any other value is used for a bounding facet, NaN will be excluded from the resulting restricted Â·value spaceÂ·; to add NaN back in requires union with the NaN-only space.<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">
				(0009424)
			</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">
				30-06-2010 10:58&#160;&#160;&#160;
							</td>
		</tr>
		</table>
	</td>
	<td class="nopad" valign="top" width="85%">
		<table class="hide" cellspacing="1">
		<tr>
			<td class="print">
				Solution is OK in principle. I have extended the proposed text in CR5507_resolution_v2.doc to cover all possible cases in detail. Pls. 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">
				(0009449)
			</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">
				01-07-2010 14:06&#160;&#160;&#160;
							</td>
		</tr>
		</table>
	</td>
	<td class="nopad" valign="top" width="85%">
		<table class="hide" cellspacing="1">
		<tr>
			<td class="print">
				If [-infinity..-infinity] is to be allowed for float, the BNF has to be extended - see v3			</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">
				(0009454)
			</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">
				01-07-2010 15:18&#160;&#160;&#160;
				<br />(edited on:&#32;01-07-2010 15:20)			</td>
		</tr>
		</table>
	</td>
	<td class="nopad" valign="top" width="85%">
		<table class="hide" cellspacing="1">
		<tr>
			<td class="print">
				Its OK but one comment to the BNF changes: exclusive mark shall be uotside of the brackets, they can be used with Â± infinity as well:<br />
1. LowerBound ::= [&quot;!&quot;]( SingleConstExpression | [Minus] InfinityKeyword )<br />
2. UpperBound ::= [&quot;!&quot;]( SingleConstExpression | [Minus] InfinityKeyword )<br />
<br />
			</td>
		</tr>
		</table>
	</td>
</tr>
</table>
</body>
</html>
