[ Reference Manual | Alphabetic Index ]

# Syntax Settings

Operators, structures, macros, character classes

## 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.

Generated from syntax.eci on 2022-09-03 14:26