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

kernel.misc

Class KL_SHARED_EXECUTION_ENVIRONMENT


Known direct descendants

EM_STANDARD_BMP_FONTS, EM_STANDARD_TTF_FONTS, TS_TESTCASES, TS_ASSERTION_ROUTINES, ET_CLUSTER, ET_UNIVERSE, ET_EIFFEL_SCANNER_SKELETON, ET_XACE_GENERATOR, ET_XACE_PARSER_SKELETON, XM_CATALOG_BOOTSTRAP_RESOLVER, XM_CATALOG_MANAGER, XM_XSLT_SYSTEM_PROPERTY

Features

Invariants

indexing

description

Shared execution environment facilities

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: 2003/02/07 12:50:16 $

revision

$Revision: 1.3 $

class

KL_SHARED_EXECUTION_ENVIRONMENT

feature -- Access

execution_environment: KL_EXECUTION_ENVIRONMENT

-- Execution environment

ensure
execution_environment_not_void: Result /= Void

invariant

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

end