[ 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
- Author: Micha Meier, ECRC Munich
- Copyright © Cisco Systems, Inc
- Date: $Date: 2016/07/24 19:34:44 $
Generated from atts.eci on 2022-09-03 14:26