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.


Field Summary
protected  java.lang.String comments
           
protected  java.util.List constraints
           
protected  java.util.List issues
           
protected  java.lang.String name
           
protected  java.util.List nodes
           
protected  java.util.List orderings
           
protected  LList pattern
           
static Symbol S_CONDITION
           
static Symbol S_EFFECT
           
static Symbol S_WORLD_STATE
           
 
Fields inherited from class ix.icore.AbstractIXObject
annotations
 
Constructor Summary
Refinement()
           
Refinement(java.lang.String name, LList pattern)
           
 
Method Summary
 void checkConsistency()
           
 java.lang.Object clone()
           
 java.lang.String getComments()
           
 java.util.List getConstraints()
           
 java.util.List getFilterConditions()
           
 java.util.List getIssues()
           
 java.lang.String getName()
           
 java.util.List getNodes()
           
 java.util.List getOrderings()
           
 LList getPattern()
           
 Refinement instantiate(MatchEnv env)
           
 Refinement instantiate(MatchEnv env, Function1 ifUnbound)
           
 void setComments(java.lang.String comments)
           
 void setConstraints(java.util.List cs)
           
 void setIssues(java.util.List issues)
           
 void setName(java.lang.String name)
           
 void setNodes(java.util.List nodes)
           
 void setOrderings(java.util.List orderings)
           
 void setPattern(LList pattern)
           
 java.lang.String toString()
           
 
Methods inherited from class ix.icore.AbstractIXObject
getAnnotation, getAnnotations, setAnnotation, setAnnotations
 
Methods inherited from class java.lang.Object
, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Field Detail

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
Constructor Detail

Refinement

public Refinement()

Refinement

public Refinement(java.lang.String name,
                  LList pattern)
Method Detail

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