public class NonLazyTypeCollectorMonitoring extends DefaultAnalysisMonitoring
Constructor and Description |
---|
NonLazyTypeCollectorMonitoring(TypeCollector typeCollector) |
Modifier and Type | Method and Description |
---|---|
void |
visitVariableOrProperty(AbstractNode node,
java.lang.String var,
SourceLocation loc,
Value value,
Context context,
State state)
Invoked when a variable or property is read or written.
|
addMessage, addMessage, addMessageInfo, allowNextIteration, getMessages, getTypeInformation, setSolverInterface, visitBlockTransferPost, visitBlockTransferPre, visitCall, visitEvalCall, visitEventHandlerRegistration, visitFunction, visitIf, visitIn, visitInnerHTMLWrite, visitInstanceof, visitIterationDone, visitJoin, visitNativeFunctionCall, visitNativeFunctionReturn, visitNewFlow, visitNewObject, visitNodeTransferPost, visitNodeTransferPre, visitPhasePost, visitPhasePre, visitPropagationPost, visitPropagationPre, visitPropertyAccess, visitPropertyRead, visitPropertyWrite, visitRead, visitReadNonThisVariable, visitReadProperty, visitReadThis, visitReadVariable, visitRecoveryGraph, visitRenameObject, visitUnknownValueResolve, visitUserFunctionCall, visitVariableAsRead
public NonLazyTypeCollectorMonitoring(TypeCollector typeCollector)
public void visitVariableOrProperty(AbstractNode node, java.lang.String var, SourceLocation loc, Value value, Context context, State state)
IAnalysisMonitoring
visitVariableOrProperty
in interface IAnalysisMonitoring
visitVariableOrProperty
in class DefaultAnalysisMonitoring
Copyright © 2009-2019 Aarhus University