ix.icore.domain
Class Refinement
java.lang.Object
|
+--ix.icore.AbstractIXObject
|
+--ix.icore.domain.Refinement
- All Implemented Interfaces:
- Annotated, java.lang.Cloneable, IXObject, Named
- public class Refinement
- extends AbstractIXObject
- implements Named, java.lang.Cloneable
A Refinement describes one way to carry out a possible activity
in a process being modelled.
| Methods inherited from class java.lang.Object |
, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait |
name
protected java.lang.String name
pattern
protected LList pattern
variableDeclarations
protected java.util.List variableDeclarations
nodes
protected java.util.List nodes
orderings
protected java.util.List orderings
constraints
protected java.util.List constraints
issues
protected java.util.List issues
comments
protected java.lang.String comments
S_WORLD_STATE
public static final Symbol S_WORLD_STATE
S_CONDITION
public static final Symbol S_CONDITION
S_EFFECT
public static final Symbol S_EFFECT
Refinement
public Refinement()
Refinement
public Refinement(java.lang.String name,
LList pattern)
getName
public java.lang.String getName()
- Specified by:
getName in interface Named
setName
public void setName(java.lang.String name)
getPattern
public LList getPattern()
setPattern
public void setPattern(LList pattern)
getVariableDeclarations
public java.util.List getVariableDeclarations()
setVariableDeclarations
public void setVariableDeclarations(java.util.List variableDeclarations)
getNodes
public java.util.List getNodes()
setNodes
public void setNodes(java.util.List nodes)
getOrderings
public java.util.List getOrderings()
setOrderings
public void setOrderings(java.util.List orderings)
getConstraints
public java.util.List getConstraints()
setConstraints
public void setConstraints(java.util.List cs)
getIssues
public java.util.List getIssues()
setIssues
public void setIssues(java.util.List issues)
getComments
public java.lang.String getComments()
- Overrides:
getComments in class AbstractIXObject
setComments
public void setComments(java.lang.String comments)
- Overrides:
setComments in class AbstractIXObject
getFilterConditions
public java.util.List getFilterConditions()
checkConsistency
public void checkConsistency()
checkVariableRefs
protected void checkVariableRefs()
getVariablesUsed
public java.util.SortedSet getVariablesUsed()
isDeclared
protected boolean isDeclared(ItemVar v)
instantiate
public Refinement instantiate(MatchEnv env)
instantiate
public Refinement instantiate(MatchEnv env,
Function1 ifUnbound)
clone
public java.lang.Object clone()
throws java.lang.CloneNotSupportedException
- Overrides:
clone in class java.lang.Object
toString
public java.lang.String toString()
- Overrides:
toString in class java.lang.Object