public final class UnknownImmediateValue extends SharedObject<UnknownImmediateValue> implements Value
UnknownImmediateValue
class describes an unknown immediate value to be specified as
an argument of an addressing mode or operation. A corresponding concrete value must be produced
as a result of test data generation for some test situation linked to the primitive (MODE or OP)
this unknown value is passed to an argument. The generated concrete value is assigned to the
object via the setValue
method.
N.B. The value can be assigned only once, otherwise an exception will be raised. This is done to avoid misuse of the class. For example, when several MODE or OP object hold a reference to the same unknown value object the concrete value must be generated and assigned only once.
Modifier | Constructor and Description |
---|---|
protected |
UnknownImmediateValue() |
protected |
UnknownImmediateValue(Allocator allocator,
java.util.List<Value> retain,
java.util.List<Value> exclude) |
protected |
UnknownImmediateValue(UnknownImmediateValue other) |
Modifier and Type | Method and Description |
---|---|
Value |
copy() |
Allocator |
getAllocator() |
java.util.List<Value> |
getExclude() |
java.util.List<Value> |
getRetain() |
java.math.BigInteger |
getValue() |
boolean |
isValueSet() |
UnknownImmediateValue |
newCopy()
Creates a new full copy of the object.
|
protected void |
setType(Type type) |
void |
setValue(java.math.BigInteger value) |
java.lang.String |
toString() |
freeSharedCopies, getCopy, sharedCopy, sharedCopyAll
protected UnknownImmediateValue()
protected UnknownImmediateValue(Allocator allocator, java.util.List<Value> retain, java.util.List<Value> exclude)
protected UnknownImmediateValue(UnknownImmediateValue other)
public Allocator getAllocator()
public java.util.List<Value> getRetain()
public java.util.List<Value> getExclude()
public UnknownImmediateValue newCopy()
SharedObject
SharedObject.SharedObject(SharedObject)
copy constructor in order to publish a shared copy.newCopy
in class SharedObject<UnknownImmediateValue>
public boolean isValueSet()
protected void setType(Type type)
public void setValue(java.math.BigInteger value)
public java.lang.String toString()
toString
in class java.lang.Object