REAL 64 (interface) - Revision history

Manus: Updated syntax highlighting

2007-05-08T17:40:18Z

Updated syntax highlighting

Manus: Do not use the language specification since `defaults to Eiffel`


2006-11-27T18:54:09Z
Do not use the language specification since <code> defaults to Eiffel

				
				
				
				
				
				← Older revision
				Revision as of 18:54, 27 November 2006
				
Line 4:
Line 4:
  ==Class Interface==   ==Class Interface==
    
− <code>[eiffel,N] + <code>indexing
− indexing + 
     description: "Real values, 64 bit precision"      description: "Real values, 64 bit precision"



Juliant at 18:22, 27 November 2006
2006-11-27T18:22:02Z


				
				
				
				
				
				← Older revision
				Revision as of 18:22, 27 November 2006
				
Line 137:
Line 137:
         -- Is current object not a number (NaN)?          -- Is current object not a number (NaN)?
       ensure        ensure
−        quiet_or_signaling: Result = is_quiet_nan xor is_signaling_nan +        quiet_or_signaling: Result = (is_quiet_nan xor is_signaling_nan)
    
     is_quiet_nan: BOOLEAN      is_quiet_nan: BOOLEAN
Line 148:
Line 148:
         -- Is current object infinity (INF)?          -- Is current object infinity (INF)?
       ensure        ensure
−        positive_or_negative: Result = is_positive_infinity xor is_negative_infinity +        positive_or_negative: Result = (is_positive_infinity xor is_negative_infinity)
    
     is_positive_infinity: BOOLEAN      is_positive_infinity: BOOLEAN



Juliant at 17:29, 27 November 2006
2006-11-27T17:29:14Z


				
				
				
				
				
				← Older revision
				Revision as of 17:29, 27 November 2006
				
Line 147:
Line 147:
     is_infinity: BOOLEAN      is_infinity: BOOLEAN
         -- Is current object infinity (INF)?          -- Is current object infinity (INF)?
  +     ensure
  +       positive_or_negative: Result = is_positive_infinity xor is_negative_infinity
    
     is_positive_infinity: BOOLEAN      is_positive_infinity: BOOLEAN



Juliant at 18:47, 22 November 2006
2006-11-22T18:47:15Z


				
				
				
				
				
				← Older revision
				Revision as of 18:47, 22 November 2006
				
Line 157:
Line 157:
         -- Is value of current object in range of minimum to maximum value of an INTEGER?          -- Is value of current object in range of minimum to maximum value of an INTEGER?
       ensure        ensure
−        not_special: Result implies not is_special +        not_special: Result implies not is_special_case
    
     is_in_integer_32_range: BOOLEAN      is_in_integer_32_range: BOOLEAN
         -- Is value of current object in range of minimum to maximum value of an INTEGER_32?          -- Is value of current object in range of minimum to maximum value of an INTEGER_32?
       ensure        ensure
−        not_special: Result implies not is_special +        not_special: Result implies not is_special_case
    
     is_in_integer_64_range: BOOLEAN      is_in_integer_64_range: BOOLEAN
         -- Is value of current object in range of minimum to maximum value of an INTEGER_64?          -- Is value of current object in range of minimum to maximum value of an INTEGER_64?
       ensure        ensure
−        not_special: Result implies not is_special +        not_special: Result implies not is_special_case
    
  feature -- Conversion   feature -- Conversion
Line 192:
Line 192:
         -- value no greater than current object's)          -- value no greater than current object's)
       ensure        ensure
−        same_sign: not is_special implies Result.sign = sign +        same_sign: not is_special_case implies Result.sign = sign
         definition: is_in_integer_range implies Result = floor          definition: is_in_integer_range implies Result = floor
    
Line 239:
Line 239:
         result_exists: Result /= Void          result_exists: Result /= Void
       ensure then        ensure then
−        result_correct: not divisble (other) implies Result.is_special +        result_correct: not divisble (other) implies Result.is_special_case
    
     infix "^" (other: NUMERIC): DOUBLE      infix "^" (other: NUMERIC): DOUBLE



Juliant at 17:32, 22 November 2006
2006-11-22T17:32:46Z


				
				
				
				
				
				← Older revision
				Revision as of 17:32, 22 November 2006
				
Line 136:
Line 136:
     is_nan: BOOLEAN      is_nan: BOOLEAN
         -- Is current object not a number (NaN)?          -- Is current object not a number (NaN)?
  +     ensure
  +       quiet_or_signaling: Result = is_quiet_nan xor is_signaling_nan
  + 
  +   is_quiet_nan: BOOLEAN
  +       -- Is current object a quiet NaN?
  + 
  +   is_signaling_nan: BOOLEAN
  +       -- Is current object a signaling NaN?
    
     is_infinity: BOOLEAN      is_infinity: BOOLEAN



Juliant at 17:19, 22 November 2006
2006-11-22T17:19:48Z


				
				
				
				
				
				← Older revision
				Revision as of 17:19, 22 November 2006
				
Line 129:
Line 129:
    
     is_special_case: BOOLEAN      is_special_case: BOOLEAN
−        -- Is current object an special case regarding numeric operations? +        -- Is current object a special case regarding numeric operations?
         -- (From NUMERIC.)          -- (From NUMERIC.)
       ensure then        ensure then



Juliant at 17:13, 22 November 2006
2006-11-22T17:13:54Z


				
				
				
				
				
				← Older revision
				Revision as of 17:13, 22 November 2006
				
Line 5:
Line 5:
    
  <code>[eiffel,N]   <code>[eiffel,N]
  + indexing
  +   description: "Real values, 64 bit precision"
  + 
  class interface REAL_64   class interface REAL_64
    



