A B C D E F G H I J K L M N O P R S T U V

A

ACT - Static variable in interface jeops.parser.ParserConstants

ActionJavaExpr - class jeops.expressions.ActionJavaExpr.

This class models an action statement of the inference engine.

ActionJavaExpr(int, JavaExpr) - Constructor for class jeops.expressions.ActionJavaExpr

Class constructor.

ActionJavaExpr(int, String, JavaExpr) - Constructor for class jeops.expressions.ActionJavaExpr

Class constructor for assignment statements.

ActionJavaExpr(int, String, String, JavaExpr) - Constructor for class jeops.expressions.ActionJavaExpr

Class constructor for declaration statements.

ActionList() - Method in class jeops.parser.Parser

addAction(RuleAction) - Method in class jeops.engine.Rule

Adds a new action to this rule.

addDeclaration(RuleDeclaration) - Method in class jeops.engine.Rule

Adds a new declaration to this rule.

addLocalDeclaration(RuleLocalDeclaration) - Method in class jeops.engine.Rule

Adds a new local declaration to this rule.

addMove(int, int) - Method in class jeops.examples.Hanoi

Adds a movement to the solution.

addPrecondition(Precondition) - Method in class jeops.engine.Rule

Adds a new precondition to this rule.

addRule(Rule) - Method in class jeops.engine.RuleBase

Adds a new rule to this rule base.

adjustBeginLineColumn(int, int) - Method in class jeops.parser.ASCII_UCodeESC_CharStream

Method to adjust line and column numbers for the start of a token.

AND - Static variable in interface jeops.parser.ParserConstants

Arit_Expression() - Method in class jeops.parser.Parser

AritOperators() - Method in class jeops.parser.Parser

ASCII_UCodeESC_CharStream - class jeops.parser.ASCII_UCodeESC_CharStream.

An implementation of interface CharStream, where the stream is assumed to contain only ASCII characters (with java-like unicode escape processing).

ASCII_UCodeESC_CharStream(InputStream, int, int) - Constructor for class jeops.parser.ASCII_UCodeESC_CharStream

ASCII_UCodeESC_CharStream(InputStream, int, int, int) - Constructor for class jeops.parser.ASCII_UCodeESC_CharStream

ASCII_UCodeESC_CharStream(Reader, int, int) - Constructor for class jeops.parser.ASCII_UCodeESC_CharStream

ASCII_UCodeESC_CharStream(Reader, int, int, int) - Constructor for class jeops.parser.ASCII_UCodeESC_CharStream

assert(Object) - Method in class jeops.engine.KnowledgeBase

Inserts a new object in this knowledge base.

assert(Object) - Method in class jeops.engine.ObjectBase

Inserts a new object into this object base.

assertObject(Object) - Method in class jeops.engine.RuleBase

Tells this base that a new object was inserted into its object base, so that the rules can be checked against this object.

ASSIGN - Static variable in class jeops.expressions.ActionJavaExpr

Constant used to indicate that an expression type is an assignment.

ATRIBUICAO - Static variable in interface jeops.parser.ParserConstants

B

backup(int) - Method in class jeops.parser.ASCII_UCodeESC_CharStream

beginColumn - Variable in class jeops.parser.Token

beginLine and beginColumn describe the position of the first character of this token; endLine and endColumn describe the position of the last character of this token.

beginLine - Variable in class jeops.parser.Token

beginLine and beginColumn describe the position of the first character of this token; endLine and endColumn describe the position of the last character of this token.

BeginToken() - Method in class jeops.parser.ASCII_UCodeESC_CharStream

BinaryJavaExpr - class jeops.expressions.BinaryJavaExpr.

This class models a binary expression of (our subset of) the java language.

BinaryJavaExpr(JavaExpr, JavaExpr, int) - Constructor for class jeops.expressions.BinaryJavaExpr

Class constructor.

BOOL - Static variable in class jeops.expressions.JavaExpr

Constant used to indicate that this expression's type is boolean.

Bool_Expression() - Method in class jeops.parser.Parser

BoolBOperators() - Method in class jeops.parser.Parser

Boolean() - Method in class jeops.parser.Parser

BoolUOperators() - Method in class jeops.parser.Parser

bufpos - Variable in class jeops.parser.ASCII_UCodeESC_CharStream

C

CHARACTER_LITERAL - Static variable in interface jeops.parser.ParserConstants

Classe - class jeops.expressions.Classe.

This class os a wrapper for the java.lang.Class class.

Classe(Class) - Constructor for class jeops.expressions.Classe

Class constructor.

clone() - Method in class jeops.engine.Rule

Clones this rule.

clone() - Method in class jeops.expressions.SymbolicTable

Clones this table.

CompilationUnit() - Method in class jeops.parser.Parser

A GRAMATICA COMECA AQUI *

ConflictSet - class jeops.engine.ConflictSet.

This classes models the conflict set of the inference engine.

ConflictSet() - Constructor for class jeops.engine.ConflictSet

Creates a new conflict set, using the default rule sorter.

ConflictSet(RuleSorter) - Constructor for class jeops.engine.ConflictSet

Creates a new conflict set, given its rule sorter.

CONST - Static variable in interface jeops.parser.ParserConstants

ConstJavaExpr - class jeops.expressions.ConstJavaExpr.

This class models an expression of (our subset of) the java language which is composed only of a single constant.

ConstJavaExpr() - Constructor for class jeops.expressions.ConstJavaExpr

Class constructor for null constants.

ConstJavaExpr(boolean) - Constructor for class jeops.expressions.ConstJavaExpr

Class constructor for boolean constants.

ConstJavaExpr(int) - Constructor for class jeops.expressions.ConstJavaExpr

Class constructor for integer constants.

ConstJavaExpr(String) - Constructor for class jeops.expressions.ConstJavaExpr

