Package ru.ispras.microtesk.model.memory
Interface LocationAccessor
-
- All Known Implementing Classes:
Location
public interface LocationAccessor
TheLocationAccessor
interface is used by the simulator to access data stored in the specified location. This should not cause any memory-related event in the model.
-
-
Method Summary
All Methods Instance Methods Abstract Methods Modifier and Type Method Description int
getBitSize()
Returns the size of the location in bits.java.math.BigInteger
getValue()
Returns the value stored in the location packed in a BigInteger object.void
setValue(java.math.BigInteger value)
Sets the value of the specified location.java.lang.String
toBinString()
Returns textual representation of stored data (a string of 0 and 1 characters).ru.ispras.fortress.data.types.bitvector.BitVector
toBitVector()
Returns stored data in the form of a bit vector.
-
-
-
Method Detail
-
getBitSize
int getBitSize()
Returns the size of the location in bits.- Returns:
- Size in bits.
-
toBinString
java.lang.String toBinString()
Returns textual representation of stored data (a string of 0 and 1 characters).- Returns:
- Binary string.
-
toBitVector
ru.ispras.fortress.data.types.bitvector.BitVector toBitVector()
Returns stored data in the form of a bit vector.- Returns:
- Bit vector.
-
getValue
java.math.BigInteger getValue()
Returns the value stored in the location packed in a BigInteger object.- Returns:
- Binary data packed in a BigInteger object.
-
setValue
void setValue(java.math.BigInteger value)
Sets the value of the specified location.- Parameters:
value
- Binary data packed in a BigInteger object.
-
-