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

kernel.spec.ise

Class KL_EIFFEL_COMPILER



Features

Invariants

indexing

description

Eiffel compiler used to compile this program

library

Gobo Eiffel Kernel Library

copyright

Copyright (c) 2001, Eric Bezault and others

license

Eiffel Forum License v2 (see forum.txt)

date

$Date: 2004/11/14 15:09:43 $

revision

$Revision: 1.7 $

class

KL_EIFFEL_COMPILER

feature -- Access

hact_vendor: STRING

-- Halstenbach vendor

obsolete

[040922] HACT not supported anymore.

ensure
vendor_not_void: Result /= Void
ise_vendor: STRING

-- ISE Eiffel vendor

se_vendor: STRING

-- SmartEiffel vendor

ve_vendor: STRING

-- Visual Eiffel vendor

vendor: STRING

-- Vendor of Eiffel compiler used to compiled this program

ensure
vendor_not_void: Result /= Void

feature -- Status report

is_hact: BOOLEAN

-- Has this program been compiled with Halstenbach?

obsolete

[040922] HACT not supported anymore.

ensure
definition: not Result
is_ise: BOOLEAN

-- Has this program been compiled with ISE Eiffel?

ensure
definition: Result = (vendor = ise_vendor)
is_se: BOOLEAN

-- Has this program been compiled with SmartEiffel?

ensure
definition: Result = (vendor = se_vendor)
is_ve: BOOLEAN

-- Has this program been compiled with Visual Eiffel?

ensure
definition: Result = (vendor = ve_vendor)

invariant

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

end