lij.model
Class DefAgent

java.lang.Object
  extended by lij.model.Def
      extended by lij.model.DefAgent
All Implemented Interfaces:
TreeNodeToken

public class DefAgent
extends Def

An LCC role switch Def.

Author:
Nikolaos Chatzinikolaou

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

type

private Term type

id

private Argument id
Constructor Detail

DefAgent

public DefAgent(Term _type,
                Argument _id)
Constructor.

Parameters:
_type - The type Term of the agent.
_id - The ID of the agent.
Method Detail

getType

public Term getType()
Accessor.

Returns:
The type Term of the agent.

getID

public Argument getID()
Accessor.

Returns:
The ID of the agent.

clone

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

toString

public java.lang.String toString()
Overrides:
toString in class java.lang.Object