Eiffel Media API
Overview Cluster Class Classes Index      Previous Next      Top Features

kernel.spec.ise

Class KL_DOUBLE_ROUTINES


Direct ancestors

DOUBLE_MATH, KL_SHARED_PLATFORM

Features

Invariants

indexing

description

Routines that ought to be in class DOUBLE

library

Gobo Eiffel Kernel Library

copyright

Copyright (c) 2003, Eric Bezault and others

license

Eiffel Forum License v2 (see forum.txt)

date

$Date: 2005/06/04 20:00:11 $

revision

$Revision: 1.16 $

class

KL_DOUBLE_ROUTINES

inherit

KL_SHARED_PLATFORM

feature -- Access

platform: KL_PLATFORM

-- Platform-dependent properties

-- (From KL_SHARED_PLATFORM)

ensure
platform_not_void: Result /= Void

feature -- Conversion

floor_to_integer (d: DOUBLE): INTEGER

-- INTEGER floor
-- (floor returns integer in ELKS, but a floating point value with SE2)

require
d_large_enough: d >= Platform.Minimum_integer
d_small_enough: d < (Platform.Maximum_integer + 1.0)
ensure
definition: Result = d.floor
truncated_to_integer (d: DOUBLE): INTEGER

-- Integer part (Same sign, largest absolute
-- value no greater than current object's)

feature -- Logarithms

log (d: DOUBLE): DOUBLE

-- Natural logarithm of d

require
d_positive: d > 0.0
log10 (d: DOUBLE): DOUBLE

-- Base 10 logarithm of d

require
d_positive: d > 0.0
log2 (d: DOUBLE): DOUBLE

-- Base 2 logarithm of d

require
d_positive: d > 0.0

feature -- Exponent

exp (d: DOUBLE): DOUBLE

-- Inverse of the natural logarithm

nth_root (d, n: DOUBLE): DOUBLE

-- n-th root of d

require
divisible: (1.0).divisible (n)

feature -- Obsolete

platform_: KL_PLATFORM

-- Platform-dependent properties

-- (From KL_SHARED_PLATFORM)

obsolete

[040101] Use Platform instead.

ensure
platform_not_void: Result /= Void

invariant


-- From ANY
reflexive_equality: standard_is_equal (Current)
reflexive_conformance: conforms_to (Current)

end