Class LazyValue
- java.lang.Object
-
- ru.ispras.microtesk.utils.SharedObject<LazyValue>
-
- ru.ispras.microtesk.test.template.LazyValue
-
- All Implemented Interfaces:
Value
public class LazyValue extends SharedObject<LazyValue> implements Value
-
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description ru.ispras.fortress.data.types.bitvector.BitVector
asBitVector()
Value
copy()
java.math.BigInteger
getValue()
LazyValue
newCopy()
Creates a new full copy of the object.LazyValue
signExtend(int bitSize)
java.lang.String
toString()
LazyValue
zeroExtend(int bitSize)
-
Methods inherited from class ru.ispras.microtesk.utils.SharedObject
copyAll, freeSharedCopies, getCopy, publishSharedCopy, sharedCopy, sharedCopyAll
-
-
-
-
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)
-
newCopy
public LazyValue newCopy()
Description copied from class:SharedObject
Creates a new full copy of the object. This method must call theSharedObject(SharedObject)
copy constructor in order to publish a shared copy.- Specified by:
newCopy
in classSharedObject<LazyValue>
- Returns:
- New full copy of the object.
-
asBitVector
public ru.ispras.fortress.data.types.bitvector.BitVector asBitVector()
-
toString
public java.lang.String toString()
- Overrides:
toString
in classjava.lang.Object
-
-