home
wiki
classes/clusters list
class information
+
Point of view
ANY
ANY
NATIVE_JAVA
VISITOR
SYSTEM_TOOLS
SMART_EIFFEL
COMPILE
SE
ACE
INSTALL
INTERNALS_HANDLER
All features
deferred class SE_CONFIG
Summary
top
Direct parents
insert list:
GLOBALS
Known children
inherit list:
SERC
,
SERC_CHAIN
Overview
top
exported features
bin
:
STRING
sys
:
STRING
short
:
STRING
os
:
STRING
flavor
:
STRING
jobs
:
INTEGER_32
jar
:
STRING
java_virtual_machine
:
STRING
java_compiler
:
STRING
environment
(var:
STRING
):
STRING
loadpaths_in
(loadpaths:
DICTIONARY
[
STRING
,
STRING
])
tools_in
(tools:
DICTIONARY
[
STRING
,
STRING
])
environment_in
(env:
DICTIONARY
[
STRING
,
STRING
])
c_mode
(a_c_mode:
STRING
):
SE_C_MODE
c_modes_in
(c_modes:
DICTIONARY
[
SE_C_MODE
,
STRING
])
bin
:
STRING
deferred function
top
sys
:
STRING
deferred function
top
short
:
STRING
deferred function
top
os
:
STRING
deferred function
top
flavor
:
STRING
deferred function
top
jobs
:
INTEGER_32
deferred function
top
jar
:
STRING
deferred function
top
java_virtual_machine
:
STRING
deferred function
top
java_compiler
:
STRING
deferred function
top
environment
(var:
STRING
):
STRING
deferred function
top
loadpaths_in
(loadpaths:
DICTIONARY
[
STRING
,
STRING
])
deferred procedure
top
require
loadpaths /= Void
tools_in
(tools:
DICTIONARY
[
STRING
,
STRING
])
deferred procedure
top
require
tools /= Void
environment_in
(env:
DICTIONARY
[
STRING
,
STRING
])
deferred procedure
top
require
env /= Void
c_mode
(a_c_mode:
STRING
):
SE_C_MODE
deferred function
top
require
not a_c_mode.is_empty
c_modes_in
(c_modes:
DICTIONARY
[
SE_C_MODE
,
STRING
])
deferred procedure
top
require
c_modes /= Void