dk.brics.tajs.monitoring

Interfaces

• CompositeMonitoring.Factory
• IAnalysisMonitoring

Classes

• AnalysisTimeLimiter
• CompositeMonitoring
• DefaultAnalysisMonitoring
• MaxMemoryUsageMonitor
• MemoryUsageDiagnosisMonitor
• MemoryUsageDiagnosisMonitor.Measurements
• Monitoring
• ObjReadsWrites
• PhaseMonitoring
• ProgramExitReachabilityChecker
• ProgressMonitor
• ProgressMonitor.PreScanProgressMonitor
• ReachabilityChecker
• ReachabilityMonitor
• TAJSAssertionReachabilityCheckerMonitor
• TogglableMonitor
• TypeCollector
• TypeCollector.VariableSummary

Enums

• AnalysisPhase
• ObjReadsWrites.R_Status
• ObjReadsWrites.W_Status