Class constructor for String constants.

ConstructorJavaExpr - class jeops.expressions.ConstructorJavaExpr.

This class models a method call in (our subset of) the java language.

ConstructorJavaExpr(String, JavaExpr[]) - Constructor for class jeops.expressions.ConstructorJavaExpr

Class constructor.

CREATE - Static variable in class jeops.expressions.ActionJavaExpr

Constant used to indicate that an expression type is an assertion to the object base.

currentToken - Variable in class jeops.parser.ParseException

This is the last token that has been consumed successfully.

D

DEC - Static variable in interface jeops.parser.ParserConstants

DECIMAL_LITERAL - Static variable in interface jeops.parser.ParserConstants

DECLAR - Static variable in class jeops.expressions.ActionJavaExpr

Constant used to indicate that an expression type is a (local) declaration.

Declaracoes - class jeops.parser.Declaracoes.

This class models a set of String pairs, used to store the list of declarations for a rule.

Declaracoes() - Constructor for class jeops.parser.Declaracoes

Class constructor.

DEFAULT - Static variable in interface jeops.parser.ParserConstants

DefaultRuleSorter - class jeops.engine.DefaultRuleSorter.

The default rule sorter used in this inference engine.

DefaultRuleSorter() - Constructor for class jeops.engine.DefaultRuleSorter

Class constructor.

DELETE - Static variable in class jeops.expressions.ActionJavaExpr

Constant used to indicate that an expresison type is a deletion of an object to object base.

DELETE - Static variable in interface jeops.parser.ParserConstants

DIF - Static variable in interface jeops.parser.ParserConstants

DIGIT - Static variable in interface jeops.parser.ParserConstants

disable_tracing() - Method in class jeops.parser.Parser

DIV - Static variable in class jeops.expressions.BinaryJavaExpr

Constant used to indicate that this expression represents a division.

DIVIDE - Static variable in interface jeops.parser.ParserConstants

Done() - Method in class jeops.parser.ASCII_UCodeESC_CharStream

dump() - Method in class jeops.engine.RuleBase

Prints a tree representation of this base.

dump() - Method in class jeops.engine.Rule

Prints the tree for the expression of this precondition.

dump() - Method in class jeops.examples.Hanoi

Prints the tree for the expression of this precondition.

dump() - Method in class jeops.expressions.JavaExpr

Prints the tree for the expression of this precondition.

dump() - Method in class jeops.expressions.SymbolicTable

Prints this table.

dump() - Method in class jeops.expressions.ActionJavaExpr

Prints the tree for the expression of this precondition.

dump(int) - Method in class jeops.engine.RuleBase

Prints a tree representation of this base.

dump(int) - Method in class jeops.engine.Precondition

Prints the tree for the expression of this precondition.

dump(int) - Method in class jeops.engine.RuleDeclaration

Prints a tree representation of this base.

dump(int) - Method in class jeops.engine.RuleAction

Prints this expression's tree with the specified identation.

dump(int) - Method in class jeops.engine.Rule

Prints the tree for the expression of this precondition.

dump(int) - Method in class jeops.engine.RuleLocalDeclaration

Prints a tree representation of this base.

dump(int) - Method in class jeops.examples.Hanoi

Prints the tree for the expression of this precondition.

dump(int) - Method in class jeops.expressions.JavaExpr

Prints the tree for the expression of this precondition.

dump(int) - Method in class jeops.expressions.ConstJavaExpr

Prints the tree for the expression of this precondition.

dump(int) - Method in class jeops.expressions.BinaryJavaExpr

Prints the tree of this expression with the given identation.

dump(int) - Method in class jeops.expressions.VarJavaExpr

Prints the tree for the expression of this precondition.

dump(int) - Method in class jeops.expressions.MethodJavaExpr

Prints the tree for the expression of this precondition.

dump(int) - Method in class jeops.expressions.UnaryJavaExpr

Prints the tree for the expression of this precondition.

dump(int) - Method in class jeops.expressions.ConstructorJavaExpr

Prints the tree for the expression of this precondition.

dump(int) - Method in class jeops.expressions.FieldJavaExpr

Prints the tree for the expression of this precondition.

dump(int) - Method in class jeops.expressions.ActionJavaExpr

Prints the tree for the expression of this precondition.

E

elements() - Method in class jeops.parser.Declaracoes

Returns an enumeration with the types of these declarations.

enable_tracing() - Method in class jeops.parser.Parser

endColumn - Variable in class jeops.parser.Token

beginLine and beginColumn describe the position of the first character of this token; endLine and endColumn describe the position of the last character of this token.

endLine - Variable in class jeops.parser.Token

beginLine and beginColumn describe the position of the first character of this token; endLine and endColumn describe the position of the last character of this token.

EOF - Static variable in interface jeops.parser.ParserConstants

EQ - Static variable in class jeops.expressions.BinaryJavaExpr

Constant used to indicate that this expression represents an equality comparison.

EQUAL - Static variable in interface jeops.parser.ParserConstants

equals(Object) - Method in class jeops.engine.Rule

Compares this rule with the given object.

equals(Object) - Method in class jeops.expressions.SymbolicTable

Compares this table with the given object.

equals(Object) - Method in class jeops.expressions.Triple

Compares this triple with the given object.

evaluateBool(SymbolicTable) - Method in class jeops.expressions.JavaExpr

Returns the boolean result of this expression.

evaluateInt(SymbolicTable) - Method in class jeops.expressions.JavaExpr

Returns the int result of this expression.

evaluateLocalDeclarations() - Method in class jeops.engine.Rule

Deprecated. Replaced by evaluateLocalDeclarations(int).

evaluateLocalDeclarations(int) - Method in class jeops.engine.Rule

Evaluates the local declarations of this tule.

evaluateObj(SymbolicTable) - Method in class jeops.expressions.JavaExpr

