public final class BufferDependency
extends java.lang.Object
BufferDependency
describes a dependency, i.e. a number of buffer access hazards.Constructor and Description |
---|
BufferDependency() |
BufferDependency(BufferDependency dependency) |
Modifier and Type | Method and Description |
---|---|
void |
addHazard(BufferHazard.Instance hazard) |
java.util.Collection<BufferHazard.Instance> |
getHazards() |
java.lang.String |
toString() |
public BufferDependency()
public BufferDependency(BufferDependency dependency)
public java.util.Collection<BufferHazard.Instance> getHazards()
public void addHazard(BufferHazard.Instance hazard)
public java.lang.String toString()
toString
in class java.lang.Object