public class ObjectCollectionMonitor extends DefaultAnalysisMonitoring
Constructor and Description |
---|
ObjectCollectionMonitor() |
Modifier and Type | Method and Description |
---|---|
java.util.Map<AbstractNode,java.util.Set<ObjectLabel>> |
getByAllocationSite() |
java.util.Set<ObjectLabel> |
getObjects() |
void |
visitNewObject(AbstractNode node,
ObjectLabel label,
State state)
Invoked when a new abstract object is allocated.
|
void |
visitRenameObject(AbstractNode node,
ObjectLabel from,
ObjectLabel to,
State state)
Invoked when an abstract object changes name (from singleton to summary for recency abstraction).
|
addMessage, addMessage, addMessageInfo, allowNextIteration, getMessages, getTypeInformation, setSolverInterface, visitBlockTransferPost, visitBlockTransferPre, visitCall, visitEvalCall, visitEventHandlerRegistration, visitFunction, visitIf, visitIn, visitInnerHTMLWrite, visitInstanceof, visitIterationDone, visitJoin, visitNativeFunctionCall, visitNativeFunctionReturn, visitNewFlow, visitNodeTransferPost, visitNodeTransferPre, visitPhasePost, visitPhasePre, visitPropagationPost, visitPropagationPre, visitPropertyAccess, visitPropertyRead, visitPropertyWrite, visitRead, visitReadNonThisVariable, visitReadProperty, visitReadThis, visitReadVariable, visitRecoveryGraph, visitUnknownValueResolve, visitUserFunctionCall, visitVariableAsRead, visitVariableOrProperty
public java.util.Map<AbstractNode,java.util.Set<ObjectLabel>> getByAllocationSite()
public java.util.Set<ObjectLabel> getObjects()
public void visitNewObject(AbstractNode node, ObjectLabel label, State state)
ILatticeMonitoring
visitNewObject
in interface ILatticeMonitoring
visitNewObject
in class DefaultAnalysisMonitoring
public void visitRenameObject(AbstractNode node, ObjectLabel from, ObjectLabel to, State state)
ILatticeMonitoring
visitRenameObject
in interface ILatticeMonitoring
visitRenameObject
in class DefaultAnalysisMonitoring
Copyright © 2009-2019 Aarhus University