Returns in an object the result of the evaluation of this expression.

expectedTokenSequences - Variable in class jeops.parser.ParseException

Each entry in this array is an array of integers.

Expression() - Method in class jeops.parser.Parser

F

FALSE - Static variable in interface jeops.parser.ParserConstants

Fibonacci - class jeops.examples.Fibonacci.

This class models an encapsulation for a solution for the Fibonacci series.

Fibonacci(int) - Constructor for class jeops.examples.Fibonacci

Class constructor.

FieldAccessException - exception jeops.expressions.FieldAccessException.

This class models an exception raised when an illegal field access is attempted.

FieldAccessException() - Constructor for class jeops.expressions.FieldAccessException

Creates a new FieldAccessException without detail message.

FieldAccessException(String) - Constructor for class jeops.expressions.FieldAccessException

Creates a new FieldAccessException with a given detail message.

FieldJavaExpr - class jeops.expressions.FieldJavaExpr.

This class models a field access in (our subset of) the java language.

FieldJavaExpr(JavaExpr, String) - Constructor for class jeops.expressions.FieldJavaExpr

Class constructor.

fieldName() - Method in class jeops.expressions.FieldJavaExpr

Returns the name of the field represented by this expression.

fire(KnowledgeBase) - Method in class jeops.engine.Rule

Fires this rule.

fireSingleRule(KnowledgeBase) - Method in class jeops.engine.RuleBase

Fires a single rule in the rule base, if there is such one in the conflict set.

FLOAT - Static variable in interface jeops.parser.ParserConstants

flush() - Method in class jeops.engine.RuleSorter

Removes all rules of this sorter.

flush() - Method in class jeops.engine.MRURuleSorter

Removes all rules of this sorter.

flush() - Method in class jeops.engine.KnowledgeBase

Remove all facts (objects) of the object base.

flush() - Method in class jeops.engine.NaturalRuleSorter

Removes all rules of this sorter.

flush() - Method in class jeops.engine.OneShotRuleSorter

Removes all rules of this sorter.

flush() - Method in class jeops.engine.LRURuleSorter

Removes all rules of this sorter.

flush() - Method in class jeops.engine.ConflictSet

Removes all rules from this conflict set.

flush() - Method in class jeops.engine.ObjectBase

Removes all objects of this base.

flush() - Method in class jeops.engine.PriorityRuleSorter

Removes all rules of this sorter.

FORMAL_COMMENT - Static variable in interface jeops.parser.ParserConstants

G

GE - Static variable in interface jeops.parser.ParserConstants

generateParseException() - Method in class jeops.parser.Parser

GEQ - Static variable in class jeops.expressions.BinaryJavaExpr

Constant used to indicate that this expression represents a greater than or equals comparison.

get(String) - Method in class jeops.parser.Declaracoes

Recovers the type of a previously declared identifier.

getBeginColumn() - Method in class jeops.parser.ASCII_UCodeESC_CharStream

getBeginLine() - Method in class jeops.parser.ASCII_UCodeESC_CharStream

getClasse() - Method in class jeops.expressions.JavaExpr

Returns an object representing the class of this expression.

getClasse() - Method in class jeops.expressions.ConstJavaExpr

Returns an object representing the class of this expression.

getClasse() - Method in class jeops.expressions.BinaryJavaExpr

Returns an object representing the class of this expression.

getClasse() - Method in class jeops.expressions.VarJavaExpr

Returns an object representing the class of this expression.

getClasse() - Method in class jeops.expressions.MethodJavaExpr

Returns an object representing the class of this expression.

getClasse() - Method in class jeops.expressions.UnaryJavaExpr

Returns an object representing the class of this expression.

getClasse() - Method in class jeops.expressions.ConstructorJavaExpr

Returns an object representing the class of this expression.

getClasse() - Method in class jeops.expressions.FieldJavaExpr

Returns an object representing the class of this expression.

getClassName() - Method in class jeops.engine.RuleDeclaration

Returns the class name of the variable declaration.

getClassName() - Method in class jeops.engine.RuleLocalDeclaration

Returns the class name of this variable.

getClassName() - Method in class jeops.expressions.ActionJavaExpr

Returns the class name of a locally declared object, if applicable.

getClassName(String) - Method in class jeops.expressions.SymbolicTable

Returns the class of a variable, given its identifier.

getColumn() - Method in class jeops.parser.ASCII_UCodeESC_CharStream

Deprecated.

getConstructor(Class[]) - Method in class jeops.expressions.Classe

Searches, among the constructors of the wrapped class, one that is compatible to the given parameters.

getDeclarations() - Method in class jeops.engine.Rule

Returns the declarations of this rule.

getDestination() - Method in class jeops.examples.Hanoi

Returns the destination pin for this problem.

getDiscs() - Method in class jeops.examples.Hanoi

Returns the number of discs of this problem.

getEndColumn() - Method in class jeops.parser.ASCII_UCodeESC_CharStream

getEndLine() - Method in class jeops.parser.ASCII_UCodeESC_CharStream

getExpression() - Method in class jeops.engine.Precondition

Returns the expression of this precondition.

getExpression() - Method in class jeops.engine.RuleAction

Returns the execution expression for this action.

getExpression() - Method in class jeops.engine.RuleLocalDeclaration

Returns the expression that defines the locally declared variable.

getExpression() - Method in class jeops.expressions.ActionJavaExpr

Returns the expression that will produce the object to be inserted in the object base, or the RHS of the assignment, if applicable.

getField(String) - Method in class jeops.expressions.Classe

Searches, among the fields of the wrapped class and its superclasses, one with the given name.

getIdent() - Method in class jeops.engine.RuleDeclaration

Returns the identifier of the variable.

getIdent() - Method in class jeops.engine.RuleLocalDeclaration

Returns this variable identifier.

