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

C

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

c(int, int) - Static method in class sjm.combinatorics.Combinatoric

cachedTokenString - Variable in class sjm.parse.tokens.TokenStringSource

calculateCorners(double) - Method in class sjm.examples.sling.SlingPanel

calculateXforGivenY(double) - Method in class sjm.utensil.LinearCalculator

Return the value on the first scale, corresponding to the given value on the second scale.

calculateXforGivenY(double) - Method in class sjm.utensil.LimitingLinearCalculator

Return the value on the first scale, corresponding to the given value on the second scale.

calculateYforGivenX(double) - Method in class sjm.utensil.LinearCalculator

Return the value on the second scale, corresponding to the given value on the first scale.

calculateYforGivenX(double) - Method in class sjm.utensil.LimitingLinearCalculator

Return the value on the second scale, corresponding to the given value on the first scale.

callCustomer() - Static method in class sjm.examples.tests.Dangle

canEstablish() - Method in class sjm.engine.DynamicRule

"Can establish" means that either a rule can prove itself, or that the rule is empty.

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

Returns false.

canFindNextProof() - Method in class sjm.engine.DynamicRule

Tests if this rule can find another proof, and, if so, sets this rule's variables to the values that make the proof true.

canFindNextProof() - Method in class sjm.engine.Gateway

Returns true if the gate is closed and this gateway can find a new proof.

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

Tests if this structure can find another proof, and, if so, sets this structure's variables to the values that make the proof true.

canGenerateProblem(int) - Method in class sjm.parse.ParserTester

CannotCloneAnotherType - class sjm.examples.cloning.CannotCloneAnotherType.

This class will not compile; it just shows that an object cannot send clone() to another type of object.

CannotCloneAnotherType() - Constructor for class sjm.examples.cloning.CannotCloneAnotherType

CannotCloneWithoutCloneable - class sjm.examples.cloning.CannotCloneWithoutCloneable.

This class will compile but not run, since the class does not implement Cloneable.

CannotCloneWithoutCloneable() - Constructor for class sjm.examples.cloning.CannotCloneWithoutCloneable

canProveOnce() - Method in class sjm.engine.Gateway

Returns true if the comparison operator holds true between each pair of terms.

canProveOnce() - Method in class sjm.engine.ConsultingNot

Returns false if there is any way to prove this structure.

canProveOnce() - Method in class sjm.engine.Comparison

Returns true if the comparison operator holds true between the values of this comparison's terms.

canProveOnce() - Method in class sjm.engine.Evaluation

Returns true if this Evaluation can unify its first term with the value of its second term.

canProveOnce() - Method in class sjm.examples.sling.FunctionComparison

Returns true if the comparison operator holds true between the values of this comparison's terms.

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

Return true if this structure can unify with another rule in the program.

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

Cartesian - class sjm.examples.sling.Cartesian.

This class combines the y component of each of two source functions to form a new two-dimensional function.

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

Constructs cartesian(t, t).

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

Constructs a function object that combines the y components of the two sources into the x and y values of a new function.

CaselessLiteral - class sjm.parse.tokens.CaselessLiteral.

A CaselessLiteral matches a specified String from an assembly, disregarding case.

CaselessLiteral(String) - Constructor for class sjm.parse.tokens.CaselessLiteral

Constructs a literal that will match the specified string, given mellowness about case.

Ceil - class sjm.examples.sling.Ceil.

This class wraps a ceil function around another source function.

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

Constructs ceil(t).

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

Constructs a function object that wraps a ceil function around the given source function.

center(Frame) - Static method in class sjm.utensil.SwingUtensil

Char - class sjm.parse.chars.Char.

A Char matches a character from a character assembly.

Char() - Constructor for class sjm.parse.chars.Char

character - Variable in class sjm.parse.chars.SpecificChar

the character to match

CharacterAssembly - class sjm.parse.chars.CharacterAssembly.

A CharacterAssembly is an Assembly whose elements are characters.

CharacterAssembly(String) - Constructor for class sjm.parse.chars.CharacterAssembly

Constructs a CharacterAssembly from the given String.

characters(char[], int, int) - Method in class sjm.examples.coffee.ShowCoffeeXML

Receive notification of character data inside an element.

characters(String, Object) - Method in class sjm.examples.coffee.Helper

An application that uses a SAX parser should call this method upon receiving a characters event.

