[ 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