Package dk.brics.tajs.monitoring

Information collected during and after the analysis fixpoint computation.

See: Description

Interface Summary

Interface	Description
CompositeMonitoring.Factory<T>
IAnalysisMonitoring	Monitoring interface.

Class Summary

Class	Description
AnalysisTimeLimiter	A simple monitoring that will prevent the analysis from running more than a set time.
CompositeMonitoring	Composite, delegating, implementation of IAnalysisMonitoring.
DefaultAnalysisMonitoring	Default, empty, implementation of IAnalysisMonitoring.
MaxMemoryUsageMonitor
MemoryUsageDiagnosisMonitor	Measures different parts of the analysis state in order to diagnose memory usage.
MemoryUsageDiagnosisMonitor.Measurements
Monitoring	Records various information during analysis.
ObjReadsWrites	Read/write information for the properties of an abstract object.
PhaseMonitoring<PreScanMonitorType extends IAnalysisMonitoring,ScanMonitorType extends IAnalysisMonitoring>	Delegating monitor which has a monitor during the analysis-phase and another during the scan-phase.
ProgramExitReachabilityChecker	Monitor that checks whether dataflow appears at the ordinary/exceptional program exit at the end of the scan phase.
ProgressMonitor	Monitor for printing progress during analysis.
ProgressMonitor.PreScanProgressMonitor
ReachabilityChecker	Monitor that checks reachability of different kinds, throwing an assertion-error on missing reachability at the end of the scan-phase.
ReachabilityMonitor	Monitor for reachability information.
TAJSAssertionReachabilityCheckerMonitor	Monitor for checking TAJS_*-assertions are reachable at the end of the scan phase..
TogglableMonitor	Decorator monitor that can be toggled on and off.
TypeCollector	Collects abstract values for variable occurrences during the scanning phase of the analysis.
TypeCollector.VariableSummary	Tuple of a variable name, source location, and a context.

Enum Summary

Enum	Description
AnalysisPhase
ObjReadsWrites.R_Status	Read status of a property in the abstract object.
ObjReadsWrites.W_Status	Write status of a property in the abstract object.

Package dk.brics.tajs.monitoring Description

Information collected during and after the analysis fixpoint computation.