Uses of Class
lij.model.Term

Packages that use Term
lij.model Classes that together constitute the data model of an LCC protocl. 
lij.parser The classes in this package constitute the parser of the interpreter, and were generated by javacc. 
lij.runtime These runtime classes are the ones that contain most of the code that is used during the execution of the IM by the interpreter. 
 

Uses of Term in lij.model
 

Fields in lij.model declared as Term
private  Term ConstraintMethod.constraintMethodTerm
           
private  Term DefMessage.content
           
private  Term DefAgent.type
           
private  Term Role.type
           
 

Fields in lij.model with type parameters of type Term
private  java.util.HashMap<Term,Clause> Framework.clauses
           
private  java.util.HashMap<Term,Role> Framework.roles
           
 

Methods in lij.model that return Term
 Term ConstraintMethod.getConstraintMethodTerm()
          Accessor.
 Term DefMessage.getContent()
          Accessor.
 Term DefAgent.getType()
          Accessor.
 Term Role.getType()
          Accessor.
 

Methods in lij.model that return types with arguments of type Term
 java.util.HashMap<Term,Clause> Framework.getClauses()
          Accessor.
 java.util.HashMap<Term,Role> Framework.getRoles()
          Accessor.
 

Constructors in lij.model with parameters of type Term
ConstraintMethod(Term _constraintMethodTerm)
          Constructor.
DefAgent(Term _type, Argument _id)
          Constructor.
DefMessage(Term _content, DefAgent _agent, boolean _outgoing)
          Constructor.
Role(Term _type, java.lang.String _kind, int _min, int _max)
          Constructor.
 

Uses of Term in lij.parser
 

Methods in lij.parser that return Term
 Term Parser.term()
           
 

Uses of Term in lij.runtime
 

Fields in lij.runtime declared as Term
private  Term LetterPostData.messageType
           
private  Term LetterPostData.recepientType
           
private  Term AgentInstance.roleType
           
private  Term LetterPostData.senderType
           
 

Methods in lij.runtime that return Term
 Term AgentInstance.getCurrentType()
          Returns the role Term of the agent encapsulated in this AgentInstance.
 Term LetterPostData.getMessageType()
          Accessor.
 Term LetterPostData.getRecepientType()
          Accessor.
 Term LetterPostData.getSenderType()
          Accessor.
 Term ClauseInstance.getType()
          Accessor.
 

Methods in lij.runtime that return types with arguments of type Term
private  java.util.ArrayList<Term> Interpreter.getMissingRoles()
          Returns a list of all the roles that are necessary for the execution of the IM, that still need a subscriber.
 

Methods in lij.runtime with parameters of type Term
 ClauseInstance Interpreter.instantiateClause(Term newType, java.io.Serializable newID, java.io.Serializable[] arguments)
          Creates and returns a ClauseInstance object.
 

Constructors in lij.runtime with parameters of type Term
AgentInstance(Term _roleType, java.io.Serializable _id, ConstraintImplementor _constraintImplementor, Interpreter _interpreter)
          Constructor.
LetterPostData(Term _messageType, Term _senderType, java.io.Serializable _senderID, Term _recepientType, java.io.Serializable _recepientID)
          Constructor.