dk.brics.tajs.monitoring.inspector.datacollection.monitors

Class ObjectCollectionMonitor

java.lang.Object

dk.brics.tajs.monitoring.DefaultAnalysisMonitoring

dk.brics.tajs.monitoring.inspector.datacollection.monitors.ObjectCollectionMonitor

All Implemented Interfaces:

ILatticeMonitoring, IAnalysisMonitoring, ISolverMonitoring<State,Context>

public class ObjectCollectionMonitor
extends DefaultAnalysisMonitoring

Constructor Summary

Constructors

Constructor and Description
ObjectCollectionMonitor()

Method Summary

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).

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

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

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

ObjectCollectionMonitor

public ObjectCollectionMonitor()

Method Detail

getByAllocationSite

public java.util.Map<AbstractNode,java.util.Set<ObjectLabel>> getByAllocationSite()

getObjects

public java.util.Set<ObjectLabel> getObjects()

visitNewObject

public void visitNewObject(AbstractNode node,
                           ObjectLabel label,
                           State state)

Description copied from interface: ILatticeMonitoring

Invoked when a new abstract object is allocated.

Specified by:

visitNewObject in interface ILatticeMonitoring

Overrides:

visitNewObject in class DefaultAnalysisMonitoring

visitRenameObject

public void visitRenameObject(AbstractNode node,
                              ObjectLabel from,
                              ObjectLabel to,
                              State state)

Description copied from interface: ILatticeMonitoring

Invoked when an abstract object changes name (from singleton to summary for recency abstraction).

Specified by:

visitRenameObject in interface ILatticeMonitoring

Overrides:

visitRenameObject in class DefaultAnalysisMonitoring