public final class CoverageExplorer
extends java.lang.Object
Modifier and Type | Class and Description |
---|---|
static class |
CoverageExplorer.Statistics |
Modifier and Type | Method and Description |
---|---|
static CoverageExplorer.Statistics |
collectStatistics(java.util.Collection<MemoryAccessPath> paths) |
static CoverageExplorer.Statistics |
collectStatistics(MmuSubsystem mmu,
MemoryAccessType access) |
public static CoverageExplorer.Statistics collectStatistics(MmuSubsystem mmu, MemoryAccessType access)
public static CoverageExplorer.Statistics collectStatistics(java.util.Collection<MemoryAccessPath> paths)