dk.brics.tajs.monitoring

Class MaxMemoryUsageMonitor

java.lang.Object

dk.brics.tajs.monitoring.DefaultAnalysisMonitoring

dk.brics.tajs.monitoring.MaxMemoryUsageMonitor

All Implemented Interfaces:

ILatticeMonitoring, IAnalysisMonitoring, ISolverMonitoring<State,Context>

public class MaxMemoryUsageMonitor
extends DefaultAnalysisMonitoring

Constructor Summary

Constructors

Constructor and Description
MaxMemoryUsageMonitor()

Method Summary

Modifier and Type	Method and Description
void	visitBlockTransferPre(BasicBlock block, State state) Invoked immediately before processing a block transfer.
void	visitPhasePost(AnalysisPhase phase) Invoked at the end of a phase.

Methods inherited from class dk.brics.tajs.monitoring.DefaultAnalysisMonitoring

addMessage, addMessage, addMessageInfo, allowNextIteration, getMessages, getTypeInformation, setSolverInterface, visitBlockTransferPost, visitCall, visitEvalCall, visitEventHandlerRegistration, visitFunction, visitIf, visitIn, visitInnerHTMLWrite, visitInstanceof, visitIterationDone, visitJoin, visitNativeFunctionCall, visitNativeFunctionReturn, visitNewFlow, visitNewObject, visitNodeTransferPost, visitNodeTransferPre, visitPhasePre, visitPropagationPost, visitPropagationPre, visitPropertyAccess, visitPropertyRead, visitPropertyWrite, visitRead, visitReadNonThisVariable, visitReadProperty, visitReadThis, visitReadVariable, visitRecoveryGraph, visitRenameObject, visitUnknownValueResolve, visitUserFunctionCall, visitVariableAsRead, visitVariableOrProperty

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

MaxMemoryUsageMonitor

public MaxMemoryUsageMonitor()

Method Detail

visitBlockTransferPre

public void visitBlockTransferPre(BasicBlock block,
                                  State state)

Description copied from interface: ISolverMonitoring

Invoked immediately before processing a block transfer.

Specified by:

visitBlockTransferPre in interface ISolverMonitoring<State,Context>

Overrides:

visitBlockTransferPre in class DefaultAnalysisMonitoring

visitPhasePost

public void visitPhasePost(AnalysisPhase phase)

Description copied from interface: IAnalysisMonitoring

Invoked at the end of a phase.

Specified by:

visitPhasePost in interface IAnalysisMonitoring

Overrides:

visitPhasePost in class DefaultAnalysisMonitoring