REAL 64 (interface) - Revision history

Manus: Updated syntax highlighting

2007-05-08T17:40:18Z

Updated syntax highlighting

← Older revision		Revision as of 17:40, 8 May 2007
Line 4:		Line 4:
	==Class Interface==		==Class Interface==

	<~~code~~>indexing		<eiffel>indexing
	description: "Real values, 64 bit precision"		description: "Real values, 64 bit precision"

Line 283:		Line 283:

	end		end
	</~~code~~>		</eiffel>

	==Changes to ELKS 95==		==Changes to ELKS 95==

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

← 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"

← 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

← 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

← 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

← 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

← 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

← 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

← 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

← 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

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`