getIdent() - Method in class jeops.expressions.ActionJavaExpr

Returns the variable identifier, in case of a method call or the LHS of an assignment.

getIdent(int) - Method in class jeops.parser.Declaracoes

Returns the identifier for the i-th declaration of this set.

GetImage() - Method in class jeops.parser.ASCII_UCodeESC_CharStream

getIntermediate() - Method in class jeops.examples.Hanoi

Returns the intermediate pin form this problem.

getLine() - Method in class jeops.parser.ASCII_UCodeESC_CharStream

Deprecated.

getMessage() - Method in class jeops.parser.ParseException

This method has the standard behavior when this object has been created using the standard constructors.

getMessage() - Method in class jeops.parser.TokenMgrError

You can also modify the body of this method to customize your error messages.

getMethod(String, Class[]) - Method in class jeops.expressions.Classe

Searches, among the methods of the wrapped class, one that is compatible to the given name and parameters.

getMethodName() - Method in class jeops.expressions.ActionJavaExpr

Returns the name of the method to be invoked, if applicable.

getN() - Method in class jeops.examples.Fibonacci

Returns the order of this element of the series.

getName() - Method in class jeops.engine.Rule

Returns the name of this rule.

getNextToken() - Method in class jeops.parser.Parser

getNextToken() - Method in class jeops.parser.ParserTokenManager

getNumDeclarations() - Method in class jeops.parser.Declaracoes

Returns the number of declarations in this set.

getObject() - Method in class jeops.expressions.Triple

Returns the object reference stored in this triple.

getObjectBase() - Method in class jeops.engine.KnowledgeBase

Returns the object base over which this knowledge base works.

getOk() - Method in class jeops.examples.Hanoi

Returns the state of this problem.

getPreviousExpression() - Method in class jeops.expressions.FieldJavaExpr

Returns the expression whose result has the field being accessed.

getPriority() - Method in class jeops.engine.Rule

Returns the priority of this rule.

getReference(String) - Method in class jeops.expressions.SymbolicTable

Returns the value of a variable, given its identifier.

getRuleBase() - Method in class jeops.engine.KnowledgeBase

Returns the rule base that controls this knowledge base.

getSon1() - Method in class jeops.examples.Fibonacci

Returns the first subproblem used to solve this recursion.

getSon2() - Method in class jeops.examples.Fibonacci

Returns the second subproblem used to solve this recursion.

getSource() - Method in class jeops.examples.Hanoi

Returns the source pin for this problem.

getSub1() - Method in class jeops.examples.Hanoi

Returns the first subproblem for this problem.

getSub2() - Method in class jeops.examples.Hanoi

Returns the second subproblem for this problem.

GetSuffix(int) - Method in class jeops.parser.ASCII_UCodeESC_CharStream

getTable() - Method in class jeops.engine.Rule

Returns the symbolic table to be used in this rule.

getToken(int) - Method in class jeops.parser.Parser

getTriples() - Method in class jeops.expressions.SymbolicTable

Returns the triples (class name, ident, value) of this symbolic table.

getType() - Method in class jeops.expressions.ActionJavaExpr

Returns the type of this expression.

getType(int) - Method in class jeops.parser.Declaracoes

Returns the type for the i-th declaration of this set.

getValue() - Method in class jeops.examples.Fibonacci

Returns the value of this element of the series.

getValue() - Method in class jeops.examples.StringTest

Returns the String value.

GREATER - Static variable in interface jeops.parser.ParserConstants

GT - Static variable in class jeops.expressions.BinaryJavaExpr

Constant used to indicate that this expression represents a greater than comparison.

H

Hanoi - class jeops.examples.Hanoi.

This class models an encapsulation for a solution for the Towers of Hanoi problem.

Hanoi(int, int, int) - Constructor for class jeops.examples.Hanoi

Class constructor.

hashCode() - Method in class jeops.engine.Rule

Returns a code used to store this rule in a hashtable.

hashCode() - Method in class jeops.expressions.SymbolicTable

Returns a hash code for this table.

I

IDENTIFIER - Static variable in interface jeops.parser.ParserConstants

identObjetos() - Method in class jeops.expressions.JavaExpr

Returns all object variable identifiers that are used in this expression.

image - Variable in class jeops.parser.Token

The string image of the token.

IMPORT - Static variable in interface jeops.parser.ParserConstants

ImportDeclaration() - Method in class jeops.parser.Parser

IN_FORMAL_COMMENT - Static variable in interface jeops.parser.ParserConstants

IN_MULTI_LINE_COMMENT - Static variable in interface jeops.parser.ParserConstants

IN_SINGLE_LINE_COMMENT - Static variable in interface jeops.parser.ParserConstants

INSERT - Static variable in interface jeops.parser.ParserConstants

insert(String, String) - Method in class jeops.expressions.SymbolicTable

Inserts a new pair (class name, identifier) in this table.

insertRule(Rule) - Method in class jeops.engine.RuleSorter

Inserts a rule in this sorter.

insertRule(Rule) - Method in class jeops.engine.MRURuleSorter

Inserts a rule in this sorter.

insertRule(Rule) - Method in class jeops.engine.NaturalRuleSorter

Inserts a rule in this sorter.

insertRule(Rule) - Method in class jeops.engine.OneShotRuleSorter

Inserts a rule in this sorter.

insertRule(Rule) - Method in class jeops.engine.LRURuleSorter

Inserts a rule in this sorter.

insertRule(Rule) - Method in class jeops.engine.ConflictSet

Inserts a rule in this conflict set.

insertRule(Rule) - Method in class jeops.engine.DefaultRuleSorter

Inserts a rule in this sorter.

insertRule(Rule) - Method in class jeops.engine.PriorityRuleSorter

Inserts a rule in this sorter.

INT - Static variable in class jeops.expressions.JavaExpr

