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

Q

qualifies(Object) - Method in class sjm.parse.tokens.QuotedString

Returns true if an assembly's next element is a quoted string.

qualifies(Object) - Method in class sjm.parse.tokens.Symbol

Returns true if the symbol this object represents equals an assembly's next element.

qualifies(Object) - Method in class sjm.parse.tokens.Literal

Returns true if the literal this object equals an assembly's next element.

qualifies(Object) - Method in class sjm.parse.tokens.Num

Returns true if an assembly's next element is a number.

qualifies(Object) - Method in class sjm.parse.tokens.CaselessLiteral

Returns true if the literal this object equals an assembly's next element, disregarding case.

qualifies(Object) - Method in class sjm.parse.tokens.Word

Returns true if an assembly's next element is a word.

qualifies(Object) - Method in class sjm.parse.Terminal

The mechanics of matching are the same for many terminals, except for the check that the next element on the assembly qualifies as the type of terminal this terminal looks for.

qualifies(Object) - Method in class sjm.examples.reserved.ReservedWord

Returns true if an assembly's next element is a reserved word.

qualifies(Object) - Method in class sjm.parse.chars.SpecificChar

Returns true if an assembly's next element is equal to the character this object was constructed with.

qualifies(Object) - Method in class sjm.parse.chars.Digit

Returns true if an assembly's next element is a digit.

qualifies(Object) - Method in class sjm.parse.chars.Letter

Returns true if an assembly's next element is a letter.

qualifies(Object) - Method in class sjm.parse.chars.Char

Returns true every time, since this class assumes it is working against a CharacterAssembly.

qualifies(Object) - Method in class sjm.examples.mechanics.LowercaseWord

Returns true if an assembly's next element is a lower case word.

qualifies(Object) - Method in class sjm.examples.mechanics.UppercaseWord

Returns true if an assembly's next element is an upper case word.

qualifies(Object) - Method in class sjm.examples.sling.ReservedLiteral

Returns true if the literal this object equals a assembly's next element.

queries - Static variable in class sjm.examples.query.ChipSource

queries() - Static method in class sjm.examples.query.ChipSource

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

Query - class sjm.engine.Query.

A Query is a dynamic rule that stands outside of a program and proves itself by referring to a program.

query() - Static method in class sjm.examples.reserved.VolumeQuery2

Return a parser that recognizes the grammar: query = (Word | volume)* '?';

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

Return a parser that recognizes the grammar:

query() - Static method in class sjm.examples.tests.VolumeQuery

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

Create a query from the given rule's structures, to prove itself against the given axiom source.

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

Query(AxiomSource, Structure) - Constructor for class sjm.engine.Query

Create a query from the given structure, to prove itself against the given axiom source.

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

Create a query from the given structures, to prove itself against the given axiom source.

query(String, AxiomSource) - Static method in class sjm.examples.logic.LogikusFacade

Parse the text of a Logikus query and return a Query object.

Query(Structure) - Constructor for class sjm.engine.Query

Create a query from the given structure, to prove itself without any axiom source.

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

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

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

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

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

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

QueryBuilder - class sjm.examples.query.QueryBuilder.

This class accepts terms, class names and comparisons, and then builds a query from them.

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

Construct a query builder that will use the given speller.

queryChip() - Static method in class sjm.examples.query.ChipSource

queryCustomer() - Static method in class sjm.examples.query.ChipSource

queryOrder() - Static method in class sjm.examples.query.ChipSource

queryStructure(String) - Static method in class sjm.examples.query.ChipSource

Given the name of a class, return a query that will match against facts that represent objects of the class.

QuotedString - class sjm.parse.tokens.QuotedString.

A QuotedString matches a quoted string, like "this one" from a token assembly.

QuotedString() - Constructor for class sjm.parse.tokens.QuotedString

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

QuoteState - class sjm.parse.tokens.QuoteState.

A quoteState returns a quoted string token from a reader.

quoteState() - Method in class sjm.parse.tokens.Tokenizer

Return the state this tokenizer uses to build quoted strings.

QuoteState() - Constructor for class sjm.parse.tokens.QuoteState