public final 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.
|
java.lang.String |
toString() |
freeSharedCopies, getCopy, sharedCopy, sharedCopyAllprotected 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 newCopy()
SharedObjectSharedObject.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