Constant used to indicate that this expression's type is int.

INTEGER - Static variable in interface jeops.parser.ParserConstants

INTEGER_LITERAL - Static variable in interface jeops.parser.ParserConstants

isEmpty() - Method in class jeops.engine.RuleSorter

Checks whether this sorter has any rule to be fired.

isEmpty() - Method in class jeops.engine.ConflictSet

Checks whether this set has any elements.

isFireable() - Method in class jeops.engine.Rule

Checks whether the preconditions of this rule are (all) true.

isFireable(int) - Method in class jeops.engine.Rule

Checks whether the preconditions in a given line of this rule are (all) true.

J

JavaExpr - class jeops.expressions.JavaExpr.

This class models an expression of (our subset of) the java language.

JavaExpr() - Constructor for class jeops.expressions.JavaExpr

jeops.engine - package jeops.engine

This package contains the main classes of JEOPS.

jeops.examples - package jeops.examples

This package contains some examples of the utilization of JEOPS.

jeops.expressions - package jeops.expressions

This package contains the classes that define the nodes for our internal representation of Java expressions.

jeops.parser - package jeops.parser

This package contains the classes that implement the parser for the rules.

jj_nt - Variable in class jeops.parser.Parser

jjnewLexState - Static variable in class jeops.parser.ParserTokenManager

jjstrLiteralImages - Static variable in class jeops.parser.ParserTokenManager

K

keys() - Method in class jeops.parser.Declaracoes

Retorna uma enumeração com os identificadores das declarações.

kind - Variable in class jeops.parser.Token

An integer that describes the kind of this token.

KnowledgeBase - class jeops.engine.KnowledgeBase.

The main class of JEOPS.

KnowledgeBase(String) - Constructor for class jeops.engine.KnowledgeBase

Creates a new knowledge base, given the name of the file containing the rules.

KnowledgeBase(String, RuleSorter) - Constructor for class jeops.engine.KnowledgeBase

Creates a new knowledge base, given the name of the file containing the rules.

L

LAND - Static variable in class jeops.expressions.BinaryJavaExpr

Constant used to indicate that this expression represents a logical AND.

LE - Static variable in interface jeops.parser.ParserConstants

LEQ - Static variable in class jeops.expressions.BinaryJavaExpr

Constant used to indicate that this expression represents a less than or equals comparison.

LESS - Static variable in interface jeops.parser.ParserConstants

LETTER - Static variable in interface jeops.parser.ParserConstants

lexStateNames - Static variable in class jeops.parser.ParserTokenManager

LNOT - Static variable in class jeops.expressions.UnaryJavaExpr

Constant used to indicate that this expression represents a logical NOT.

LOCAL - Static variable in interface jeops.parser.ParserConstants

LOCAL_DEC - Static variable in interface jeops.parser.ParserConstants

LocalDeclarations() - Method in class jeops.parser.Parser

Lista de declaracoes locais com sua respectivas acoes.

lookingAhead - Variable in class jeops.parser.Parser

LOR - Static variable in class jeops.expressions.BinaryJavaExpr

Constant used to indicate that this expression represents a logical OR.

LRURuleSorter - class jeops.engine.LRURuleSorter.

A rule sorter that will fire the least recently used rule.

LRURuleSorter() - Constructor for class jeops.engine.LRURuleSorter

Class constructor.

LT - Static variable in class jeops.expressions.BinaryJavaExpr

Constant used to indicate that this expression represents a less than comparison.

M

main(String[]) - Static method in class jeops.examples.ProgHanoi

Starts the application.

main(String[]) - Static method in class jeops.examples.ProgFibo

Starts the application.

main(String[]) - Static method in class jeops.examples.ProgStrings

Starts the application.

main(String[]) - Static method in class jeops.parser.Parser

METHOD - Static variable in class jeops.expressions.ActionJavaExpr

Constant used to indicate that an expression type is a method call.

MethodEvaluationException - exception jeops.expressions.MethodEvaluationException.

This class models an exception that may be thrown when a method is invoked.

MethodEvaluationException() - Constructor for class jeops.expressions.MethodEvaluationException

Class constructor.

MethodEvaluationException(String) - Constructor for class jeops.expressions.MethodEvaluationException

Class constructor, given a detail message.

MethodJavaExpr - class jeops.expressions.MethodJavaExpr.

This class models a method call in (our subset of) the java language.

MethodJavaExpr(JavaExpr, String, JavaExpr[]) - Constructor for class jeops.expressions.MethodJavaExpr

Class constructor, for methods whose object in which it is invoked DOES come from another expression.

MethodJavaExpr(String, String, String, JavaExpr[]) - Constructor for class jeops.expressions.MethodJavaExpr

Class constructor, for methods whose object in which it is invoked does NOT come from another expression.

methodName() - Method in class jeops.expressions.MethodJavaExpr

Returns the name of the method represented by this expression.

MINUS - Static variable in interface jeops.parser.ParserConstants

MODIFIED - Static variable in interface jeops.parser.ParserConstants

MODIFY - Static variable in class jeops.expressions.ActionJavaExpr

Constant used to indicate that this expression is a modified statement.

modifyObject(Object) - Method in class jeops.engine.RuleBase

Tells this base that an object was modified in its object base, so that the rules with instantiations for that object are retested, and new cases can be added to the conflict set.

MRURuleSorter - class jeops.engine.MRURuleSorter.

A rule sorter that will fire the most recently used rule.

MRURuleSorter() - Constructor for class jeops.engine.MRURuleSorter

Class constructor.

MUL - Static variable in class jeops.expressions.BinaryJavaExpr

Constant used to indicate that this expression represents a multiplication.

MULTI_LINE_COMMENT - Static variable in interface jeops.parser.ParserConstants

MULTIPLY - Static variable in interface jeops.parser.ParserConstants

N

