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

A

Abs - class sjm.examples.sling.Abs.

This class wraps an absolute value function around another source function.

Abs() - Constructor for class sjm.examples.sling.Abs

Constructs abs(t).

Abs(SlingFunction) - Constructor for class sjm.examples.sling.Abs

Constructs a function object that wraps an abs function around the given source function.

absorbDigits(PushbackReader, boolean) - Method in class sjm.parse.tokens.NumberState

absorbedDot - Variable in class sjm.parse.tokens.NumberState

absorbedE - Variable in class sjm.examples.tokens.ScientificNumberState

absorbedLeadingMinus - Variable in class sjm.parse.tokens.NumberState

accept(ParserVisitor) - Method in class sjm.parse.Parser

Accepts a "visitor" which will perform some operation on a parser structure.

accept(ParserVisitor, Vector) - Method in class sjm.parse.Parser

Accepts a "visitor" along with a collection of previously visited parsers.

accept(ParserVisitor, Vector) - Method in class sjm.parse.Terminal

Accept a "visitor" and a collection of previously visited parsers.

accept(ParserVisitor, Vector) - Method in class sjm.parse.Sequence

Accept a "visitor" and a collection of previously visited parsers.

accept(ParserVisitor, Vector) - Method in class sjm.parse.Alternation

Accept a "visitor" and a collection of previously visited parsers.

accept(ParserVisitor, Vector) - Method in class sjm.parse.Repetition

Accept a "visitor" and a collection of previously visited parsers.

accept(ParserVisitor, Vector) - Method in class sjm.parse.Empty

Accept a "visitor" and a collection of previously visited parsers.

actionPerformed(ActionEvent) - Method in class sjm.examples.query.JaqlMediator

Parse the input as a query, prove it repeatedly, and show its results.

actionPerformed(ActionEvent) - Method in class sjm.examples.logic.LogikusMediator

This method reacts, when the user presses one of the IDE's buttons.

actionPerformed(ActionEvent) - Method in class sjm.examples.sling.SlingMediator

This method reacts, when the user presses one of the IDE's buttons.

actionPerformedUnsafe(ActionEvent) - Method in class sjm.examples.query.JaqlMediator

add(Chip) - Static method in class sjm.examples.chips.ChipBase

Adds a chip to the database.

add(ComponentNode) - Method in class sjm.examples.pretty.CompositeNode

Add a node after the currently held nodes.

add(Customer) - Static method in class sjm.examples.chips.ChipBase

Adds a customer to the database.

add(double) - Method in class sjm.examples.design.RunningAverage

Add a value to the running average, increasing the count by 1 and the total by the given value.

add(Order) - Static method in class sjm.examples.chips.ChipBase

Adds an order to the database.

add(Parser) - Method in class sjm.parse.CollectionParser

Adds a parser to the collection.

add(Renderable) - Method in class sjm.examples.sling.RenderableCollection

Adds a renderable function to the collection.

add(String) - Method in class sjm.parse.tokens.SymbolRootNode

Add the given string as a symbol.

add(String) - Method in class sjm.parse.tokens.SymbolState

Add a multi-character symbol.

add(Vector, Vector) - Static method in class sjm.parse.Parser

Adds the elements of one vector to another.

addAxiom(Axiom) - Method in class sjm.engine.Program

Adds an axiom to this program.

addClassName(String) - Method in class sjm.examples.query.QueryBuilder

Add the given class name to the query.

addClassName(String) - Method in class sjm.examples.query.ChipSpeller

addCommand(Command) - Method in class sjm.imperative.CommandSequence

Add a command to the sequence of commands to which this object will cascade an execute command.

addComparison(Comparison) - Method in class sjm.examples.query.QueryBuilder

Add a comparison to the query.

addDescendantLine(String) - Method in class sjm.parse.tokens.SymbolNode

AddFunctionCommand - class sjm.examples.sling.AddFunctionCommand.

This command, when executed, evaluates a renderable function and adds it to a renderable collection.

AddFunctionCommand(RenderableCollection, SlingFunction, Variable) - Constructor for class sjm.examples.sling.AddFunctionCommand

Construct a command to add the supplied function to the supplied function collection.

addReservedWord(String) - Method in class sjm.examples.reserved.WordOrReservedState

Adds the specified string as a known reserved word.

addTerm(Term) - Method in class sjm.examples.query.QueryBuilder

Add a term that will appear in the head structure of the query.

addVariable(Variable) - Method in class sjm.engine.Unification

Adds a variable to this unification.

addVariableName(String) - Method in class sjm.examples.query.ChipSpeller

