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

U

UnassignedVariableException - exception sjm.examples.sling.UnassignedVariableException.

Signals that a given string is not the name of a known variable.

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

Constructs a UnrecognizedVariableException with no detail message.

UnassignedVariableException(String) - Constructor for class sjm.examples.sling.UnassignedVariableException

Constructs a UnrecognizedVariableException with the specified detail message.

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

Marks this variable as no longer having an instantiated value.

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

Release the variable bindings that the last unification produced.

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

Asks all the contained variables to unbind.

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

Releases the variable bindings that the last unification produced.

unget(int) - Method in class sjm.parse.Assembly

Put back n objects

Unification - class sjm.engine.Unification.

A Unification is a collection of variables.

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

Creates an empty unification.

Unification(Variable) - Constructor for class sjm.engine.Unification

Creates a unification that starts off including a single variable.

unify(Fact) - Method in class sjm.engine.Fact

A speedier version of unify(Structure s).

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

Unifies the terms in this structure with the terms in the given structure, and returns the variable bindings that result.

unify(Structure) - Method in interface sjm.engine.Term

Returns a collection of variables that allow this term to unify with a structure.

unify(Structure) - Method in class sjm.engine.Variable

Instantiates this variable with the supplied structure, or forwards the request to its instantiation if it already has one.

unify(Structure) - Method in class sjm.engine.Anonymous

Returns an empty unification.

unify(Term) - Method in class sjm.engine.Structure

Unifies this structure with the supplied term.

unify(Term) - Method in interface sjm.engine.Term

Returns a set of variable instantiations that allow two terms to unify.

unify(Term) - Method in class sjm.engine.Variable

Unifies this variable with the supplied term.

unify(Term) - Method in class sjm.engine.Anonymous

Returns an empty unification.

unify(Variable) - Method in class sjm.engine.Structure

Unifies this structure with the supplied variable.

unify(Variable) - Method in interface sjm.engine.Term

Returns a collection of variables that allow this term to unify with a variable.

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

Instantiates this variable with the supplied variable, or forwards the request to its instantiation if it already has one.

unify(Variable) - Method in class sjm.engine.Anonymous

Returns an empty unification.

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

UnrecognizedClassException - exception sjm.examples.query.UnrecognizedClassException.

Signals that a given string is not the name of a known class.

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

Constructs a UnrecognizedClassException with no detail message.

UnrecognizedClassException(String) - Constructor for class sjm.examples.query.UnrecognizedClassException

Constructs a UnrecognizedClassException with the specified detail message.

UnrecognizedVariableException - exception sjm.examples.query.UnrecognizedVariableException.

Signals that a given string is not the name of a known variable.

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

Constructs a UnrecognizedVariableException with no detail message.

UnrecognizedVariableException(String) - Constructor for class sjm.examples.query.UnrecognizedVariableException

Constructs a UnrecognizedVariableException with the specified detail message.

unvisitedString(Vector) - Method in class sjm.parse.tokens.QuotedString

Returns a textual description of this parser.

unvisitedString(Vector) - Method in class sjm.parse.tokens.Symbol

Returns a textual description of this parser.

unvisitedString(Vector) - Method in class sjm.parse.tokens.Literal

Returns a textual description of this parser.

unvisitedString(Vector) - Method in class sjm.parse.tokens.Num

Returns a textual description of this parser.

unvisitedString(Vector) - Method in class sjm.parse.tokens.Word

Returns a textual description of this parser.

unvisitedString(Vector) - Method in class sjm.parse.Parser

unvisitedString(Vector) - Method in class sjm.parse.Terminal

unvisitedString(Vector) - Method in class sjm.parse.CollectionParser

unvisitedString(Vector) - Method in class sjm.parse.Repetition

unvisitedString(Vector) - Method in class sjm.parse.Empty

unvisitedString(Vector) - Method in class sjm.examples.reserved.ReservedWord

Returns a textual description of this parser.

unvisitedString(Vector) - Method in class sjm.parse.chars.SpecificChar

Returns a textual description of this parser.

unvisitedString(Vector) - Method in class sjm.parse.chars.Digit

Returns a textual description of this parser.

unvisitedString(Vector) - Method in class sjm.parse.chars.Letter

Returns a textual description of this parser.

unvisitedString(Vector) - Method in class sjm.parse.chars.Char

Returns a textual description of this parser.

unvisitedString(Vector) - Method in class sjm.examples.mechanics.LowercaseWord

Returns a textual description of this production.

unvisitedString(Vector) - Method in class sjm.examples.mechanics.UppercaseWord

Returns a textual description of this production.

unvisitedString(Vector) - Method in class sjm.examples.sling.ReservedLiteral

Returns a textual description of this parser.

UpperCase - class sjm.examples.string.UpperCase.

This class wraps a toUpperCase function around an instance of another StringFunction class.

UpperCase() - Constructor for class sjm.examples.string.UpperCase

Construct an UpperCase function around the identity function, so that this object will just upcase a supplied string.

UpperCase(StringFunction) - Constructor for class sjm.examples.string.UpperCase

Construct an UpperCase function that will wrap itself around the supplied source.

UppercaseWord - class sjm.examples.mechanics.UppercaseWord.

This class shows the how to introduce a new type of terminal, specifically for recognizing uppercase words.

UppercaseWord() - Constructor for class sjm.examples.mechanics.UppercaseWord

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

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

upperRight - Variable in class sjm.examples.sling.SlingPanel