public static class VisitationMonitoring.Info
extends java.lang.Object
Constructor and Description |
---|
Info(OccurenceCountingMap<SourceLine> blockVisitCountsPerLine,
java.util.Set<AbstractNode> visitedNodes,
OccurenceCountingMap<SourceLine> blocksPerLine,
OccurenceCountingMap<SourceLine> nodesPerLine) |
Modifier and Type | Method and Description |
---|---|
java.util.Map<java.net.URL,java.util.Set<java.lang.Integer>> |
getAbstractLiveLines() |
OccurenceCountingMap<SourceLine> |
getBlocksPerLine() |
OccurenceCountingMap<SourceLine> |
getBlockVisitCountsPerLine() |
OccurenceCountingMap<SourceLine> |
getNodesPerLine() |
public Info(OccurenceCountingMap<SourceLine> blockVisitCountsPerLine, java.util.Set<AbstractNode> visitedNodes, OccurenceCountingMap<SourceLine> blocksPerLine, OccurenceCountingMap<SourceLine> nodesPerLine)
public java.util.Map<java.net.URL,java.util.Set<java.lang.Integer>> getAbstractLiveLines()
public OccurenceCountingMap<SourceLine> getBlocksPerLine()
public OccurenceCountingMap<SourceLine> getBlockVisitCountsPerLine()
public OccurenceCountingMap<SourceLine> getNodesPerLine()
Copyright © 2009-2019 Aarhus University