public final class CoverageExtractor
extends java.lang.Object
Modifier and Type | Method and Description |
---|---|
static CoverageExtractor |
get() |
java.util.Collection<MemoryHazard> |
getHazards(MmuAddressInstance address) |
java.util.Collection<MemoryHazard> |
getHazards(MmuBuffer buffer) |
java.util.Collection<MemoryHazard> |
getHazards(MmuSubsystem memory) |
MemoryAccessPathChooser |
getPathChooser(MmuSubsystem memory,
MemoryGraphAbstraction abstraction,
MemoryAccessType type,
MemoryAccessConstraints constraints,
boolean discardEmptyTrajectories) |
java.util.List<MemoryAccessPathChooser> |
getPathChoosers(MmuSubsystem memory,
MemoryGraphAbstraction abstraction,
MemoryAccessType type,
MemoryAccessConstraints constraints,
boolean discardEmptyTrajectories) |
public static CoverageExtractor get()
public java.util.Collection<MemoryHazard> getHazards(MmuAddressInstance address)
public java.util.Collection<MemoryHazard> getHazards(MmuBuffer buffer)
public java.util.Collection<MemoryHazard> getHazards(MmuSubsystem memory)
public MemoryAccessPathChooser getPathChooser(MmuSubsystem memory, MemoryGraphAbstraction abstraction, MemoryAccessType type, MemoryAccessConstraints constraints, boolean discardEmptyTrajectories)
public java.util.List<MemoryAccessPathChooser> getPathChoosers(MmuSubsystem memory, MemoryGraphAbstraction abstraction, MemoryAccessType type, MemoryAccessConstraints constraints, boolean discardEmptyTrajectories)