Class Location

    • Constructor Detail

      • Location

        public Location​(Data data)
    • Method Detail

      • newLocationForConst

        public static Location newLocationForConst​(Data data)
      • newLocationForAtom

        public static Location newLocationForAtom​(Type type,
                                                  ru.ispras.microtesk.model.memory.LocationAtom atom)
      • getType

        public Type getType()
      • isInitialized

        public boolean isInitialized()
      • load

        public Data load()
      • store

        public void store​(Data data)
      • store

        public void store​(Location source)
      • bitField

        public Location bitField​(int start,
                                 int end)
      • bitField

        public Location bitField​(int index)
      • concat

        public static Location concat​(Location... locations)
        Concatenates the specified locations.
        Parameters:
        locations - Locations, format is [high, ..., low].
        Returns:
        Concatenated location.
      • getBitSize

        public int getBitSize()
        Description copied from interface: LocationAccessor
        Returns the size of the location in bits.
        Specified by:
        getBitSize in interface LocationAccessor
        Returns:
        Size in bits.
      • toBitVector

        public ru.ispras.fortress.data.types.bitvector.BitVector toBitVector()
        Description copied from interface: LocationAccessor
        Returns stored data in the form of a bit vector.
        Specified by:
        toBitVector in interface LocationAccessor
        Returns:
        Bit vector.
      • toString

        public java.lang.String toString()
        Overrides:
        toString in class java.lang.Object
      • toBinString

        public java.lang.String toBinString()
        Description copied from interface: LocationAccessor
        Returns textual representation of stored data (a string of 0 and 1 characters).
        Specified by:
        toBinString in interface LocationAccessor
        Returns:
        Binary string.
      • toHexString

        public java.lang.String toHexString()
      • getValue

        public java.math.BigInteger getValue()
        Description copied from interface: LocationAccessor
        Returns the value stored in the location packed in a BigInteger object.
        Specified by:
        getValue in interface LocationAccessor
        Returns:
        Binary data packed in a BigInteger object.
      • setValue

        public void setValue​(java.math.BigInteger value)
        Description copied from interface: LocationAccessor
        Sets the value of the specified location.
        Specified by:
        setValue in interface LocationAccessor
        Parameters:
        value - Binary data packed in a BigInteger object.