Class UnknownImmediateValue
- java.lang.Object
-
- ru.ispras.microtesk.utils.SharedObject<UnknownImmediateValue>
-
- ru.ispras.microtesk.test.template.UnknownImmediateValue
-
- All Implemented Interfaces:
Value
public final class UnknownImmediateValue extends SharedObject<UnknownImmediateValue> implements Value
TheUnknownImmediateValue
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 thesetValue
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.
-
-
Constructor Summary
Constructors Modifier Constructor Description protected
UnknownImmediateValue()
protected
UnknownImmediateValue(AllocationData<Value> allocationData)
protected
UnknownImmediateValue(UnknownImmediateValue other)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description Value
copy()
AllocationData<Value>
getAllocationData()
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()
-
Methods inherited from class ru.ispras.microtesk.utils.SharedObject
copyAll, freeSharedCopies, getCopy, publishSharedCopy, sharedCopy, sharedCopyAll
-
-
-
-
Constructor Detail
-
UnknownImmediateValue
protected UnknownImmediateValue()
-
UnknownImmediateValue
protected UnknownImmediateValue(AllocationData<Value> allocationData)
-
UnknownImmediateValue
protected UnknownImmediateValue(UnknownImmediateValue other)
-
-
Method Detail
-
newCopy
public UnknownImmediateValue 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<UnknownImmediateValue>
- Returns:
- New full copy of the object.
-
getAllocationData
public AllocationData<Value> getAllocationData()
-
isValueSet
public boolean isValueSet()
-
setType
protected void setType(Type type)
-
setValue
public void setValue(java.math.BigInteger value)
-
toString
public java.lang.String toString()
- Overrides:
toString
in classjava.lang.Object
-
-