public class InspectorMonitor extends DefaultAnalysisMonitoring
InspectorServer
at the end of the scan phase.Constructor and Description |
---|
InspectorMonitor(TogglableMonitor.Toggler monitoringToggler,
InspectorDataProvider inspectorDataProvider,
java.util.Set<GutterProvider> gutters) |
Modifier and Type | Method and Description |
---|---|
void |
setSolverInterface(GenericSolver.SolverInterface c)
Sets the solver interface which will be used by the analysis.
|
void |
visitPhasePost(AnalysisPhase phase)
Invoked at the end 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, visitNodeTransferPre, visitPhasePre, visitPropagationPost, visitPropagationPre, visitPropertyAccess, visitPropertyRead, visitPropertyWrite, visitRead, visitReadNonThisVariable, visitReadProperty, visitReadThis, visitReadVariable, visitRecoveryGraph, visitRenameObject, visitUnknownValueResolve, visitUserFunctionCall, visitVariableAsRead, visitVariableOrProperty
public InspectorMonitor(TogglableMonitor.Toggler monitoringToggler, InspectorDataProvider inspectorDataProvider, java.util.Set<GutterProvider> gutters)
for how to instantiate
public void setSolverInterface(GenericSolver.SolverInterface c)
IAnalysisMonitoring
setSolverInterface
in interface IAnalysisMonitoring
setSolverInterface
in class DefaultAnalysisMonitoring
public void visitPhasePost(AnalysisPhase phase)
IAnalysisMonitoring
visitPhasePost
in interface IAnalysisMonitoring
visitPhasePost
in class DefaultAnalysisMonitoring
Copyright © 2009-2019 Aarhus University