n - Variable in class jeops.examples.Fibonacci

The order of this element of the series.

Name() - Method in class jeops.parser.Parser

NaturalRuleSorter - class jeops.engine.NaturalRuleSorter.

A rule sorter that will fire each pair (rule, instanciations) only once, that is, no rule will fire twice with the same list of objects.

NaturalRuleSorter() - Constructor for class jeops.engine.NaturalRuleSorter

Class constructor.

NEQ - Static variable in class jeops.expressions.BinaryJavaExpr

Constant used to indicate that this expression represents an inequality comparison.

NEW - Static variable in interface jeops.parser.ParserConstants

newToken(int) - Static method in class jeops.parser.Token

Returns a new Token object, by default.

next - Variable in class jeops.parser.Token

A reference to the next regular (non-special) token from the input stream.

nextRule() - Method in class jeops.engine.RuleSorter

Returns the next rule to be fired.

nextRule() - Method in class jeops.engine.MRURuleSorter

Returns the next rule to be fired.

nextRule() - Method in class jeops.engine.NaturalRuleSorter

Returns the next rule to be fired.

nextRule() - Method in class jeops.engine.OneShotRuleSorter

Returns the next rule to be fired.

nextRule() - Method in class jeops.engine.LRURuleSorter

Returns the next rule to be fired.

nextRule() - Method in class jeops.engine.ConflictSet

Returns the next rule to be fired.

nextRule() - Method in class jeops.engine.DefaultRuleSorter

Returns the next rule to be fired.

nextRule() - Method in class jeops.engine.PriorityRuleSorter

Returns the next rule to be fired.

NoMoreRulesException - exception jeops.engine.NoMoreRulesException.

This class defines an exception that will be thrown when there aren't more rules to be fired in a conflict set.

NoMoreRulesException() - Constructor for class jeops.engine.NoMoreRulesException

Creates a new RuleNotFiredException, without a detailed message.

NoMoreRulesException(String) - Constructor for class jeops.engine.NoMoreRulesException

Creates a new NoMoreRulesException with a given detail message.

NoSuchClassException - exception jeops.expressions.NoSuchClassException.

This class models an exception that might be thrown when a reference to an inexistent class was attempted.

NoSuchClassException() - Constructor for class jeops.expressions.NoSuchClassException

Class constructor.

NoSuchClassException(String) - Constructor for class jeops.expressions.NoSuchClassException

Class constructor, given a detail message.

NOT - Static variable in interface jeops.parser.ParserConstants

NULL - Static variable in interface jeops.parser.ParserConstants

numIdentObjetos() - Method in class jeops.expressions.JavaExpr

Returns the number of object identifiers (variables) in this expression.

O

OBJ - Static variable in class jeops.expressions.JavaExpr

Constant used to indicate that this expression's type is Object.

ObjectBase - class jeops.engine.ObjectBase.

This class models the facts over which the inferenc engine will act.

ObjectBase() - Constructor for class jeops.engine.ObjectBase

Class constructor.

objectIdent() - Method in class jeops.expressions.MethodJavaExpr

Returns the identifier of the object that receives the method call.

objects(String) - Method in class jeops.engine.KnowledgeBase

Returns the objects of a given class.

objects(String) - Method in class jeops.engine.ObjectBase

Returns the objects of the given class.

objectType() - Method in class jeops.expressions.MethodJavaExpr

Returns the class of the object that receives the method call.

objectType() - Method in class jeops.expressions.ConstructorJavaExpr

Returns the class of the object that is created by this constructor.

objectType() - Method in class jeops.expressions.FieldJavaExpr

Returns the class of the object whose field is being accessed.

OneShotRuleSorter - class jeops.engine.OneShotRuleSorter.

A rule sorter that will fire each rule only once, even if it has more than one possible instantiations.

OneShotRuleSorter() - Constructor for class jeops.engine.OneShotRuleSorter

Class constructor.

OR - Static variable in interface jeops.parser.ParserConstants

P

PACKAGE - Static variable in interface jeops.parser.ParserConstants

ParametersList() - Method in class jeops.parser.Parser

ParseException - exception jeops.parser.ParseException.

This exception is thrown when parse errors are encountered.

ParseException() - Constructor for class jeops.parser.ParseException

The following constructors are for use by you for whatever purpose you can think of.

ParseException(String) - Constructor for class jeops.parser.ParseException

ParseException(Token, int[][], String[]) - Constructor for class jeops.parser.ParseException

This constructor is used by the method "generateParseException" in the generated parser.

Parser - class jeops.parser.Parser.

Parser(InputStream) - Constructor for class jeops.parser.Parser

Parser(ParserTokenManager) - Constructor for class jeops.parser.Parser

Parser(Reader) - Constructor for class jeops.parser.Parser

Parser(String, RuleBase) - Constructor for class jeops.parser.Parser

ParserConstants - interface jeops.parser.ParserConstants.

ParserTokenManager - class jeops.parser.ParserTokenManager.

ParserTokenManager(ASCII_UCodeESC_CharStream) - Constructor for class jeops.parser.ParserTokenManager

ParserTokenManager(ASCII_UCodeESC_CharStream, int) - Constructor for class jeops.parser.ParserTokenManager

PLUS - Static variable in interface jeops.parser.ParserConstants

PRE - Static variable in interface jeops.parser.ParserConstants

Precondition - class jeops.engine.Precondition.

This class models one of the preconditions of a rule.

Precondition(JavaExpr) - Constructor for class jeops.engine.Precondition

Creates a new precondition for a rule, given the expression that represents it.

Preconditions() - Method in class jeops.parser.Parser

Lista das pré-condições.

PreList() - Method in class jeops.parser.Parser

Primary_Expression() - Method in class jeops.parser.Parser

PriorityRuleSorter - class jeops.engine.PriorityRuleSorter.

