public abstract class Segment<D,A extends Address> extends java.lang.Object implements Buffer<D,A>, BufferObserver
| Constructor and Description |
|---|
Segment(ru.ispras.fortress.data.types.bitvector.BitVector start,
ru.ispras.fortress.data.types.bitvector.BitVector end) |
| Modifier and Type | Method and Description |
|---|---|
D |
getData(A va)
Returns the data associated with the given address.
|
boolean |
isHit(A address)
Checks whether the given address causes a hit.
|
boolean |
isHit(ru.ispras.fortress.data.types.bitvector.BitVector value)
Checks whether the given address causes a hit.
|
D |
setData(A address,
D data)
Updates the data associated with the given address.
|
public Segment(ru.ispras.fortress.data.types.bitvector.BitVector start,
ru.ispras.fortress.data.types.bitvector.BitVector end)
public boolean isHit(A address)
Bufferpublic boolean isHit(ru.ispras.fortress.data.types.bitvector.BitVector value)
BufferObserverisHit in interface BufferObservervalue - Address to be checked.true if the address causes a hit; false otherwise.public D getData(A va)
Buffer