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

D

Dangle - class sjm.examples.tests.Dangle.

This class provides an ambiguous parser in its statement method, which serves to show that the test classes can find ambiguity.

Dangle() - Constructor for class sjm.examples.tests.Dangle

deepestRead(PushbackReader) - Method in class sjm.parse.tokens.SymbolNode

DEFAULT_NLINE - Static variable in class sjm.examples.sling.SlingTarget

DEFAULT_SYMBOL_MAX - Static variable in class sjm.parse.tokens.Tokenizer

defaultDelimiter() - Method in class sjm.parse.tokens.TokenAssembly

Returns the default string to show between elements consumed or remaining.

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

Returns the default string to show between elements.

defaultDelimiter() - Method in class sjm.parse.chars.CharacterAssembly

Returns the default string to show between elements consumed or remaining.

definitionString() - Method in class sjm.engine.Variable

Returns string representation of this variable, showing both its name and its value.

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

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

dictionary - Variable in class sjm.examples.sling.Scope

Digit - class sjm.parse.chars.Digit.

A Digit matches a digit from a character assembly.

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

discard - Variable in class sjm.parse.Terminal

discard() - Method in class sjm.parse.Terminal

A convenience method that sets discarding to be true.

display(String) - Method in class sjm.examples.logic.LogikusMediator

Appends the given line to the results text area, scheduling this event with the event-dispatching thread.

DivideAssembler - class sjm.examples.arithmetic.DivideAssembler.

Pop two numbers from the stack and push the result of dividing the top number into the one below it.

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

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

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

divideFactor() - Method in class sjm.examples.arithmetic.ArithmeticParser

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

drawFunction(Graphics, Scale, int) - Method in class sjm.examples.sling.SlingPanel

DynamicAxiom - interface sjm.engine.DynamicAxiom.

A DynamicAxiom is an axiom (that is, either a fact or a rule) that a structure can consult to prove itself.

dynamicAxiom(AxiomSource) - Method in class sjm.engine.Fact

Returns this fact.

dynamicAxiom(AxiomSource) - Method in interface sjm.engine.Axiom

Return an axiom that a consulting structure can use to prove itself.

dynamicAxiom(AxiomSource) - Method in class sjm.engine.Rule

Return a provable version of this rule.

DynamicRule - class sjm.engine.DynamicRule.

A DynamicRule represents a provable statement that a structure is true if a following series of other structures are true.

DynamicRule(AxiomSource, Scope, Rule) - Constructor for class sjm.engine.DynamicRule

Construct a provable rule for the given axiom source, scope, and rule.

DynamicRule(AxiomSource, Scope, Structure[]) - Constructor for class sjm.engine.DynamicRule