A rule sorter that will choose the rule that has been first declared in the rules file.

PriorityRuleSorter() - Constructor for class jeops.engine.PriorityRuleSorter

Class constructor.

ProgFibo - class jeops.examples.ProgFibo.

Class used to test the Fibonacci example for JEOPS.

ProgFibo() - Constructor for class jeops.examples.ProgFibo

ProgHanoi - class jeops.examples.ProgHanoi.

Class used to test the Towers of Hanoi example for JEOPS.

ProgHanoi() - Constructor for class jeops.examples.ProgHanoi

ProgStrings - class jeops.examples.ProgStrings.

Class used to test the Strings example for JEOPS.

ProgStrings() - Constructor for class jeops.examples.ProgStrings

put(String, String) - Method in class jeops.parser.Declaracoes

Adds a new declaration to this set.

R

readChar() - Method in class jeops.parser.ASCII_UCodeESC_CharStream

ReInit(ASCII_UCodeESC_CharStream) - Method in class jeops.parser.ParserTokenManager

ReInit(ASCII_UCodeESC_CharStream, int) - Method in class jeops.parser.ParserTokenManager

ReInit(InputStream) - Method in class jeops.parser.Parser

ReInit(InputStream, int, int) - Method in class jeops.parser.ASCII_UCodeESC_CharStream

ReInit(InputStream, int, int, int) - Method in class jeops.parser.ASCII_UCodeESC_CharStream

ReInit(ParserTokenManager) - Method in class jeops.parser.Parser

ReInit(Reader) - Method in class jeops.parser.Parser

ReInit(Reader, int, int) - Method in class jeops.parser.ASCII_UCodeESC_CharStream

ReInit(Reader, int, int, int) - Method in class jeops.parser.ASCII_UCodeESC_CharStream

RelOperators() - Method in class jeops.parser.Parser

remove(Object) - Method in class jeops.engine.ObjectBase

Removes an object from this object base.

remove(String) - Method in class jeops.expressions.SymbolicTable

Removes a given identifier from this table.

removeNonFireableRules() - Method in class jeops.engine.RuleSorter

Re-test all instanciations of the rules to check whether they're still fireable, removing those that aren't anymore.

removeNonFirebleRules() - Method in class jeops.engine.ConflictSet

Re-test all instanciations of the rules in this set to check whether they're still fireable, removing those that aren't anymore.

removeRule(Rule) - Method in class jeops.engine.RuleSorter

Remove the given rule from the fireable rules.

removeRulesWith(Object) - Method in class jeops.engine.RuleSorter

Remove all rules from the fireable ones that uses the given object in its instantiations.

removeRulesWith(Object) - Method in class jeops.engine.ConflictSet

Remove all rules from this set that uses the given object in its instantiations.

reset() - Method in class jeops.engine.RuleBase

Removes all rules from this rule base.

retract(Object) - Method in class jeops.engine.KnowledgeBase

Removes a given object of this knowledge base.

retractObject(Object) - Method in class jeops.engine.RuleBase

Tells this base that an object was removed from its object base, so that the rules with instantiations for that object are removed from the object base

RETURN - Static variable in interface jeops.parser.ParserConstants

Rule - class jeops.engine.Rule.

This class models a rule to be evaluated in the inference engine.

RULE - Static variable in interface jeops.parser.ParserConstants

Rule(String, int) - Constructor for class jeops.engine.Rule

Creates an empty rule, given its name and priority.

RuleAction - class jeops.engine.RuleAction.

This class models an action of a rule to be executed if the rule's preconditions evaluate to true.

RuleAction(ActionJavaExpr) - Constructor for class jeops.engine.RuleAction

Class constructor.

RuleBase - class jeops.engine.RuleBase.

Class that models the heart of the inference engine.

RuleBase(ObjectBase) - Constructor for class jeops.engine.RuleBase

Creates a new rule base, given its object base.

RuleBase(ObjectBase, RuleSorter) - Constructor for class jeops.engine.RuleBase

Creates a new rule base, given its object base and a rule sorter to define the conflict resolution policy.

RuleBody() - Method in class jeops.parser.Parser

RuleDeclaration - class jeops.engine.RuleDeclaration.

This class models a variable declaration (universally quantified) used in a rule definition.

RuleDeclaration() - Method in class jeops.parser.Parser

RuleDeclaration(String, String) - Constructor for class jeops.engine.RuleDeclaration

Class constructor.

RuleLocalDeclaration - class jeops.engine.RuleLocalDeclaration.

This class models a local variable declaration of a rule.

RuleLocalDeclaration(String, String, JavaExpr) - Constructor for class jeops.engine.RuleLocalDeclaration

Class constructor.

RuleNotFiredException - exception jeops.engine.RuleNotFiredException.

This class models an exception that may be thrown when a rule can't be fired, maybe due to its bad formation or by an exception being thrown when firing it.

RuleNotFiredException() - Constructor for class jeops.engine.RuleNotFiredException

Class constructor.

RuleNotFiredException(String) - Constructor for class jeops.engine.RuleNotFiredException

Class constructor, given a detail message.

ruleRemoved(String) - Method in class jeops.engine.MRURuleSorter

Callback method, used to inform this class that a rule was removed from this sorter.

ruleRemoved(String) - Method in class jeops.engine.NaturalRuleSorter

Callback method, used to inform this class that a rule was removed from this sorter.

ruleRemoved(String) - Method in class jeops.engine.OneShotRuleSorter

Callback method, used to inform this class that a rule was removed from this sorter.

ruleRemoved(String) - Method in class jeops.engine.LRURuleSorter

Callback method, used to inform this class that a rule was removed from this sorter.

ruleRemoved(String) - Method in class jeops.engine.DefaultRuleSorter

Callback method, used to inform this class that a rule was removed from this sorter.

