[Group Index|Full Index]
ECLiPSe Kernel: Environment
- abolish_op(+Name, +Associativity)
-
Remove the declaration of the visible operator +Name of associativity
Associativity.
- abort
-
The current computation is aborted and control is returned to the top
level.
- break
-
A new invocation of the top level loop is called as a subgoal.
- current_atom(?Atom)
-
Succeeds if Atom is an atom in the system.
- current_compiled_file(?File, ?Time, ?Module)
-
Succeeds if File is a file that has been compiled into the system.
- current_functor(?PredSpec)
-
Succeeds if PredSpec is a functor known to the system.
- current_macro(?TermClass, ?TransPred, ?Options, ?Module)
-
Succeeds if TermClass is a macro with the transformation predicate
TransPred defined in module Module and flags Options.
- current_op(?Precedence, ?Associativity, ?Name)
-
Succeeds if Name is a visible operator with precedence Precedence and
associativity Associativity.
- current_struct(?Struct)
-
Succeeds if Struct is a currently visible structure specification.
- define_macro(+TermClass, +TransPred, +Options)
-
Defines a macro transformation for the functor or type specified by
TermClass. The transformation predicate is TransPred and Options is a list
of options.
- env
-
Prints information about the current ECLiPSe environment on the current
output.
- erase_macro(+TransTerm)
-
Erases the macro definition for TransTerm done in the current module
- erase_macro(+TransTerm, +Options)
-
Erases the macro definition for TransTerm done in the current module
- garbage_collect
-
Request an immediate garbage collection.
- get_chtab(+Char, ?Class)
-
Succeeds if the lexical class of character Char is Class.
- get_flag(?Flag, ?Value)
-
Succeeds if the flag Flag has the value Value.
- help
-
Prints general help information on the current output.
- help(+PredSpec)
-
Prints help information on the specified built-ins in PredSpec on the
current output.
- make
-
Recompile all files that have been modified since their last compilation.
- op(+Precedence, +Associativity, +Name)
-
Defines the operator(s) Name with precedence Precedence and associativity
Associativity locally in the current module. Defining a local operator of
precedence 0 hides a global operator of the same associativity group
(postfix, infix or prefix).
- phrase(+Grammar, ?List)
-
Succeeds if List unifies with a list from the specified grammar Grammar.
- phrase(+Grammar, ?Tokens, ?Remainder)
-
Succeeds if Tokens can be parsed as part of the grammar defined in Grammar
and Remainder contains any remaining terms in Tokens.
- pred(+PredSpec)
-
The flags of the predicate described by PredSpec are printed out on the
current output.
- profile(+Goal)
-
Profile the goal and print the times spent in each predicate.
- profile(+Goal, +Flags)
-
Profile the goal and print the times spent in each predicate.
- set_chtab(+Char, +Class)
-
Sets the lexical class of character Char to class Class, this provides an
interface to ECLiPSe 's lexical analyser.
- set_flag(+Flag, +Value)
-
Succeeds if the flag Flag is successfully set to the value Value.
- statistics
-
Prints information about resource usage and garbage collection.
- statistics(?Keyword, ?Value)
-
Succeeds if the statistics item Keyword has value Value.
- local struct(++Prototype), export struct(++Prototype), global struct(++Prototype)
-
Declare a structure according to Prototype.