The tools suite. This cluster contains all the main classes used to implement the following tools:
This cluster also provides many utilities used by the tools:
ACE
and CLUSTER
provide for LACE features.
CLASS_TEXT
represents a
syntactic class, i.e. a tree of objects directly derived from
a source by the Eiffel
parser.
E_FEATURE
is the interface of
the tools/feature
component. It represents a syntactic feature (attribute,
command, query, once feature and so on) i.e. a tree of
objects directly derived from a source by the Eiffel parser.
TYPE_MARK
is the interface of the tools/type_mark
component. It
represents an Eiffel type.
EXPRESSION
is the interface of
the tools/expression
component. It represents an Eiffel expression, i.e. a
syntactic construction having a result type.
GLOBALS
allows the tools to share
singletons:
INSTRUCTION
is the interface
of the tools/instruction
component. It represents an Eiffel instruction.
LIVE_TYPE
represents a live
type, i.e. one to which some objects are assigned (either
via creation, assignment or feature call). For example,
ARRAY[INTEGER]
and ARRAY[STRING]
are two
different LIVE_TYPE
s sharing
the same CLASS_TEXT
.
RUN_FEATURE
represents a live
feature, i.e. a callable feature tailored for some
particular LIVE_TYPE
.
SMART_EIFFEL
manages the
compilation process.