public final class MemoryUnitedHazard
extends java.lang.Object
Constructor and Description |
---|
MemoryUnitedHazard(java.util.Map<MemoryHazard,java.util.Set<java.lang.Integer>> hazards)
Constructs a united hazard.
|
Modifier and Type | Method and Description |
---|---|
MmuAddressInstance |
getAddress() |
MmuBuffer |
getDevice() |
java.util.Set<java.lang.Integer> |
getRelation(MemoryHazard.Type hazardType)
Returns the set of execution indices for the given hazard type.
|
java.lang.String |
toString() |
public MemoryUnitedHazard(java.util.Map<MemoryHazard,java.util.Set<java.lang.Integer>> hazards)
hazards
- the non-empty set of hazards to be united, which is represented as a map
with hazards as keys and execution indices as values.public MmuAddressInstance getAddress()
public MmuBuffer getDevice()
public java.util.Set<java.lang.Integer> getRelation(MemoryHazard.Type hazardType)
hazardType
- the hazard type.public java.lang.String toString()
toString
in class java.lang.Object