public class DefaultGutterData
extends java.lang.Object
DefaultGutters
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<SourceLine,java.lang.Integer> |
contextsPerLine |
VisitationMonitoring.Info |
flowgraphInfo |
LazyPropagationMonitor.LazyPropagationData |
lazyPropagationData |
java.util.Map<AbstractNode,java.lang.Integer> |
maxStateSize |
java.util.Set<Message> |
messages |
PropagationMonitor.PropagationData |
propagationData |
java.util.Map<java.util.Optional<AbstractNode>,java.lang.Long> |
timesForNodes |
TypeCollector |
typeCollector |
Constructor and Description |
---|
DefaultGutterData(PropagationMonitor.PropagationData propagationData,
java.util.Map<BasicBlock,java.util.Set<Context>> blockContexts,
java.util.Map<AbstractNode,java.util.Set<ObjectLabel>> allocationSiteMap,
java.util.Map<java.util.Optional<AbstractNode>,java.lang.Long> timesForNodes,
java.util.Set<Message> messages,
java.util.Map<SourceLine,java.lang.Integer> contextsPerLine,
TypeCollector typeCollector,
LazyPropagationMonitor.LazyPropagationData lazyPropagationData,
java.util.Map<AbstractNode,java.lang.Integer> maxStateSize,
VisitationMonitoring.Info flowgraphInfo) |
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<SourceLine,java.lang.Integer> contextsPerLine
public final VisitationMonitoring.Info flowgraphInfo
public final LazyPropagationMonitor.LazyPropagationData lazyPropagationData
public final java.util.Map<AbstractNode,java.lang.Integer> maxStateSize
public final java.util.Set<Message> messages
public final PropagationMonitor.PropagationData propagationData
public final java.util.Map<java.util.Optional<AbstractNode>,java.lang.Long> timesForNodes
public final TypeCollector typeCollector
public DefaultGutterData(PropagationMonitor.PropagationData propagationData, java.util.Map<BasicBlock,java.util.Set<Context>> blockContexts, java.util.Map<AbstractNode,java.util.Set<ObjectLabel>> allocationSiteMap, java.util.Map<java.util.Optional<AbstractNode>,java.lang.Long> timesForNodes, java.util.Set<Message> messages, java.util.Map<SourceLine,java.lang.Integer> contextsPerLine, TypeCollector typeCollector, LazyPropagationMonitor.LazyPropagationData lazyPropagationData, java.util.Map<AbstractNode,java.lang.Integer> maxStateSize, VisitationMonitoring.Info flowgraphInfo)
Copyright © 2009-2019 Aarhus University