public class ProcessProperty
extends java.lang.Object
Constructor and Description |
---|
ProcessProperty(java.lang.String name,
ModuleProperty parent)
Constructs object with the specified parameters.
|
ProcessProperty(java.lang.String name,
ModuleProperty parent,
ru.ispras.fortress.expression.Node node)
Constructs object with specified parameters.
|
ProcessProperty(java.lang.String name,
ModuleProperty parent,
ru.ispras.fortress.expression.Node initValueState,
java.util.List<GuardedAction> rstGuardedActions)
Constructs object with specified parameters.
|
Modifier and Type | Method and Description |
---|---|
void |
addProperty(ru.ispras.fortress.expression.Node node)
Adds the specified expression that uses variables
that are already declared at the parent container.
|
boolean |
equals(java.lang.Object object) |
ru.ispras.fortress.expression.Node |
getInitValueState()
Returns node of the EFSM state that is compliant with initial values of state-like variables.
|
java.lang.String |
getName()
Returns object's name.
|
ModuleProperty |
getParent()
Returns parent container.
|
java.util.List<ru.ispras.fortress.expression.Node> |
getProperties()
Returns a collection of properties.
|
int |
getPropertyNum()
Returns the number of related properties.
|
java.util.List<GuardedAction> |
getRstGuardedAction()
Returns resetting guarded action.
|
int |
hashCode() |
public ProcessProperty(java.lang.String name, ModuleProperty parent, ru.ispras.fortress.expression.Node initValueState, java.util.List<GuardedAction> rstGuardedActions)
name
- Name of this object.parent
- Parent container for this object.initValueState
- The init value state node.rstGuardedActions
- The sequence of resetting guarded actions.java.lang.IllegalArgumentException
- when name argument is null
.public ProcessProperty(java.lang.String name, ModuleProperty parent, ru.ispras.fortress.expression.Node node)
name
- Name of this object.parent
- Parent container for this object.node
- The init value state node.java.lang.IllegalArgumentException
- when name argument is null
.public ProcessProperty(java.lang.String name, ModuleProperty parent)
name
- Object name.parent
- Parent container for this object.public java.lang.String getName()
public ModuleProperty getParent()
public ru.ispras.fortress.expression.Node getInitValueState()
public java.util.List<GuardedAction> getRstGuardedAction()
public void addProperty(ru.ispras.fortress.expression.Node node)
node
- Assertion to be added to this object.java.lang.IllegalArgumentException
- when argument is null
.public java.util.List<ru.ispras.fortress.expression.Node> getProperties()
public int getPropertyNum()
public boolean equals(java.lang.Object object)
equals
in class java.lang.Object
public int hashCode()
hashCode
in class java.lang.Object