public class LazyValue extends SharedObject<LazyValue> implements Value
Modifier | Constructor and Description |
---|---|
protected |
LazyValue(ru.ispras.microtesk.test.template.LazyData data) |
protected |
LazyValue(ru.ispras.microtesk.test.template.LazyData data,
int start,
int end) |
protected |
LazyValue(LazyValue other) |
Modifier and Type | Method and 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) |
copyAll, freeSharedCopies, getCopy, publishSharedCopy, sharedCopy, sharedCopyAll
public static final LazyValue ADDRESS
protected LazyValue(ru.ispras.microtesk.test.template.LazyData data)
protected LazyValue(ru.ispras.microtesk.test.template.LazyData data, int start, int end)
protected LazyValue(LazyValue other)
public LazyValue signExtend(int bitSize)
public LazyValue zeroExtend(int bitSize)
public LazyValue newCopy()
SharedObject
SharedObject.SharedObject(SharedObject)
copy constructor in order to publish a shared copy.newCopy
in class SharedObject<LazyValue>
public ru.ispras.fortress.data.types.bitvector.BitVector asBitVector()
public java.lang.String toString()
toString
in class java.lang.Object