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

A

additionalIndentation - Static variable in class LogicTree

additionalIndentation determines how much additional Indentation there is at each level of the tree when it is converted to a String.

And - class And.

a LogicTree tree with a "*" operator and two subtrees

and(LogicTree, LogicTree) - Static method in class LogicTree

pseudo-constructor for an "and" tree

And(LogicTree, LogicTree) - Constructor for class And

B

BinaryTree - class BinaryTree.

a logic tree with a generic binary operator

BinaryTree(String, LogicTree, LogicTree) - Constructor for class BinaryTree

Construct a logic tree with a generic binary operator.

C

C0 - Static variable in class LogicTree

C0 is a tree for the constant 0 (false).

C1 - Static variable in class LogicTree

C1 is a tree for the constant 1 (true).

category(char) - Method in class LogicParser

category determines an integer category indicator for any character.

cause - Variable in class Failure

description of the cause of failure

CharReader - class CharReader.

A simple reader for reading chars one at a time from a String.

CharReader(String) - Constructor for class CharReader

Construct a CharReader for a String.

chars - Variable in class LogicParser

CharReader for the input String

CONSTANT - Static variable in class LogicParser

E

eof - Static variable in class CharReader

Integer returned by StringReader for end of input.

F

Failure - class Failure.

a LogicTree tree representing the result of illegal input

failure(String) - Static method in class LogicTree

pseudo-constructor for a failure

Failure(String) - Constructor for class Failure

Construct a failure indicator.

False - class False.

a LogicTree tree for the constant 0 (false)

False() - Constructor for class False

G

get() - Method in class CharReader

Get the next non-whitespace "character", returning nullchar if there are no more characters.

H

hasMore() - Method in class CharReader

Return true if there are more characters to be get, false otherwise.

I

Iff - class Iff.

a LogicTree tree with an "=" operator and two subtrees

iff(LogicTree, LogicTree) - Static method in class LogicTree

pseudo-constructor for an "iff" tree

Iff(LogicTree, LogicTree) - Constructor for class Iff

Implies - class Implies.

a LogicTree tree with an ">" operator and two subtrees

implies(LogicTree, LogicTree) - Static method in class LogicTree

pseudo-constructor for an "implies" tree

Implies(LogicTree, LogicTree) - Constructor for class Implies

isFailure() - Method in class LogicTree

Tell whether this tree is a failure.

L

LEFTPAREN - Static variable in class LogicParser

leftSubtree - Variable in class BinaryTree

the left subtree of this tree

LogicParser - class LogicParser.

LogicParser(String) - Constructor for class LogicParser

Construct a LogicParser for a given input String.

LogicTree - class LogicTree.

A LogicTree represents the syntax of a propositional logic expression.

LogicTree() - Constructor for class LogicTree

M

main(String[]) - Static method in class LogicParser

Skeletal demonstration program

main(String[]) - Static method in class LogicTree

test program that constructs several trees and displays them

N

names - Variable in class LogicParser

Names correspond to the above categories.

Not - class Not.

a LogicTree tree with a "'" operator and one subtrees

not(LogicTree) - Static method in class LogicTree

pseudo-constructor for a "not" tree

Not(LogicTree) - Constructor for class Not

nullchar - Static variable in class CharReader

Character returned when end of input reached.

O

op - Variable in class BinaryTree

the operator

op - Variable in class UnaryTree

the operator

OPERATOR - Static variable in class LogicParser

Or - class Or.

a LogicTree tree with a "+" operator and two subtrees

or(LogicTree, LogicTree) - Static method in class LogicTree

pseudo-constructor for an "or" tree

Or(LogicTree, LogicTree) - Constructor for class Or

OTHER - Static variable in class LogicParser

P

parse() - Method in class LogicParser

Place-holder overall parse method.

peek() - Method in class CharReader

Return the next non-whitespace character, but leave the character in the input to be gotten again.

R

readNonWhiteSpace() - Method in class CharReader

Get the next non-whitespace character, returning nullchar if there are no more characters.

RIGHTPAREN - Static variable in class LogicParser

rightSubtree - Variable in class BinaryTree

the right subtree of this tree

S

setTrace(boolean) - Method in class CharReader

Set the trace on or off.

subtree - Variable in class UnaryTree

the one subtree of this tree

T

toString() - Method in class CharReader

Return the remaining input as a String.

toString() - Method in class LogicTree

Convert the tree to a String representation.

toStringBuffer(String, StringBuffer) - Method in class LogicTree

Put the tree's representation into a StringBuffer.

toStringBuffer(String, StringBuffer) - Method in class BinaryTree

toStringBuffer(String, StringBuffer) - Method in class UnaryTree

toStringBuffer(String, StringBuffer) - Method in class Unit

toStringBuffer(String, StringBuffer) - Method in class Failure

traceOn - Variable in class CharReader

Indicate whether tracing is on or off.

True - class True.

a LogicTree tree for the constant 1 (true)

True() - Constructor for class True

U

UnaryTree - class UnaryTree.

a logic tree with a generic unary operator

UnaryTree(String, LogicTree) - Constructor for class UnaryTree

Construct a logic tree with a generic unary operator.

Unit - class Unit.

a LogicTree tree that is a leaf, either a constant or variable

Unit(String) - Constructor for class Unit

construct a leaf

V

V() - Method in class LogicParser

Parse method: Get a var from the input.

value - Variable in class Unit

the representation of this leaf as a string

Var - class Var.

a LogicTree tree for a variable with a given name

var(char) - Static method in class LogicTree

pseudo-constructor for a logical variable

Var(char) - Constructor for class Var

VARIABLE - Static variable in class LogicParser

int constants for various character categories

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