characters(String, Object) - Method in class sjm.examples.coffee.PriceHelper

Sets a target coffee object's price attribute to the double value of the given string.

characters(String, Object) - Method in class sjm.examples.coffee.CountryHelper

Sets a target coffee object's country attribute to the given string.

characters(String, Object) - Method in class sjm.examples.coffee.NameHelper

Sets a target coffee object's name attribute to the given string.

characters(String, Object) - Method in class sjm.examples.coffee.RoastHelper

Sets a target coffee object's roast attribute to the given string.

characters(String, Object) - Method in class sjm.examples.coffee.FormerNameHelper

Sets a target coffee object's formerName attribute to the given string.

characterState - Variable in class sjm.parse.tokens.Tokenizer

CharacterTester - class sjm.parse.chars.CharacterTester.

CharacterTester(Parser) - Constructor for class sjm.parse.chars.CharacterTester

CharAssembler - class sjm.examples.regular.CharAssembler.

Pop a Character from the stack and push a SpecificChar parser in its place.

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

charbuf - Variable in class sjm.parse.tokens.QuoteState

charbuf - Variable in class sjm.parse.tokens.WordState

charges() - Static method in class sjm.examples.engine.ShowProof

Return a small database of shipping charges.

checkBuf(int) - Method in class sjm.examples.sling.SlingPanel

checkBufLength(int) - Method in class sjm.parse.tokens.QuoteState

checkBufLength(int) - Method in class sjm.parse.tokens.WordState

checkForUppercase(TokenString, String) - Static method in class sjm.examples.logic.LogikusFacade

checkReserved(Assembly, Assembly) - Method in class sjm.examples.sling.SlingMediator

checkResult(String, Assembly, Assembly) - Method in class sjm.examples.sling.SlingMediator

children - Variable in class sjm.parse.tokens.SymbolNode

children - Variable in class sjm.parse.tokens.SymbolRootNode

children - Variable in class sjm.examples.pretty.CompositeNode

chip - Static variable in class sjm.examples.chips.ChipBase

chip - Variable in class sjm.examples.chips.Order

Chip - class sjm.examples.chips.Chip.

A chip is a type of potato or corn chip that a mythical company offers.

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

Returns a dictionary of chip types.

chip(int) - Static method in class sjm.examples.chips.ChipBase

Return a chip, given its ID.

Chip(Integer, String, Double, Double, String) - Constructor for class sjm.examples.chips.Chip

Create a chip given its ID, name, price per bag, ounces per bag, and type of oil.

Chip(int, String, double, double, String) - Constructor for class sjm.examples.chips.Chip

Create a chip given its ID, name, price per bag, ounces per bag, and type of oil.

ChipBase - class sjm.examples.chips.ChipBase.

This class contains a small database of chips, customers, and orders.

ChipBase() - Constructor for class sjm.examples.chips.ChipBase

chipID - Variable in class sjm.examples.chips.Chip

chipName - Variable in class sjm.examples.chips.Chip

chipSource - Variable in class sjm.examples.query.JaqlMediator

ChipSource - class sjm.examples.query.ChipSource.

This class draws on data from the class ChipBase in sjm.examples.chips, to supplies facts about chips, customers, and orders.

chipSource() - Method in class sjm.examples.query.JaqlMediator

ChipSource() - Constructor for class sjm.examples.query.ChipSource

ChipSpeller - class sjm.examples.query.ChipSpeller.

This class maintains dictionaries of the proper spelling of class and variable names in the chip object model.

ChipSpeller() - Constructor for class sjm.examples.query.ChipSpeller

Initialize the ChipSpeller.

City - class sjm.examples.engine.City.

This class shows a Java class counterpart to a simple structure.

City(String, int) - Constructor for class sjm.examples.engine.City

Constructs a city.

className() - Method in class sjm.examples.query.JaqlParser

ClassNameAssembler - class sjm.examples.query.ClassNameAssembler.

Pops a class name, and informs a QueryBuilder that this is a class to select from.

ClassNameAssembler() - Constructor for class sjm.examples.query.ClassNameAssembler

classNames - Variable in class sjm.examples.query.QueryBuilder

classNames - Variable in class sjm.examples.query.ChipSpeller

classNames() - Method in class sjm.examples.query.JaqlParser

cleanup() - Method in class sjm.engine.Gateway

Insert the method's description here.

cleanup() - Method in class sjm.engine.ConsultingNot

