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
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)
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()
setComments
public void setComments(java.lang.String comments)
getFilterConditions
public java.util.List getFilterConditions()
checkConsistency
public void checkConsistency()
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