lij.model
Class Def

java.lang.Object
  extended by lij.model.Def
All Implemented Interfaces:
TreeNodeToken
Direct Known Subclasses:
DefAgent, DefMessage, DefNullOp

public abstract class Def
extends java.lang.Object
implements TreeNodeToken

A Def instance can be a DefAgent (role switch), DefMessage, or DefNullOp - and an associated constraint list.

Author:
Nikolaos Chatzinikolaou

Field Summary
protected  java.util.ArrayList<Constraint> constraints
           
 
Constructor Summary
Def()
           
 
Method Summary
abstract  java.lang.Object clone()
           
 java.util.ArrayList<Constraint> getConstraints()
          Accessor.
 void setConstraints(java.util.ArrayList<Constraint> _constraints)
          Accessor.
 
Methods inherited from class java.lang.Object
equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

constraints

protected java.util.ArrayList<Constraint> constraints
Constructor Detail

Def

public Def()
Method Detail

getConstraints

public java.util.ArrayList<Constraint> getConstraints()
Accessor.

Returns:
The list of Constraints that are associated with this Def.

setConstraints

public void setConstraints(java.util.ArrayList<Constraint> _constraints)
Accessor.

Parameters:
_constraints - The list of Constraints that are associated with this Def.

clone

public abstract java.lang.Object clone()
Specified by:
clone in interface TreeNodeToken
Overrides:
clone in class java.lang.Object