Package dk.brics.tajs.analysis.uneval

Interface between TAJS and the Unevalizer.

See: Description

Class Summary

Class	Description
Decorator
NormalForm	Represents an expression on normal form.
UnevalTools	Utility routines for the unevalizer parts.

Package dk.brics.tajs.analysis.uneval Description

Interface between TAJS and the Unevalizer.

Author:

Simon Holm Jensen <simonhj@cs.au.dk>