Package dk.brics.tajs.monitoring

Information collected during and after the analysis fixpoint computation.

See: Description

Class Summary

Class	Description
Monitoring<BlockStateType extends BlockState<BlockStateType,CallContextType,CallEdgeType>,CallContextType extends ICallContext<CallContextType>,CallEdgeType extends CallEdge<BlockStateType>>	Records various information during the scan phase of an analysis.
ObjReadsWrites	Reads and writes for an abstract object.
TypeCollector	Collects abstract values for variable occurrences during the scanning phase of the analysis.
TypeCollector.VariableSummary	Pair of a variable name and a source location.

Enum Summary

Enum	Description
ObjReadsWrites.R_Status
ObjReadsWrites.W_Status

Package dk.brics.tajs.monitoring Description

Information collected during and after the analysis fixpoint computation.