After succeeding once, unbind any variables bound during the successful proof, and set the axioms to begin again at the beginning.

cleanup() - Method in class sjm.engine.Evaluation

clear() - Method in class sjm.engine.Scope

Remove all variables from this scope.

clearButton - Variable in class sjm.examples.query.JaqlMediator

clearButton - Variable in class sjm.examples.query.JaqlUe

clearButton - Variable in class sjm.examples.sling.SlingIde

clearButton() - Method in class sjm.examples.query.JaqlUe

clearButton() - Method in class sjm.examples.sling.SlingIde

clearButtonPanel() - Method in class sjm.examples.logic.LogikusIde

clearProgramButton - Variable in class sjm.examples.logic.LogikusIde

clearProgramButton - Variable in class sjm.examples.logic.LogikusMediator

clearProgramButton() - Method in class sjm.examples.logic.LogikusIde

clearResultsButton - Variable in class sjm.examples.logic.LogikusIde

clearResultsButton - Variable in class sjm.examples.logic.LogikusMediator

clearResultsButton() - Method in class sjm.examples.logic.LogikusIde

clearSource - Variable in class sjm.examples.sling.SlingMediator

clone() - Method in class sjm.examples.cloning.Professor

Return a copy of this object.

clone() - Method in class sjm.examples.cloning.Course

Return a copy of this object.

clone() - Method in class sjm.examples.cloning.Textbook

Return a copy of this object.

clone() - Method in class sjm.examples.cloning.Customer

Return a copy of this object.

clone() - Method in class sjm.examples.cloning.OrderOk

Return a copy of this object.

clone() - Method in class sjm.examples.cloning.Person

This method was created by Steve Metsker

clone() - Method in class sjm.examples.cloning.OrderFlawed

Return a copy of this object.

clone() - Method in class sjm.examples.query.QueryBuilder

Return a copy of this object.

clone() - Method in class sjm.engine.Scope

Return a copy of this object.

clone() - Method in class sjm.examples.robot.RobotCommand

Return a copy of this object.

clone() - Method in class sjm.parse.Assembly

Return a copy of this object.

clone() - Method in class sjm.examples.coffee.Coffee

Return a copy of this object.

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

Return a copy of this object.

clone() - Method in class sjm.examples.sling.SlingTarget

Return this object.

clone() - Method in interface sjm.utensil.PubliclyCloneable

A PubliclyCloneable object is one to which any object can send clone().

CloningOk - class sjm.examples.cloning.CloningOk.

This class will compile and run, since the class implements Cloneable.

CloningOk() - Constructor for class sjm.examples.cloning.CloningOk

cluesVerify() - Method in class sjm.examples.karate.KaratePuzzle

Coffee - class sjm.examples.coffee.Coffee.

A Coffee object represents a type of coffee.

coffee() - Static method in class sjm.examples.engine.ShowJoin

Return a small database of coffee types.

coffee() - Method in class sjm.examples.coffee.CoffeeParser

Return a parser that will recognize the grammar:

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

CoffeeParser - class sjm.examples.coffee.CoffeeParser.

This class provides a parser that recognizes a textual description of a type of coffee, and builds a corresponding coffee object.

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

coffees - Variable in class sjm.examples.coffee.ShowCoffeeXML

CollectionParser - class sjm.parse.CollectionParser.

This class abstracts the behavior common to parsers that consist of a series of other parsers.

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

Supports subclass constructors with no arguments.

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

Supports subclass constructors with a name argument

Combinations - class sjm.combinatorics.Combinations.

The Combinations class provides an enumeration of all subsets of a group of n objects taken r at a time.

Combinations(Object[], int) - Constructor for class sjm.combinatorics.Combinations

Create a Combination to enumerate through all subsets of the supplied Object array, selecting 'm' at a time.

Combinatoric - class sjm.combinatorics.Combinatoric.

The class Combinatoric contains methods for performing basic combinatoric operations such as counting numbers of permutations and combinations.

Combinatoric() - Constructor for class sjm.combinatorics.Combinatoric

CombinatoricException - exception sjm.combinatorics.CombinatoricException.

Signals that a requested combinatoric quantity or enumeration is undefined.

CombinatoricException() - Constructor for class sjm.combinatorics.CombinatoricException

Constructs a CombinatoricException with no detail message.

CombinatoricException(String) - Constructor for class sjm.combinatorics.CombinatoricException

