File: Real.py

package info (click to toggle)
erlang 1%3A19.2.1%2Bdfsg-2%2Bdeb9u3
  • links: PTS, VCS
  • area: main
  • in suites: stretch
  • size: 175,856 kB
  • sloc: erlang: 1,414,205; xml: 397,681; ansic: 345,439; cpp: 51,554; makefile: 23,040; java: 11,480; sh: 10,128; lisp: 9,231; python: 4,853; pascal: 3,273; perl: 2,970; asm: 2,900; javascript: 700; tcl: 245; sed: 86
file content (31 lines) | stat: -rw-r--r-- 904 bytes parent folder | download | duplicates (15)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
Real DEFINITIONS  ::=
BEGIN

-- F.2.4.1	
-- Use a real type to model an approximate number.
-- EXAMPLE

AngleInRadians ::=  REAL

pi   REAL ::= 
	{mantissa  3141592653589793238462643383279, base  10, exponent  -30}

-- F.2.4.2	
-- Application designers may wish to ensure full interworking with real 
-- values despite 
-- differences in floating point hardware, and in implementation 
-- decisions to use 
-- (for example) single or double length floating point for an application. 
-- This can be achieved by the following:
	App-X-Real ::= REAL (WITH COMPONENTS {
				mantissa (-16777215..16777215),
				base (2),
				exponent (-125..128) } )

--  Senders shall not transmit values outside these ranges
--  and conforming receivers shall be capable of receiving
--  and processing all values in these ranges.

	girth App-X-Real ::= {mantissa 16, base 2, exponent 1}

END