Package dk.brics.tajs.lattice

Representation of the analysis lattice.

See: Description

Interface Summary

Interface	Description
Bool	'Boolean' facet for abstract values.
HostAPI	Host API.
HostObject	Descriptor for object implemented directly in the analyzer.
Null	'Null' facet for abstract values.
Num	'Number' facet for abstract values.
Str	'String' facet for abstract values.
Undef	'Undefined' facet for abstract values.

Class Summary

Class	Description
AnalysisLatticeElement<BlockStateType extends BlockState<BlockStateType,CallContextType,CallEdgeType>,CallContextType extends ICallContext<CallContextType>,CallEdgeType extends CallEdge<BlockStateType>>	Global analysis lattice element.
BlockState<BlockStateType extends BlockState<BlockStateType,CallContextType,CallEdgeType>,CallContextType extends ICallContext<CallContextType>,CallEdgeType extends CallEdge<BlockStateType>>	Abstract state for block entries.
BlockState.Properties
CallEdge<BlockStateType extends BlockState<?,?,?>>	Information stored at an edge in a call graph.
ExecutionContext	Abstract execution context.
Obj	Abstract object.
ObjectLabel	Label of abstract object.
PropertyReference	Reference to an object property.
Renaming
ScopeChain	Abstract scope chain.
StateExtras
Summarized	Maybe/definitely summarized object label sets.
UnknownValueResolver	Resolves 'unknown' and polymorphic properties.
Value	Abstract value.

Enum Summary

Enum	Description
ObjectLabel.Kind	Object kinds.
PropertyReference.Kind	Kind of property being referenced.

Package dk.brics.tajs.lattice Description

Representation of the analysis lattice.

Author:

Anders Møller <amoeller@cs.au.dk>, Peter Thiemann <thiemann@informatik.uni-freiburg.de>