|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectlij.model.Def
lij.model.DefAgent
public class DefAgent
An LCC role switch Def.
Field Summary | |
---|---|
private Argument |
id
|
private Term |
type
|
Fields inherited from class lij.model.Def |
---|
constraints |
Constructor Summary | |
---|---|
DefAgent(Term _type,
Argument _id)
Constructor. |
Method Summary | |
---|---|
java.lang.Object |
clone()
|
Argument |
getID()
Accessor. |
Term |
getType()
Accessor. |
java.lang.String |
toString()
|
Methods inherited from class lij.model.Def |
---|
getConstraints, setConstraints |
Methods inherited from class java.lang.Object |
---|
equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait |
Field Detail |
---|
private Term type
private Argument id
Constructor Detail |
---|
public DefAgent(Term _type, Argument _id)
_type
- The type Term of the agent._id
- The ID of the agent.Method Detail |
---|
public Term getType()
public Argument getID()
public java.lang.Object clone()
clone
in interface TreeNodeToken
clone
in class Def
public java.lang.String toString()
toString
in class java.lang.Object
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |