public final class DataGeneratorVariable
extends java.lang.Object
Constructor and Description |
---|
DataGeneratorVariable(java.lang.String name,
ru.ispras.fortress.expression.Node node) |
Modifier and Type | Method and Description |
---|---|
ru.ispras.fortress.data.types.bitvector.BitVector |
bitVectorValue() |
java.lang.String |
getName() |
int |
getSize() |
ru.ispras.fortress.data.DataType |
getType() |
ru.ispras.fortress.expression.NodeValue |
getValue() |
java.math.BigInteger |
integerValue() |
boolean |
isUnknown() |
boolean |
isValueSet() |
void |
setValue(java.math.BigInteger value) |
void |
setValue(ru.ispras.fortress.data.types.bitvector.BitVector value) |
void |
setValue(ru.ispras.fortress.data.Data value) |
void |
setValue(int value) |
void |
setValue(long value) |
void |
setValue(ru.ispras.fortress.expression.NodeValue value) |
public DataGeneratorVariable(java.lang.String name, ru.ispras.fortress.expression.Node node)
public java.lang.String getName()
public ru.ispras.fortress.data.DataType getType()
public int getSize()
public boolean isUnknown()
public boolean isValueSet()
public ru.ispras.fortress.expression.NodeValue getValue()
public java.math.BigInteger integerValue()
public ru.ispras.fortress.data.types.bitvector.BitVector bitVectorValue()
public void setValue(int value)
public void setValue(long value)
public void setValue(java.math.BigInteger value)
public void setValue(ru.ispras.fortress.data.types.bitvector.BitVector value)
public void setValue(ru.ispras.fortress.data.Data value)
public void setValue(ru.ispras.fortress.expression.NodeValue value)