public class TAJSAssertionReachabilityCheckerMonitor extends DefaultAnalysisMonitoring
Rationale: TAJS_asserts that are unreachable are probably unintended!
Special case: TAJS_assert(false) is not supposed to be reachable.
Constructor and Description |
---|
TAJSAssertionReachabilityCheckerMonitor(java.util.function.Supplier<java.lang.Boolean> analysisReachedFixedPoint) |
Modifier and Type | Method and Description |
---|---|
void |
setSolverInterface(GenericSolver.SolverInterface c)
Sets the solver interface which will be used by the analysis.
|
void |
visitNodeTransferPre(AbstractNode n,
State s)
Invoked immediately before processing a node transfer.
|
void |
visitPhasePost(AnalysisPhase phase)
Invoked at the end of a phase.
|
void |
visitPhasePre(AnalysisPhase phase)
Invoked at the beginning of a phase.
|
addMessage, addMessage, addMessageInfo, allowNextIteration, getMessages, getTypeInformation, visitBlockTransferPost, visitBlockTransferPre, visitCall, visitEvalCall, visitEventHandlerRegistration, visitFunction, visitIf, visitIn, visitInnerHTMLWrite, visitInstanceof, visitIterationDone, visitJoin, visitNativeFunctionCall, visitNativeFunctionReturn, visitNewFlow, visitNewObject, visitNodeTransferPost, visitPropagationPost, visitPropagationPre, visitPropertyAccess, visitPropertyRead, visitPropertyWrite, visitRead, visitReadNonThisVariable, visitReadProperty, visitReadThis, visitReadVariable, visitRecoveryGraph, visitRenameObject, visitUnknownValueResolve, visitUserFunctionCall, visitVariableAsRead, visitVariableOrProperty
public TAJSAssertionReachabilityCheckerMonitor(java.util.function.Supplier<java.lang.Boolean> analysisReachedFixedPoint)
public void setSolverInterface(GenericSolver.SolverInterface c)
IAnalysisMonitoring
setSolverInterface
in interface IAnalysisMonitoring
setSolverInterface
in class DefaultAnalysisMonitoring
public void visitNodeTransferPre(AbstractNode n, State s)
ISolverMonitoring
visitNodeTransferPre
in interface ISolverMonitoring<State,Context>
visitNodeTransferPre
in class DefaultAnalysisMonitoring
public void visitPhasePost(AnalysisPhase phase)
IAnalysisMonitoring
visitPhasePost
in interface IAnalysisMonitoring
visitPhasePost
in class DefaultAnalysisMonitoring
public void visitPhasePre(AnalysisPhase phase)
IAnalysisMonitoring
visitPhasePre
in interface IAnalysisMonitoring
visitPhasePre
in class DefaultAnalysisMonitoring
Copyright © 2009-2019 Aarhus University