public class InspectorData
extends java.lang.Object
TAJSInspectorAPI
Modifier and Type | Field and Description |
---|---|
java.util.Map<AbstractNode,java.util.Set<ObjectLabel>> |
allocationSiteMap |
java.util.Map<BasicBlock,java.util.Set<Context>> |
blockContexts |
java.util.Map<Pair<AbstractNode,Context>,java.util.Set<Value>> |
eventHandlerRegistrationLocations |
PropagationMonitor.PropagationData |
propagationData |
Constructor and Description |
---|
InspectorData(java.util.Map<Pair<AbstractNode,Context>,java.util.Set<Value>> eventHandlerRegistrationLocations,
PropagationMonitor.PropagationData propagationData,
java.util.Map<BasicBlock,java.util.Set<Context>> blockContexts,
java.util.Map<AbstractNode,java.util.Set<ObjectLabel>> allocationSiteMap) |
public final java.util.Map<AbstractNode,java.util.Set<ObjectLabel>> allocationSiteMap
public final java.util.Map<BasicBlock,java.util.Set<Context>> blockContexts
public final java.util.Map<Pair<AbstractNode,Context>,java.util.Set<Value>> eventHandlerRegistrationLocations
public final PropagationMonitor.PropagationData propagationData
public InspectorData(java.util.Map<Pair<AbstractNode,Context>,java.util.Set<Value>> eventHandlerRegistrationLocations, PropagationMonitor.PropagationData propagationData, java.util.Map<BasicBlock,java.util.Set<Context>> blockContexts, java.util.Map<AbstractNode,java.util.Set<ObjectLabel>> allocationSiteMap)
Copyright © 2009-2019 Aarhus University