ruleRemoved(String) - Method in class jeops.engine.PriorityRuleSorter

Callback method, used to inform this class that a rula was removed from this sorter.

RuleSorter - class jeops.engine.RuleSorter.

Abstract class that defines the methods needed by any rule sorter, used by the conflict set to choose the rule to be fired.

RuleSorter() - Constructor for class jeops.engine.RuleSorter

Class constructor.

run() - Method in class jeops.engine.KnowledgeBase

Fires the rules in the rule base with the objects present in the object base, until no rule is fireable anymore.

S

setOk(boolean) - Method in class jeops.examples.Hanoi

Determines whether this problem has already been solved.

setReference(String, Object) - Method in class jeops.expressions.SymbolicTable

Defines the value of a variable, given its identifier and the new value.

setRuleSorter(RuleSorter) - Method in class jeops.engine.RuleBase

Defines a conflict set policy for this rule base.

setRuleSorter(RuleSorter) - Method in class jeops.engine.KnowledgeBase

Defines a conflict set policy for this knowledge base.

setRuleSorter(RuleSorter) - Method in class jeops.engine.ConflictSet

Modifies this conflict set's rule sorter.

setSon1(Fibonacci) - Method in class jeops.examples.Fibonacci

Defines the first subproblem used to solve this recursion.

setSon2(Fibonacci) - Method in class jeops.examples.Fibonacci

Defines the second subproblem used to solve this recursion.

setSub1(Hanoi) - Method in class jeops.examples.Hanoi

Determines the first subproblem for this problem.

setSub2(Hanoi) - Method in class jeops.examples.Hanoi

Determines the second subproblem for this problem.

setValue(int) - Method in class jeops.examples.Fibonacci

Defines the value of this element in the series.

setValue(String) - Method in class jeops.examples.StringTest

Defines the String value.

SINGLE_LINE_COMMENT - Static variable in interface jeops.parser.ParserConstants

son1 - Variable in class jeops.examples.Fibonacci

The first subproblem used to solve this recursion.

son2 - Variable in class jeops.examples.Fibonacci

The second subproblem used to solve this recursion.

specialToken - Variable in class jeops.parser.Token

This field is used to access special tokens that occur prior to this token, but after the immediately preceding regular (non-special) token.

staticFlag - Static variable in class jeops.parser.ASCII_UCodeESC_CharStream

STRING - Static variable in interface jeops.parser.ParserConstants

StringTest - class jeops.examples.StringTest.

Class used to test string manipulation in JEOPS.

StringTest(String) - Constructor for class jeops.examples.StringTest

Class constructor.

SUB - Static variable in class jeops.expressions.BinaryJavaExpr

Constant used to indicate that this expression represents a subtraction.

SUM - Static variable in class jeops.expressions.BinaryJavaExpr

Constant used to indicate that this expression represents a sum.

SwitchTo(int) - Method in class jeops.parser.ParserTokenManager

SymbolicTable - class jeops.expressions.SymbolicTable.

This class models a symbolic table to be used by the rules.

SymbolicTable() - Constructor for class jeops.expressions.SymbolicTable

Class constructor.

T

tipo() - Method in class jeops.expressions.JavaExpr

Returns the type of this expression.

token - Variable in class jeops.parser.Parser

Token - class jeops.parser.Token.

Describes the input token stream.

token_source - Variable in class jeops.parser.Parser

Token() - Constructor for class jeops.parser.Token

tokenImage - Variable in class jeops.parser.ParseException

This is a reference to the "tokenImage" array of the generated parser within which the parse error occurred.

tokenImage - Static variable in interface jeops.parser.ParserConstants

TokenMgrError - error jeops.parser.TokenMgrError.

TokenMgrError() - Constructor for class jeops.parser.TokenMgrError

TokenMgrError(boolean, int, int, int, String, char, int) - Constructor for class jeops.parser.TokenMgrError

TokenMgrError(String, int) - Constructor for class jeops.parser.TokenMgrError

toString() - Method in class jeops.engine.Precondition

toString() - Method in class jeops.expressions.MethodJavaExpr

Returns a String representation of this expression.

toString() - Method in class jeops.expressions.ConstructorJavaExpr

toString() - Method in class jeops.expressions.Classe

Returns a String representation of this object.

toString() - Method in class jeops.expressions.FieldJavaExpr

Returns a String representation of this expression.

toString() - Method in class jeops.expressions.ActionJavaExpr

toString() - Method in class jeops.parser.Token

Returns the image.

totallyEquals(Triple) - Method in class jeops.expressions.Triple

Compares all fields of this triple with the given object.

Triple - class jeops.expressions.Triple.

Auxiliar class that stores triples with (class name, variable identifier and references to the actual object), to be used in the symbolic table.

Triple(String, String, Object) - Constructor for class jeops.expressions.Triple

Class constructor.

TRUE - Static variable in interface jeops.parser.ParserConstants

TypeList() - Method in class jeops.parser.Parser

Retorna uma Hashtable contendo a lista de declaracoes.

U

UMINUS - Static variable in class jeops.expressions.UnaryJavaExpr

Constant used to indicate that this expression represents an unary minus.

UnaryJavaExpr - class jeops.expressions.UnaryJavaExpr.

This class models an unary expression of (our subset of) the java language.

UnaryJavaExpr(JavaExpr, int) - Constructor for class jeops.expressions.UnaryJavaExpr

Class constructor.

V

value - Variable in class jeops.examples.Fibonacci

The value of the element in the series.

value - Variable in class jeops.examples.StringTest

The value of the wrapped String.

VarJavaExpr - class jeops.expressions.VarJavaExpr.

This class models an expression of the java language which is composed only.

VarJavaExpr(String, String) - Constructor for class jeops.expressions.VarJavaExpr

Class constructor.

A B C D E F G H I J K L M N O P R S T U V