An attribute of a node type T with value of type U which has a circular
definition.
Support for parameterised attributes: argument, node pair comparison.
Define a circular attribute of T nodes of type U by the function f.
Define a circular attribute of T nodes of type U by the function f.
f is allowed to depend on the value of this attribute, which will be
given by init initially and will be evaluated iteratively until a
fixed point is reached (in conjunction with other circular attributes
on which it depends). The final value is cached.
Define an attribute of T nodes of type U given by the constant value u.
Define an attribute of T nodes of type U given by the constant value u.
u is evaluated at most once.
Initialise the Attributable tree rooted at t so that it is ready for
attribution.
Initialise the Attributable tree rooted at t so that it is ready for
attribution. At present, the only initialisation performed is to set node
attributes such as parent and children so that nodes can generically refer
to their neighbours. If you wish to use any of these properties, you must
call this method before doing so. Otherwise, the node properties should
not be used and there is no need to call this method.
Base support for attribution of syntax trees in a functional style. Includes circular attributes but needs to be augmented with basic attributes and parameterised attributes.