dk.brics.tajs.monitoring

Class AnalysisTimeLimiter

java.lang.Object

dk.brics.tajs.monitoring.DefaultAnalysisMonitoring

dk.brics.tajs.monitoring.AnalysisTimeLimiter

All Implemented Interfaces:

ILatticeMonitoring, IAnalysisMonitoring, ISolverMonitoring<State,Context>

public class AnalysisTimeLimiter
extends DefaultAnalysisMonitoring

A simple monitoring that will prevent the analysis from running more than a set time.

Ignores time spent in building flowgraph and post-processing analysis results.

Constructor Summary

Constructors

Constructor and Description
AnalysisTimeLimiter(int secondsTimeLimit)
AnalysisTimeLimiter(int secondsTimeLimit, int nodeTransferLimit, boolean crashImmediately)

Method Summary

Modifier and Type	Method and Description
boolean	allowNextIteration() Returns true if the fixpoint solver should continue with its next iteration or abort early and unsoundly.
boolean	analysisNotExceededLimit()
void	visitNodeTransferPre(AbstractNode n, State s) Invoked immediately before processing a node transfer.
void	visitPhasePre(AnalysisPhase phase) Invoked at the beginning of a phase.

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

addMessage, addMessage, addMessageInfo, getMessages, getTypeInformation, setSolverInterface, visitBlockTransferPost, visitBlockTransferPre, visitCall, visitEvalCall, visitEventHandlerRegistration, visitFunction, visitIf, visitIn, visitInnerHTMLWrite, visitInstanceof, visitIterationDone, visitJoin, visitNativeFunctionCall, visitNativeFunctionReturn, visitNewFlow, visitNewObject, visitNodeTransferPost, visitPhasePost, 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

AnalysisTimeLimiter

public AnalysisTimeLimiter(int secondsTimeLimit)

AnalysisTimeLimiter

public AnalysisTimeLimiter(int secondsTimeLimit,
                           int nodeTransferLimit,
                           boolean crashImmediately)

Parameters:

secondsTimeLimit - the number of second the analysis is allowed to run, or -1 if no limit

nodeTransferLimit - the number of node transfers the analysis is allowed to run, or -1 if no limit

crashImmediately - true if an exception should be thrown when the analysis exceed the time limit

Method Detail

allowNextIteration

public boolean allowNextIteration()

Description copied from interface: ISolverMonitoring

Returns true if the fixpoint solver should continue with its next iteration or abort early and unsoundly.

Specified by:

allowNextIteration in interface ISolverMonitoring<State,Context>

Overrides:

allowNextIteration in class DefaultAnalysisMonitoring

analysisNotExceededLimit

public boolean analysisNotExceededLimit()

Returns:

true iff the analysis did not spent more time or transfers than allowed

visitNodeTransferPre

public void visitNodeTransferPre(AbstractNode n,
                                 State s)

Description copied from interface: ISolverMonitoring

Invoked immediately before processing a node transfer.

Specified by:

visitNodeTransferPre in interface ISolverMonitoring<State,Context>

Overrides:

visitNodeTransferPre in class DefaultAnalysisMonitoring

visitPhasePre

public void visitPhasePre(AnalysisPhase phase)

Description copied from interface: IAnalysisMonitoring

Invoked at the beginning of a phase.

Specified by:

visitPhasePre in interface IAnalysisMonitoring

Overrides:

visitPhasePre in class DefaultAnalysisMonitoring