Constructs a CombinatoricException with the specified detail message.

comma() - Static method in class sjm.examples.sling.SlingParser

commaList(Parser) - Static method in class sjm.examples.query.JaqlParser

commaList(Parser) - Static method in class sjm.examples.logic.LogikusParser

command - Variable in class sjm.imperative.WhileCommand

command - Variable in class sjm.examples.sling.SlingMediator

Command - class sjm.imperative.Command.

This abstract class represents a hierarchy of classes that encapsulate commands.

command() - Method in class sjm.examples.robot.RobotRefactored

command() - Method in class sjm.examples.robot.RobotParser

Returns a parser that will recognize a command for a track robot and build a corresponding command object.

Command() - Constructor for class sjm.imperative.Command

command(Assembly) - Method in class sjm.examples.sling.SlingMediator

commands - Variable in class sjm.imperative.CommandSequence

commands() - Method in class sjm.imperative.CommandSequence

Lazy-initialize the commands vector.

CommandSequence - class sjm.imperative.CommandSequence.

This class contains a sequence of other commands.

CommandSequence() - Constructor for class sjm.imperative.CommandSequence

compare(Object, Object) - Method in class sjm.engine.Comparison

Returns the result of comparing two objects, using the indicated comparison operator.

compareNumber(Number, Number) - Method in class sjm.engine.Comparison

Returns the result of comparing two Numbers, using the indicated comparison operator.

compareString(String, String) - Method in class sjm.engine.Comparison

Returns the result of comparing two Strings, using the indicated comparison operator.

Comparison - class sjm.engine.Comparison.

A Comparison object applies a comparison operator to its terms in order to prove itself.

comparison() - Method in class sjm.examples.query.JaqlParser

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

Returns a parser that will recognize a comparison.

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

Return a parser that recognizes the grammar:

comparison() - Static method in class sjm.examples.tests.Dangle

Comparison(String, ComparisonTerm, ComparisonTerm) - Constructor for class sjm.engine.Comparison

Create a comparison with the specified operator and comparison terms.

ComparisonAssembler - class sjm.examples.query.ComparisonAssembler.

This assembler pops a comparison term, an operator, and another comparison term.

ComparisonAssembler - class sjm.examples.logic.ComparisonAssembler.

Pops two comparison terms and an operator, builds the comparison, and pushes it.

ComparisonAssembler() - Constructor for class sjm.examples.query.ComparisonAssembler

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

comparisonParser - Static variable in class sjm.examples.query.JaqlParser

ComparisonParser - class sjm.examples.query.ComparisonParser.

This utility class provides support to the Jaql parser, specifically for expression() and comparison() subparsers.

comparisonParser() - Method in class sjm.examples.query.JaqlParser

Return the parser to use for expression and comparison subparsers.

ComparisonParser(Speller) - Constructor for class sjm.examples.query.ComparisonParser

Construct a ComparisonParser that will consult the given speller for the proper spelling of variable names.

comparisons - Variable in class sjm.examples.query.QueryBuilder

comparisons() - Method in class sjm.examples.query.JaqlParser

ComparisonTerm - interface sjm.engine.ComparisonTerm.

This marker interface indicates a type of term that can participate in a comparison, including atoms, arithmetic expressions, and variables.

completeMatch(Assembly) - Method in class sjm.parse.Parser

Returns either null, or a completely matched version of the supplied assembly.

completeMatches(Assembly) - Method in class sjm.examples.pretty.PrettyParser

completeMatches(Vector) - Static method in class sjm.parse.ParserTester

Return a subset of the supplied vector of assemblies, filtering for assemblies that have been completely matched.

ComponentNode - class sjm.examples.pretty.ComponentNode.

This class tops a hierarchy that implements the Composite pattern.

ComponentNode() - Constructor for class sjm.examples.pretty.ComponentNode

CompositeNode - class sjm.examples.pretty.CompositeNode.

This class provides a composite node that can contain other nodes.

CompositeNode(Object) - Constructor for class sjm.examples.pretty.CompositeNode

Create a node that can contain other nodes, and that holds the given value.

computeThread - Variable in class sjm.examples.logic.LogikusMediator

computeThread - Variable in class sjm.examples.sling.SlingMediator

condition - Variable in class sjm.imperative.WhileCommand

condition - Variable in class sjm.imperative.IfCommand

