Interface LocationAccessor

  • All Known Implementing Classes:
    Location

    public interface LocationAccessor
    The LocationAccessor 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.