General Information
Tutorials
Reference Manuals
Libraries
Translation Tasks
Tools
Administration
|
|
New Features of Eli Version 4.9
A new module has been added to the Type library to solve the
following kind of problems:
There are language constructs which need to set a property of an entity
that depends on a property of another entity. If the order of accessing
and setting the properties depends on the particular program, those
operations can not be specified by dependent computations in trees,
rather a program dependent mechanism is needed. An example for such
a construct is a variable declaration of the form
like a b;
The variable b is declared to have the same type as the variable
a has. A program may have arbitrary long chains of such type references,
which may occur in any order.
This module provides a worklist algorithm to solve such problems:
Tree computations create worklist tasks, which try to access and set certain
properties as described by call-back functions, and store them on the worklist.
They are re-executed in sweeps through the worklist until no further task
can be completed
(see Program-Dependent Property Computation of Specification Modules).
|
