lij.model
Class Def
java.lang.Object
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
Constructor Summary |
Def()
|
Methods inherited from class java.lang.Object |
equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
constraints
protected java.util.ArrayList<Constraint> constraints
Def
public Def()
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