after - Variable in class sjm.examples.track.TrackException

alligator() - Static method in class sjm.examples.pretty.ShowPrettyAlternations

Returns a parser that recognizes some alligators.

AlsoFrenchAssembler - class sjm.examples.coffee.AlsoFrenchAssembler.

This assembler sets a target coffee object boolean that indicates the type of coffee also comes in a french roast.

AlsoFrenchAssembler() - Constructor for class sjm.examples.coffee.AlsoFrenchAssembler

alsoOfferFrench - Variable in class sjm.examples.coffee.Coffee

Alternation - class sjm.parse.Alternation.

An Alternation object is a collection of parsers, any one of which can successfully match against an assembly.

Alternation() - Constructor for class sjm.parse.Alternation

Constructs a nameless alternation.

Alternation(String) - Constructor for class sjm.parse.Alternation

Constructs an alternation with the given name.

altitude - Variable in class sjm.examples.engine.City

altitudes() - Static method in class sjm.examples.engine.ShowProgram

Return a small database of cities and their altitudes.

amy - Variable in class sjm.examples.karate.KaratePuzzle

ancestry() - Method in class sjm.parse.tokens.SymbolNode

Show the symbol this node represents.

ancestry() - Method in class sjm.parse.tokens.SymbolRootNode

A root node has no parent and no character of its own, so its ancestry is "".

AndAssembler - class sjm.examples.regular.AndAssembler.

Pop two Parsers from the stack and push a new Sequence of them.

AndAssembler() - Constructor for class sjm.examples.regular.AndAssembler

Anonymous - class sjm.engine.Anonymous.

An anonymous variable unifies successfully with any other term, without binding to the term.

Anonymous() - Constructor for class sjm.engine.Anonymous

Constructs an anonymous variable.

AnonymousAssembler - class sjm.examples.logic.AnonymousAssembler.

Pushes an anonymous variable onto an assembly's stack.

AnonymousAssembler() - Constructor for class sjm.examples.logic.AnonymousAssembler

append(AxiomSource) - Method in class sjm.engine.Program

Appends all the axioms of another source to this one.

append(Unification) - Method in class sjm.engine.Unification

Adds all the variables of another unification to this one.

arg() - Method in class sjm.examples.query.ComparisonParser

Returns a parser that will recognize a comparison argument.

arg() - Method in class sjm.examples.logic.LogikusParser

Arithmetic - class sjm.examples.sling.Arithmetic.

This class wraps an arithmetic function around two source functions.

Arithmetic(char) - Constructor for class sjm.examples.sling.Arithmetic

Constructs operator(t, t), where operator is one of the symbols +, -, /, *, %.

Arithmetic(char, SlingFunction, SlingFunction) - Constructor for class sjm.examples.sling.Arithmetic

Constructs a function object that is the sum, difference, quotient, product or remainder (depending on the operator) of the supplied functions.

arithmetic(double, double) - Method in class sjm.examples.sling.Arithmetic

ArithmeticAssembler - class sjm.examples.logic.ArithmeticAssembler.

This assembler pops two arithmetic operands, builds an ArithmeticOperator from them, and pushes it.

ArithmeticAssembler(char) - Constructor for class sjm.examples.logic.ArithmeticAssembler

Constructs an assembler that will stack an ArithmeticOperator with the specified operator.

ArithmeticExpressionException - exception sjm.examples.arithmetic.ArithmeticExpressionException.

Signals that a given string is not recognizable as an arthmetic expression.

ArithmeticExpressionException() - Constructor for class sjm.examples.arithmetic.ArithmeticExpressionException

Constructs a ArithmeticExpressionException with no detail message.

ArithmeticExpressionException(String) - Constructor for class sjm.examples.arithmetic.ArithmeticExpressionException

Constructs a ArithmeticExpressionException with the specified detail message.

ArithmeticOperator - class sjm.engine.ArithmeticOperator.

An ArithmeticOperator represents an arithmetic operation that will perform itself as part of a proof.

ArithmeticOperator(char, ArithmeticTerm, ArithmeticTerm) - Constructor for class sjm.engine.ArithmeticOperator

Constructs an arithmetic operator with the indicated operator and terms.

ArithmeticParser - class sjm.examples.arithmetic.ArithmeticParser.

This class provides a parser that recognizes arithmetic expressions.

ArithmeticParser() - Constructor for class sjm.examples.arithmetic.ArithmeticParser

ArithmeticTerm - interface sjm.engine.ArithmeticTerm.

