|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use lij.model | |
---|---|
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.parserutil | Utility classes for use by the javacc-generated parser. |
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. |
Classes in lij.model used by lij.model | |
---|---|
Argument
Objects implementing the Argument interface can be used in Arguments. |
|
ArgumentVariable
An implementation of an Argument (for use in Terms), for storing a variable in a SymbolTable. |
|
Clause
This class provides the definition of an LCC clause as specified in an IM. |
|
Constraint
This interface denotes objects that implement constraints. |
|
ConstraintComparison.Type
|
|
Def
A Def instance can be a DefAgent (role switch), DefMessage, or DefNullOp - and an associated constraint list. |
|
DefAgent
An LCC role switch Def. |
|
Operator
A structure operator to be used in the clause tree. |
|
Role
This class provides the definition of a role as specified in an IM. |
|
Term
A Term is a definition of the form a(x, y, z, ...) a is the name of the term, and x, y, z, ... |
|
TreeNode
This class is used to construct clause trees. |
|
TreeNodeToken
This interface defines entities that can be used as a clause tree token, i.e. |
Classes in lij.model used by lij.parser | |
---|---|
Argument
Objects implementing the Argument interface can be used in Arguments. |
|
ArgumentValue
An implementation of an Argument (for use in Terms), for representing a constant value. |
|
ArgumentVariable
An implementation of an Argument (for use in Terms), for storing a variable in a SymbolTable. |
|
Constraint
This interface denotes objects that implement constraints. |
|
Def
A Def instance can be a DefAgent (role switch), DefMessage, or DefNullOp - and an associated constraint list. |
|
DefAgent
An LCC role switch Def. |
|
DefMessage
An LCC message Def. |
|
DefNullOp
An LCC null operator Def. |
|
Framework
This class contains the IM's Role and Clause definitions. |
|
Term
A Term is a definition of the form a(x, y, z, ...) a is the name of the term, and x, y, z, ... |
Classes in lij.model used by lij.parserutil | |
---|---|
Operator
A structure operator to be used in the clause tree. |
|
TreeNode
This class is used to construct clause trees. |
|
TreeNodeToken
This interface defines entities that can be used as a clause tree token, i.e. |
Classes in lij.model used by lij.runtime | |
---|---|
Argument
Objects implementing the Argument interface can be used in Arguments. |
|
ArgumentVariable
An implementation of an Argument (for use in Terms), for storing a variable in a SymbolTable. |
|
Clause
This class provides the definition of an LCC clause as specified in an IM. |
|
Constraint
This interface denotes objects that implement constraints. |
|
ConstraintComparison.Type
|
|
Def
A Def instance can be a DefAgent (role switch), DefMessage, or DefNullOp - and an associated constraint list. |
|
Framework
This class contains the IM's Role and Clause definitions. |
|
Term
A Term is a definition of the form a(x, y, z, ...) a is the name of the term, and x, y, z, ... |
|
TreeNode
This class is used to construct clause trees. |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |