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

kernel.spec.ise

Class KL_OPERATING_SYSTEM


Known direct descendants

KL_STDIN_FILE, KL_STDOUT_FILE, KL_STDERR_FILE

Features

Invariants

indexing

description

Underlying operating systems

library

Gobo Eiffel Kernel Library

copyright

Copyright (c) 2001-2002, Eric Bezault and others

license

Eiffel Forum License v2 (see forum.txt)

date

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

revision

$Revision: 1.15 $

class

KL_OPERATING_SYSTEM

feature -- Status report

is_dotnet: BOOLEAN

-- Has this application been compiled with Eiffel for .NET?

is_unix: BOOLEAN

-- Is underlying operating system Unix-like?

is_windows: BOOLEAN

-- Is underlying operating system Windows-like?

invariant

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

end