Syntax Settings

Predicates

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(?Name, -Struct)

Succeeds if Name is the name of a currently visible structure and Struct is its specification

erase_macro(+TransTerm, ++Options)

Erases the macro definition for TransTerm done in the current module

get_chtab(+Char, -Class)

Succeeds if the lexical class of character Char is Class.

local macro(++TermClass, ++TransPred, ++Options), export macro(++TermClass, ++TransPred, ++Options)

Defines a macro transformation for the functor or type specified by TermClass.

op(+Precedence, +Associativity, ++Name), local op(+Precedence, +Associativity, ++Name), export op(+Precedence, +Associativity, ++Name)

Declare operator syntax.

local portray(++TermClass, ++TransPred, ++Options), export portray(++TermClass, ++TransPred, ++Options)

Defines a portray transformation for the functor or type specified by TermClass.

local chtab(+Char, +Class), export chtab(+Char, +Class), set_chtab(+Char, +Class)

Sets the lexical class of character Char to class Class, this provides an interface to ECLiPSe 's lexical analyser.

local struct(++Prototype), export struct(++Prototype)

Declare a structure according to Prototype.