|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use Argument | |
---|---|
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 Argument in lij.model |
---|
Classes in lij.model that implement Argument | |
---|---|
class |
ArgumentValue
An implementation of an Argument (for use in Terms), for representing a constant value. |
class |
ArgumentVariable
An implementation of an Argument (for use in Terms), for storing a variable in a SymbolTable. |
class |
Term
A Term is a definition of the form a(x, y, z, ...) a is the name of the term, and x, y, z, ... |
Fields in lij.model declared as Argument | |
---|---|
private Argument |
ConstraintComparison.argument1
|
private Argument |
ConstraintComparison.argument2
|
private Argument |
ConstraintAssignment.argument2
|
private Argument |
DefAgent.id
|
Fields in lij.model with type parameters of type Argument | |
---|---|
private java.util.ArrayList<Argument> |
Term.arguments
|
Methods in lij.model that return Argument | |
---|---|
Argument |
ConstraintComparison.getArgument1()
Accessor. |
Argument |
ConstraintComparison.getArgument2()
Accessor. |
Argument |
ConstraintAssignment.getArgument2()
Accessor. |
Argument |
DefAgent.getID()
Accessor. |
Methods in lij.model that return types with arguments of type Argument | |
---|---|
java.util.ArrayList<Argument> |
Term.getArguments()
Accessor. |
Methods in lij.model with parameters of type Argument | |
---|---|
private boolean |
Term.equalsForArgument(Argument arg1,
Argument arg2)
This method performs an equality check between two terms' arguments. |
private int |
Term.hashCodeForArgument(Argument argument)
Returns a hashcode for the specified Argument. |
Constructors in lij.model with parameters of type Argument | |
---|---|
ConstraintAssignment(ArgumentVariable _argument1,
Argument _argument2)
Constructor. |
|
ConstraintComparison(ConstraintComparison.Type _type,
Argument _argument1,
Argument _argument2)
Constructor. |
|
DefAgent(Term _type,
Argument _id)
Constructor. |
Constructor parameters in lij.model with type arguments of type Argument | |
---|---|
Term(java.lang.String _name,
java.util.ArrayList<Argument> _terms)
Constructor. |
Uses of Argument in lij.parser |
---|
Methods in lij.parser that return Argument | |
---|---|
Argument |
Parser.argument()
|
Argument |
Parser.id()
|
Uses of Argument in lij.runtime |
---|
Fields in lij.runtime declared as Argument | |
---|---|
private Argument |
ArgumentAccessor.argument
|
Methods in lij.runtime with parameters of type Argument | |
---|---|
private java.util.ArrayList<java.io.Serializable> |
ConstraintInstance.ConstraintListInstance.createListForArgument(Argument argument)
Accepts an Argument, which can be either an ArrayList or a singleton value, creates a new ArrayList containing this Argument, and returns it. |
java.io.Serializable |
ClauseInstance.getValueForArgument(Argument argument)
Convenience method for retrieving the value associated with a variable or constant. |
Constructors in lij.runtime with parameters of type Argument | |
---|---|
ArgumentAccessor(Argument _argument,
SymbolTable _symbolTable)
Constructor. |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |