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.

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.