public class Declaration
extends java.lang.Object
The variable declaration includes an invariant (a condition, to that at every moment variable value must meet) and an initial value.
Constructor and Description |
---|
Declaration(Declaration declaration)
Creates a copy of the specified declaration object.
|
Declaration(ru.ispras.fortress.expression.Node initialValue,
ru.ispras.castle.ast.Range invariant)
Constructs an object with the specified initial value and it's invariant.
|
Modifier and Type | Method and Description |
---|---|
boolean |
containsInitialValue()
Checks whether object contains it's initial value.
|
boolean |
containsInvariant()
Checks whether object contains invariant.
|
ru.ispras.fortress.expression.Node |
getInitialValue()
Returns initial value of declared variable.
|
ru.ispras.castle.ast.Range |
getInvariant()
Returns variable invariant.
|
void |
setInitialValue(ru.ispras.fortress.expression.Node value)
Sets new initial value to the declared variable.
|
public Declaration(ru.ispras.fortress.expression.Node initialValue, ru.ispras.castle.ast.Range invariant)
initialValue
- Initial value of the specified variable.invariant
- Invariant og the specified variable.java.lang.NullPointerException
- when variable argument is null
.public Declaration(Declaration declaration)
declaration
- The object to be copied.public boolean containsInvariant()
true
if there is not-null invariant in this object,
false
otherwise.public boolean containsInitialValue()
true
if there is not-null initial value in this object,
false
otherwise.public ru.ispras.castle.ast.Range getInvariant()
public ru.ispras.fortress.expression.Node getInitialValue()
public void setInitialValue(ru.ispras.fortress.expression.Node value)
value
- Variable's initial value.