Juliant at 17:09, 22 November 2006
2006-11-22T17:09:14Z


				
				
				
				
				
				← Older revision
				Revision as of 17:09, 22 November 2006
				
Line 124:
Line 124:
           (other.conforms_to (Current) and (Current >= 0.0)))            (other.conforms_to (Current) and (Current >= 0.0)))
             implies Result              implies Result
  + 
  +   is_special_case: BOOLEAN
  +       -- Is current object an special case regarding numeric operations?
  +       -- (From NUMERIC.)
  +     ensure then
  +       nan_and_inf_are_special: Result implies is_nan or is_infinity
    
     is_nan: BOOLEAN      is_nan: BOOLEAN
Line 139:
Line 145:
     is_in_integer_range: BOOLEAN      is_in_integer_range: BOOLEAN
         -- Is value of current object in range of minimum to maximum value of an INTEGER?          -- Is value of current object in range of minimum to maximum value of an INTEGER?
  +     ensure
  +       not_special: Result implies not is_special
    
     is_in_integer_32_range: BOOLEAN      is_in_integer_32_range: BOOLEAN
         -- Is value of current object in range of minimum to maximum value of an INTEGER_32?          -- Is value of current object in range of minimum to maximum value of an INTEGER_32?
  +     ensure
  +       not_special: Result implies not is_special
    
     is_in_integer_64_range: BOOLEAN      is_in_integer_64_range: BOOLEAN
         -- Is value of current object in range of minimum to maximum value of an INTEGER_64?          -- Is value of current object in range of minimum to maximum value of an INTEGER_64?
  +     ensure
  +       not_special: Result implies not is_special
    
  feature -- Conversion   feature -- Conversion
Line 169:
Line 181:
         -- value no greater than current object's)          -- value no greater than current object's)
       ensure        ensure
−        same_sign: Result.sign = sign +        same_sign: not is_special implies Result.sign = sign
         definition: is_in_integer_range implies Result = floor          definition: is_in_integer_range implies Result = floor
    
Line 177:
Line 189:
         -- Absolute value          -- Absolute value
       ensure        ensure
−        non_negative: Result >= 0; +        non_negative: not is_nan implies Result >= 0;
         same_absolute_value: not is_nan implies (Result = Current) or (Result = - Current)          same_absolute_value: not is_nan implies (Result = Current) or (Result = - Current)
    
Line 216:
Line 228:
         result_exists: Result /= Void          result_exists: Result /= Void
       ensure then        ensure then
−        result_correct: not divisble (other) implies Result.is_nan or Result.is_infinity +        result_correct: not divisble (other) implies Result.is_special
    
     infix "^" (other: NUMERIC): DOUBLE      infix "^" (other: NUMERIC): DOUBLE
Line 253:
Line 265:
    
       -- From NUMERIC        -- From NUMERIC
−    neutral_addition: equal (Current + zero, Current); +    neutral_addition: not is_special_case implies equal (Current + zero, Current);
−    self_subtraction: equal (Current - Current, zero); +    self_subtraction: not is_special_case implies equal (Current - Current, zero);
−    neutral_multiplication: equal (Current * one, Current); +    neutral_multiplication: not is_special_case implies equal (Current * one, Current);
−    self_division: divisible (Current) implies equal (Current / Current, one) +    self_division: divisible not is_special_case implies (Current) implies equal (Current / Current, one)
    
  end   end



Juliant at 16:52, 22 November 2006
2006-11-22T16:52:35Z


				
				
				
				
				
				← Older revision
				Revision as of 16:52, 22 November 2006
				
Line 5:
Line 5:
    
  <code>[eiffel,N]   <code>[eiffel,N]
− class REAL_64 + class interface REAL_64
  +  
  + inherit
  +  
  +   NUMERIC
  +  
  +   COMPARABLE
  +  
  +   HASHABLE
    
  feature -- Access   feature -- Access
Line 239:
Line 247:
  invariant   invariant
    
  +   sign_times_abs: equal (sign * abs, Current)
  + 
  +     -- From COMPARABLE
     irreflexive_comparison: not (Current < Current);      irreflexive_comparison: not (Current < Current);
  + 
  +     -- From NUMERIC
     neutral_addition: equal (Current + zero, Current);      neutral_addition: equal (Current + zero, Current);
     self_subtraction: equal (Current - Current, zero);      self_subtraction: equal (Current - Current, zero);
     neutral_multiplication: equal (Current * one, Current);      neutral_multiplication: equal (Current * one, Current);
     self_division: divisible (Current) implies equal (Current / Current, one)      self_division: divisible (Current) implies equal (Current / Current, one)
−   sign_times_abs: equal (sign * abs, Current)  
    
  end   end

@@ Line 4: / Line 4: @@
 ==Class Interface==
-<code>indexing
+<eiffel>indexing
    description: "Real values, 64 bit precision"
@@ Line 283: / Line 283: @@
 end
-</code>
+</eiffel>
 ==Changes to ELKS 95==

← Older revision		Revision as of 17:13, 22 November 2006
Line 5:		Line 5:

	<code>[eiffel,N]		<code>[eiffel,N]
		+	indexing
		+	description: "Real values, 64 bit precision"
		+
	class interface REAL_64		class interface REAL_64

REAL 64 (interface) - Revision history

Manus: Updated syntax highlighting

Manus: Do not use the language specification since defaults to Eiffel

Juliant at 18:22, 27 November 2006

Juliant at 17:29, 27 November 2006

Juliant at 18:47, 22 November 2006

Juliant at 17:32, 22 November 2006

Juliant at 17:19, 22 November 2006

Juliant at 17:13, 22 November 2006

Juliant at 17:09, 22 November 2006

Juliant at 16:52, 22 November 2006

Manus: Do not use the language specification since `defaults to Eiffel`