This marker interface indicates a type of term that can participate in an arithmetic expression, namely numbers, variables, and other arithmetic expressions.

arithmeticValue(double, double) - Method in class sjm.engine.ArithmeticOperator

arity() - Method in class sjm.engine.Structure

Return the number of terms in this structure.

as - Variable in class sjm.engine.DynamicRule

aspectRatio() - Method in class sjm.examples.sling.Extrema

Return the ratio of the width of the extremes to the height of the extremes.

assembler - Variable in class sjm.parse.Parser

Assembler - class sjm.parse.Assembler.

Parsers that have an Assembler ask it to work on an assembly after a successful match.

Assembler() - Constructor for class sjm.parse.Assembler

assembleStudents(Object[], Object[]) - Method in class sjm.examples.karate.KaratePuzzle

Assembly - class sjm.parse.Assembly.

An assembly maintains a stream of language elements along with stack and target objects.

Assembly() - Constructor for class sjm.parse.Assembly

assembly(String) - Method in class sjm.parse.tokens.TokenTester

assembly method comment.

assembly(String) - Method in class sjm.parse.ParserTester

assembly(String) - Method in class sjm.parse.chars.CharacterTester

assembly method comment.

assembly(String) - Method in class sjm.examples.sling.SlingTester

AssignFunctionCommand - class sjm.examples.sling.AssignFunctionCommand.

This command, when executed, evaluates a function and sets it as the value of a variable.

AssignFunctionCommand(Variable, SlingFunction) - Constructor for class sjm.examples.sling.AssignFunctionCommand

Construct a command to assign the supplied function to the supplied variable.

assignment() - Method in class sjm.examples.sling.SlingParser

AssignmentAssembler - class sjm.examples.sling.AssignmentAssembler.

Pops a function and a variable, constructs an AssignFunctionCommand from these terms, and pushes the command.

AssignmentAssembler() - Constructor for class sjm.examples.sling.AssignmentAssembler

AssignmentCommand - class sjm.imperative.AssignmentCommand.

This class holds an sjm.engine.Evaluation object, and executes it upon receiving an execute command.

AssignmentCommand(Evaluation) - Constructor for class sjm.imperative.AssignmentCommand

Construct an Assignment command from the given Evaluation.

Atom - class sjm.engine.Atom.

An Atom is a Structure that no terms.

Atom(Object) - Constructor for class sjm.engine.Atom

Contructs an atom from the specified object.

AtomAssembler - class sjm.examples.logic.AtomAssembler.

Exchanges a token on an assembly's stack with an atom that has the token's value as its functor.

AtomAssembler() - Constructor for class sjm.examples.logic.AtomAssembler

average() - Method in class sjm.examples.design.RunningAverage

Return the average so far.

AverageAssembler - class sjm.examples.design.AverageAssembler.

This assembler updates a running average.

AverageAssembler() - Constructor for class sjm.examples.design.AverageAssembler

Axiom - interface sjm.engine.Axiom.

In practice, an Axiom is either a fact or a rule, the two types of objects that can appear in a program.

axiom() - Method in class sjm.examples.logic.LogikusParser

Return a parser that recognizes the grammar:

axiom(String) - Static method in class sjm.examples.logic.LogikusFacade

axiom(TokenString) - Static method in class sjm.examples.logic.LogikusFacade

AxiomAssembler - class sjm.examples.logic.AxiomAssembler.

Pops the structures of a rule from an assembly's stack, and constructs and pushes a rule.

AxiomAssembler() - Constructor for class sjm.examples.logic.AxiomAssembler

AxiomEnumeration - interface sjm.engine.AxiomEnumeration.

An object that implements the AxiomEnumeration interface generates a series of axioms, one at a time.

axioms - Variable in class sjm.engine.Program

axioms - Variable in class sjm.engine.ConsultingStructure

axioms() - Method in class sjm.examples.query.ChipSource

Returns all the data in the chip database.

axioms() - Method in class sjm.engine.Program

Returns an enumeration of the axioms in this program.

axioms() - Method in class sjm.engine.ConsultingStructure

axioms() - Method in interface sjm.engine.AxiomSource

Returns all the axioms from a source.

axioms(Structure) - Method in class sjm.examples.query.ChipSource

Returns all the data in the chip database.

axioms(Structure) - Method in class sjm.engine.Program

Returns an enumeration of the axioms in this program.

axioms(Structure) - Method in interface sjm.engine.AxiomSource

Returns an enumeration of axioms.

AxiomSource - interface sjm.engine.AxiomSource.

An AxiomSource is a provider of axioms.