public class RangedVariable
extends java.lang.Object
Constructor and Description |
---|
RangedVariable()
The default constructor.
|
RangedVariable(ru.ispras.fortress.expression.NodeVariable variable)
Constructs object from the specified variable.
|
RangedVariable(ru.ispras.fortress.expression.NodeVariable variable,
Range range)
Constructs object from the specified variable and it's range.
|
Modifier and Type | Method and Description |
---|---|
RangedVariable |
deepcopy()
Creates a deep copy of the current object.
|
boolean |
equals(java.lang.Object o) |
java.lang.String |
getName()
Returns variable
String string name. |
Range |
getRange()
Returns range.
|
ru.ispras.fortress.expression.NodeVariable |
getVariable()
Returns variable.
|
int |
hashCode() |
boolean |
isRanged()
Checks rather this is really ranged.
|
void |
setRange(Range range)
Sets new range.
|
void |
setVariable(ru.ispras.fortress.expression.NodeVariable nodeVariable)
Sets new variable.
|
java.lang.String |
toString() |
public RangedVariable()
public RangedVariable(ru.ispras.fortress.expression.NodeVariable variable)
variable
- variablejava.lang.NullPointerException
- when argument is null
.public RangedVariable(ru.ispras.fortress.expression.NodeVariable variable, Range range)
variable
- variablerange
- rangejava.lang.NullPointerException
- when any of the arguments is null
.java.lang.IllegalArgumentException
- when variable argument is neither of
bit vector data type nor of map (array) data type.java.lang.IllegalArgumentException
- when variable id of bit vector type
but range old/young bit numbers are out of bit vector size.java.lang.IllegalArgumentException
- when variable is of map type
but range old/young bit numbers are not equal.public RangedVariable deepcopy()
public ru.ispras.fortress.expression.NodeVariable getVariable()
public java.lang.String getName()
String
string name.public void setVariable(ru.ispras.fortress.expression.NodeVariable nodeVariable)
null
.nodeVariable
- variablejava.lang.NullPointerException
- when argument is null
.public Range getRange()
public void setRange(Range range)
range
- rangepublic boolean isRanged()
true
if this contains nontrivial range,false
otherwisepublic java.lang.String toString()
toString
in class java.lang.Object
public boolean equals(java.lang.Object o)
equals
in class java.lang.Object
public int hashCode()
hashCode
in class java.lang.Object