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

kernel.misc

Class KL_SHARED_PLATFORM


Known direct descendants

KL_CHARACTER_ROUTINES, KL_DOUBLE_ROUTINES, KL_INTEGER_ROUTINES, KL_STRING_ROUTINES, KS_STRING, KI_INPUT_FILE, UC_CHARACTER, UC_UNICODE_ROUTINES, UC_UNICODE_CONSTANTS, YY_PARSER_TOKENS, MA_DECIMAL_CONTEXT_CONSTANTS, MA_DECIMAL_CONSTANTS, RX_PCRE_COMPILER, ST_INTEGER_FORMATTER, TS_CONFIG_SCANNER_SKELETON, ET_FEATURE_CHECKER, ET_EIFFEL_SCANNER_SKELETON, ET_LACE_SCANNER_SKELETON, XM_DTD_ELEMENT_CONTENT, XM_EIFFEL_CHARACTER_ENTITY, XM_XPATH_FILTER_EXPRESSION, XM_XPATH_64BIT_NUMERIC_CODE, XM_XSLT_FORMAT_DATE_TIME, XM_XPATH_CONCAT, XM_XPATH_SECONDS_DURATION_VALUE, XM_XPATH_MONTHS_DURATION_VALUE, XM_XPATH_TAIL_EXPRESSION, XM_XPATH_VALUE_COMPARISON

Features

Invariants

indexing

description

Shared platform-dependent properties

pattern

Singleton

library

Gobo Eiffel Kernel Library

copyright

Copyright (c) 1999, Eric Bezault and others

license

Eiffel Forum License v2 (see forum.txt)

date

$Date: 2004/12/22 22:49:51 $

revision

$Revision: 1.4 $

class

KL_SHARED_PLATFORM

feature -- Access

platform: KL_PLATFORM

-- Platform-dependent properties

ensure
platform_not_void: Result /= Void

feature -- Obsolete

platform_: KL_PLATFORM

-- Platform-dependent properties

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