[ Reference Manual | Alphabetic Index ]

library(atts)

Variable attributes compatible with SICStus Prolog   [more]

Predicates

attribute(?)
No description available
atts_handlers_init
No description available
atts_subset(?, ?, ?)
No description available
get_atts(?, ?)
No description available
map_atts(?, ?)
No description available
put_atts(?, ?)
No description available

Reexports

reexport get_attributes / 4 from sepia_kernel
reexport replace_attribute / 3 from sepia_kernel

Other Exports

export op(1150, fx, [attribute])

Description

Implements SICStus-Prolog compatible attributes on variables, via mapping to native ECLiPSe attributes (one ECLiPSe attribute for each module that defines SICStus attributes).

Implements the predicates

get_atts(-Var, ?AccessSpec)
getting attributes
put_atts(-Var, +AccessSpec)
setting attributes
and allows the user definition of the hook predicates
verify_attributes(-Var, +Value, -Goals)
pre-unification hook, called as ECLiPSe's pre_unify handler
attribute_goal(-Var, -Goal)
allows to define an interpretation of the attribute as goal. If defined, it is also used as the print-handler for attributes.
ECLiPSe's toplevel makes no attempts to invoke any hooks.

About


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