Class LazyValue

    • Field Detail

      • ADDRESS

        public static final LazyValue ADDRESS
    • Constructor Detail

      • LazyValue

        protected LazyValue​(ru.ispras.microtesk.test.template.LazyData data)
      • LazyValue

        protected LazyValue​(ru.ispras.microtesk.test.template.LazyData data,
                            int start,
                            int end)
      • LazyValue

        protected LazyValue​(LazyValue other)
    • Method Detail

      • signExtend

        public LazyValue signExtend​(int bitSize)
      • zeroExtend

        public LazyValue zeroExtend​(int bitSize)
      • asBitVector

        public ru.ispras.fortress.data.types.bitvector.BitVector asBitVector()
      • getValue

        public java.math.BigInteger getValue()
        Specified by:
        getValue in interface Value
      • toString

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