home
wiki
classes/clusters list
class information
+
Point of view
C_PLUGIN
ANY
ID_PROVIDER
PLUGIN
NATIVE_PLUG_IN
STRING_COMMAND_LINE
CLASSES
MINI_BUFFER
COMPILE_TO_C
C_PRETTY_PRINTER
NATIVE_BUILT_IN
COMMAND_LINE_TOOLS
JVM
CLUSTER
SHORT_PRINTER
CLEAN
ECHO
C_PLUGIN
C_MODE
SERC_FACTORY
NATIVE_JAVA
VISITOR
SYSTEM_TOOLS
SMART_EIFFEL
COMPILE
SE
ACE
INSTALL
INTERNALS_HANDLER
All features
class SYSTEM_TOOLS
Summary
top
Singleton object to handle system dependant information. This singleton is shared via the
GLOBALS
.
system_tools
once function.
Only this object is supposed to handle contents of the
SmartEiffel
system environment variable.
You may also want to customize this class in order to support a new operating system (please let us know).
Direct parents
insert list:
DIRECTORY_NOTATION_HANDLER
,
GLOBALS
,
SINGLETON
Overview
top
creation features
make
make_install
exported features
system_name
:
STRING
system_flavor
:
STRING
config
:
SE_CONFIG
is_c_plus_plus_file_path
(path:
STRING
):
BOOLEAN
True when there
path
has one of the following suffix:
".cpp"
,
".cc"
, or
".C"
.
make_suffix
:
STRING
Suffix for make file produced by
compile_to_c
.
x_suffix
:
STRING
Executable files suffix.
object_suffix
:
STRING
Of object File produced by the C Compiler.
precompiled_header_suffix
:
STRING
Suffix for precompiled header.
append_c_linker_option
(arg:
STRING
)
append_c_compiler_option
(arg:
STRING
)
libraries_module
:
STRING
loaded_plugin
(location:
STRING
, name:
STRING
):
PLUGIN
precompile_header_supported
:
BOOLEAN
c_compiler
:
STRING
One item of
compiler_list
or
c_plus_plus_compiler_list
add_external_header_path
(path:
STRING
)
Append
path
to
external_header_path
taking into account how the current linker likes it to get this path.
add_external_lib
(lib:
STRING
)
Append
lib
to
external_lib
taking into account how the current linker likes it to get an additional library.
add_external_lib_path
(path:
STRING
)
Append
path
to
external_lib_path
taking into account how the current linker likes it to get this path.
system_name
:
STRING
writable attribute
top
system_flavor
:
STRING
writable attribute
top
config
:
SE_CONFIG
writable attribute
top
is_c_plus_plus_file_path
(path:
STRING
):
BOOLEAN
effective function
top
True when there
path
has one of the following suffix:
".cpp"
,
".cc"
, or
".C"
.
make_suffix
:
STRING
once function
top
Suffix for make file produced by
compile_to_c
.
x_suffix
:
STRING
once function
top
Executable files suffix.
ensure
Result /= Void
object_suffix
:
STRING
once function
top
Of object File produced by the C Compiler.
precompiled_header_suffix
:
STRING
once function
top
Suffix for precompiled header.
Void if none.
append_c_linker_option
(arg:
STRING
)
effective procedure
top
require
arg /= Void
append_c_compiler_option
(arg:
STRING
)
effective procedure
top
require
arg /= Void
libraries_module
:
STRING
effective function
top
loaded_plugin
(location:
STRING
, name:
STRING
):
PLUGIN
effective function
top
precompile_header_supported
:
BOOLEAN
effective function
top
require
c_compiler
/= Void
c_compiler
:
STRING
writable attribute
top
One item of
compiler_list
or
c_plus_plus_compiler_list
add_external_header_path
(path:
STRING
)
effective procedure
top
Append
path
to
external_header_path
taking into account how the current linker likes it to get this path.
If
path
appears to be already formatted, no formatting is added by this routine.
require
not path.is_empty
add_external_lib
(lib:
STRING
)
effective procedure
top
Append
lib
to
external_lib
taking into account how the current linker likes it to get an additional library.
If
lib
appears to be already formatted, no formatting is added by this routine.
require
not lib.is_empty
add_external_lib_path
(path:
STRING
)
effective procedure
top
Append
path
to
external_lib_path
taking into account how the current linker likes it to get this path.
If
path
appears to be already formatted, no formatting is added by this routine.
require
not path.is_empty