condition - Variable in class sjm.imperative.ForCommand

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

Return a parser that recognizes the grammar:

conductProof() - Method in class sjm.examples.logic.LogikusMediator

ConsultingNot - class sjm.engine.ConsultingNot.

A ConsultingNot is a Not that has an axiom source to consult.

ConsultingNot(ConsultingStructure) - Constructor for class sjm.engine.ConsultingNot

ConsultingStructure - class sjm.engine.ConsultingStructure.

A ConsultingStructure is structure that can prove itself against an axiom source supplied with the constructor.

ConsultingStructure(AxiomSource, Object, Term[]) - Constructor for class sjm.engine.ConsultingStructure

consumed(String) - Method in class sjm.parse.tokens.TokenAssembly

Returns a textual representation of the amount of this tokenAssembly that has been consumed.

consumed(String) - Method in class sjm.parse.Assembly

Returns the elements of the assembly that have been consumed, separated by the specified delimiter.

consumed(String) - Method in class sjm.parse.chars.CharacterAssembly

Returns a textual representation of the amount of this characterAssembly that has been consumed.

copyForProof(AxiomSource, Scope) - Method in class sjm.engine.Structure

Create a ConsultingStructure counterpart that can unify with other structures.

copyForProof(AxiomSource, Scope) - Method in class sjm.engine.Fact

Returns this fact.

copyForProof(AxiomSource, Scope) - Method in interface sjm.engine.Term

Returns a copy of the term for use in a proof.

copyForProof(AxiomSource, Scope) - Method in class sjm.engine.Variable

Create a copy that uses the provided scope.

copyForProof(AxiomSource, Scope) - Method in class sjm.engine.ArithmeticOperator

Create a copy using the supplied scope for variables.

copyForProof(AxiomSource, Scope) - Method in class sjm.engine.Anonymous

Returns this anonymous variable, which does not unify with anything and thus does not need to copy itself.

copyForProof(AxiomSource, Scope) - Method in class sjm.engine.Not

Create a ConsultingNot counterpart that can prove itself.

copyForProof(AxiomSource, Scope) - Method in class sjm.engine.Comparison

Create a copy that uses the provided scope.

copyForProof(AxiomSource, Scope) - Method in class sjm.engine.Evaluation

Create a copy that uses the provided scope.

Cos - class sjm.examples.sling.Cos.

This class wraps a cos function around another source function.

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

Constructs cos(t).

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

Constructs a function object that wraps a cos function around the given source function.

count - Variable in class sjm.examples.design.RunningAverage

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

country() - Method in class sjm.examples.coffee.CoffeeParser

CountryAssembler - class sjm.examples.coffee.CountryAssembler.

This assembler pops a string, and sets the target coffee's country to this string.

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

CountryHelper - class sjm.examples.coffee.CountryHelper.

This helper sets a target coffee object's country attribute.

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

Course - class sjm.examples.cloning.Course.

This class shows a typical clone() method.

Course() - Constructor for class sjm.examples.cloning.Course

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

Returns a parser that recognizes some crocs.

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

Returns a parser that recognizes members of the crocodilian order.

currentUnification - Variable in class sjm.engine.ConsultingStructure

currentUnification - Variable in class sjm.engine.Evaluation

customer - Variable in class sjm.examples.cloning.OrderOk

customer - Variable in class sjm.examples.cloning.OrderFlawed

customer - Static variable in class sjm.examples.chips.ChipBase

customer - Variable in class sjm.examples.chips.Order

Customer - class sjm.examples.cloning.Customer.

This class has a properly functioning, public clone() method.

Customer - class sjm.examples.chips.Customer.

A customer has an ID, and a last and first name.

customer() - Static method in class sjm.examples.engine.ShowJoin

Return a small database of coffee customers.

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

Returns a dictionary of customers.

customer(int) - Static method in class sjm.examples.chips.ChipBase

Return a customer, given his or her ID.

Customer(Integer, String, String) - Constructor for class sjm.examples.chips.Customer

Create a customer given his or her ID, last name, and first name.

Customer(int, String, String) - Constructor for class sjm.examples.chips.Customer

Create a customer given his or her ID, last name, and first name.

Customer(String, int) - Constructor for class sjm.examples.cloning.Customer

Construct a customer.

customerID - Variable in class sjm.examples.chips.Customer

customers() - Static method in class sjm.examples.engine.ShowProof

Return a small database of customers.