Index (CZT Parser Z 1.6-SNAPSHOT API)

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

A

AbstractLatexPrinterCommand - Class in net.sourceforge.czt.print.z
AbstractLatexPrinterCommand() - Constructor for class net.sourceforge.czt.print.z.AbstractLatexPrinterCommand
AbstractPrinterCommand - Class in net.sourceforge.czt.print.z
AbstractPrinterCommand() - Constructor for class net.sourceforge.czt.print.z.AbstractPrinterCommand
AbstractPrintVisitor<R> - Class in net.sourceforge.czt.print.z: A Z visitor used for printing.
AbstractPrintVisitor(SectionInfo) - Constructor for class net.sourceforge.czt.print.z.AbstractPrintVisitor
AbstractPrintVisitor(SectionInfo, ZPrinter) - Constructor for class net.sourceforge.czt.print.z.AbstractPrintVisitor
AbstractVisitor<R> - Class in net.sourceforge.czt.parser.util
AbstractVisitor(SectionInfo) - Constructor for class net.sourceforge.czt.parser.util.AbstractVisitor
accept(Visitor<R>) - Method in class net.sourceforge.czt.print.ast.Application
accept(Visitor<R>) - Method in class net.sourceforge.czt.print.ast.OperatorApplication
accept(Visitor<R>) - Method in class net.sourceforge.czt.print.ast.PrintExpression
accept(Visitor<R>) - Method in class net.sourceforge.czt.print.ast.PrintParagraph
accept(Visitor<R>) - Method in class net.sourceforge.czt.print.ast.PrintPredicate
action_obj - Variable in class net.sourceforge.czt.parser.z.Parser: Instance of action encapsulation class.
action_obj - Variable in class net.sourceforge.czt.print.z.Unicode2Latex: Instance of action encapsulation class.
action_obj - Variable in class net.sourceforge.czt.print.z.Unicode2OldLatex: Instance of action encapsulation class.
action_table() - Method in class net.sourceforge.czt.parser.z.Parser: Access to parse-action table.
action_table() - Method in class net.sourceforge.czt.print.z.Unicode2Latex: Access to parse-action table.
action_table() - Method in class net.sourceforge.czt.print.z.Unicode2OldLatex: Access to parse-action table.
add(String, DefinitionTable.Definition) - Method in class net.sourceforge.czt.parser.util.DefinitionTable: Adds a new definition.
add(Dialect, Directive) - Method in class net.sourceforge.czt.parser.util.LatexMarkupFunction: Adds a new directive defined in the current section.
add(LatexMarkupFunction) - Method in class net.sourceforge.czt.parser.util.LatexMarkupFunction
add(OptempPara) - Method in class net.sourceforge.czt.parser.util.OpTable: Adds a new operator.
add(ConjPara) - Method in class net.sourceforge.czt.parser.util.ThmTable
add(Token) - Method in class net.sourceforge.czt.print.util.TokenSequence
add(TokenSequence) - Method in class net.sourceforge.czt.print.util.TokenSequence
addDefinition(ZNameList, Name, Expr, DefinitionType) - Method in class net.sourceforge.czt.parser.util.DefinitionTableVisitor
addExtraNLFor(Token) - Method in class net.sourceforge.czt.print.z.UnicodePrinter
addLeftSpace() - Method in class net.sourceforge.czt.parser.util.LatexCommand: A boolean indicating whether a space is usually inserted before.
addLeftSpace() - Method in class net.sourceforge.czt.parser.util.MarkupDirective: A boolean indicating whether a space is usually inserted before.
addLocAnn(Term, LocInfo) - Method in class net.sourceforge.czt.parser.z.ParserState
addParenAnn(Term) - Method in class net.sourceforge.czt.print.z.PrecedenceParenAnnVisitor
addParenAnnIfNecessary(Object, Precedence) - Method in class net.sourceforge.czt.print.z.PrecedenceParenAnnVisitor: Adds parenthesis annotations to the given object if it is an annotable term and the precedence of the parent is greater than the precedence of the given term.
addParenAnnIfNecessary(Term, Precedence) - Method in class net.sourceforge.czt.print.z.PrecedenceParenAnnVisitor: Adds parenthesis annotations to the given term if the precedence of the parent is greater than the precedence of the given term.
addParents(Collection<? extends InfoTable>) - Method in class net.sourceforge.czt.parser.util.InfoTable
addParentTable(T) - Method in class net.sourceforge.czt.parser.util.DefinitionTable
addParentTable(T) - Method in class net.sourceforge.czt.parser.util.InfoTable
addParentTable(T) - Method in class net.sourceforge.czt.parser.util.OpTable
addParentTable(T) - Method in class net.sourceforge.czt.parser.util.ThmTable
addRightSpace() - Method in class net.sourceforge.czt.parser.util.LatexCommand: A boolean indicating whether a space is usually inserted after.
addRightSpace() - Method in class net.sourceforge.czt.parser.util.MarkupDirective: A boolean indicating whether a space is usually inserted after.
ALL - Static variable in class net.sourceforge.czt.parser.z.Sym
allowsNlAfter(Token) - Method in class net.sourceforge.czt.print.util.PrettyPrinter
allowsNlBefore(Token) - Method in class net.sourceforge.czt.print.util.PrettyPrinter
AND - Static variable in class net.sourceforge.czt.parser.z.Sym
ANDALSO - Static variable in class net.sourceforge.czt.parser.z.Sym
append(Symbol) - Method in class net.sourceforge.czt.print.z.ZmlScanner
Application - Class in net.sourceforge.czt.print.ast
Application(PrintFactory) - Constructor for class net.sourceforge.czt.print.ast.Application
ApplicationVisitor<R> - Interface in net.sourceforge.czt.print.ast
ARG - Static variable in class net.sourceforge.czt.parser.z.Sym
AstToPrintTreeVisitor - Class in net.sourceforge.czt.print.z: This visitor transforms an AST into a print tree, that is an AST prepared for printing.
AstToPrintTreeVisitor(SectionInfo) - Constructor for class net.sourceforge.czt.print.z.AstToPrintTreeVisitor
AstToPrintTreeVisitor(SectionInfo, WarningManager) - Constructor for class net.sourceforge.czt.print.z.AstToPrintTreeVisitor: Creates a new ast to print tree visitor.
AstToPrintTreeVisitor.CannotPrintAstException - Exception in net.sourceforge.czt.print.z
AX - Static variable in class net.sourceforge.czt.parser.z.Sym
AX - Static variable in class net.sourceforge.czt.print.z.Sym

B

BAR - Static variable in class net.sourceforge.czt.parser.z.Sym
baseHashCodeCztError(CztError) - Static method in class net.sourceforge.czt.parser.util.CztErrorImpl

C

calculateFromSect(ZSect, SectionManager) - Method in class net.sourceforge.czt.parser.util.LatexMarkupCommand
calculateFromSect(ZSect, SectionManager) - Method in class net.sourceforge.czt.parser.util.OpTableCommand
calculateFromSect(ZSect, SectionManager) - Method in class net.sourceforge.czt.parser.util.SectParsableCommand: Performs calculation of the expected result from the given ZSect.
calculateFromSect(ZSect, SectionManager) - Method in class net.sourceforge.czt.parser.util.ThmTableCommand
CannotPrintAstException(String) - Constructor for exception net.sourceforge.czt.print.z.AstToPrintTreeVisitor.CannotPrintAstException
CannotPrintAstException(Exception) - Constructor for exception net.sourceforge.czt.print.z.AstToPrintTreeVisitor.CannotPrintAstException
CHAR_MARKUP - Static variable in class net.sourceforge.czt.print.z.Sym
check() - Method in class net.sourceforge.czt.parser.util.Decorword: Checks that in the word part of this decorword each SE character has a following NW character, and each NE character has a following SW character, and that these occur only in nested pairs (see also Z Standard, first edition, 7.4.1).
checkCyclicParents(String, SectionInfo) - Static method in class net.sourceforge.czt.parser.util.SectParentResolver: Checks for cyclic parents of the given section, and throws an exception if a cyclic relationship is found.
close() - Method in class net.sourceforge.czt.parser.util.CztReader
collect(String, String) - Method in interface net.sourceforge.czt.parser.util.SectParentResolver.ParentCollector
collectParents(String, SectionInfo, SectParentResolver.ParentCollector) - Static method in class net.sourceforge.czt.parser.util.SectParentResolver: Collects the parent section names of the given sectName.
collectParentsUnchecked(String, SectionInfo, SectParentResolver.ParentCollector) - Static method in class net.sourceforge.czt.parser.util.SectParentResolver: The same as SectParentResolver.collectParents(String, SectionInfo, ParentCollector), but does not throw exception if cycles found.
COLON - Static variable in class net.sourceforge.czt.parser.z.Sym
COMMA - Static variable in class net.sourceforge.czt.parser.z.Sym
COMMENT_STATE - Static variable in class net.sourceforge.czt.parser.z.Latex2Unicode
compareCztErrorPositionTypeAndMessage(CztError, CztError) - Static method in class net.sourceforge.czt.parser.util.CztErrorImpl
compareCztErrorsEquals(CztError, Object) - Static method in class net.sourceforge.czt.parser.util.CztErrorImpl
compareTo(CztError) - Method in class net.sourceforge.czt.parser.util.CztErrorImpl
compareTo(CztError) - Method in exception net.sourceforge.czt.parser.util.ScanException
compareTo(Precedence) - Method in class net.sourceforge.czt.print.ast.Precedence
COMPLEX_INCLDECL_NAME_PATTERN - Static variable in class net.sourceforge.czt.parser.util.DefinitionTableVisitor
compute(String, SectionManager) - Method in class net.sourceforge.czt.parser.util.DefinitionTableService
compute(String, SectionManager) - Method in class net.sourceforge.czt.parser.util.OpTableService
compute(String, SectionManager) - Method in class net.sourceforge.czt.parser.util.ParseExceptionCommand
compute(String, SectionManager) - Method in class net.sourceforge.czt.parser.util.SectParsableCommand: Computes info table for a given ZSection name.
compute(String, SectionManager) - Method in class net.sourceforge.czt.parser.util.ThmTableService
compute(String, SectionManager) - Method in class net.sourceforge.czt.print.util.PrintExceptionCommand
CONJECTURE - Static variable in class net.sourceforge.czt.parser.z.Sym
considerAddingNL(Token, Token, int, int, boolean) - Method in class net.sourceforge.czt.print.util.PrettyPrinter
considerAddingNLForToken(Token, Token, int, int, boolean) - Method in class net.sourceforge.czt.print.util.PrettyPrinter
ContextFreeScanner - Class in net.sourceforge.czt.parser.z: The context-free lexer for specifications in unicode format.
ContextFreeScanner(Source) - Constructor for class net.sourceforge.czt.parser.z.ContextFreeScanner
ContextFreeScanner(CztReader) - Constructor for class net.sourceforge.czt.parser.z.ContextFreeScanner
ContextFreeScanner(Reader) - Constructor for class net.sourceforge.czt.parser.z.ContextFreeScanner: Creates a new scanner There is also a java.io.InputStream version of this constructor.
ContextFreeScanner(InputStream) - Constructor for class net.sourceforge.czt.parser.z.ContextFreeScanner: Creates a new scanner.
ContextFreeScanner - Class in net.sourceforge.czt.print.z: The context-free lexer for specifications in unicode format.
ContextFreeScanner(Source) - Constructor for class net.sourceforge.czt.print.z.ContextFreeScanner
ContextFreeScanner(CztReader) - Constructor for class net.sourceforge.czt.print.z.ContextFreeScanner
ContextFreeScanner(Reader) - Constructor for class net.sourceforge.czt.print.z.ContextFreeScanner: Creates a new scanner There is also a java.io.InputStream version of this constructor.
ContextFreeScanner(InputStream) - Constructor for class net.sourceforge.czt.print.z.ContextFreeScanner: Creates a new scanner.
countIncrement() - Static method in class net.sourceforge.czt.print.z.ToSpiveyZVisitor
create(Object[]) - Method in class net.sourceforge.czt.print.ast.Application
create(Object[]) - Method in class net.sourceforge.czt.print.ast.OperatorApplication
create(Object[]) - Method in class net.sourceforge.czt.print.ast.PrintExpression
create(Object[]) - Method in class net.sourceforge.czt.print.ast.PrintParagraph
create(Object[]) - Method in class net.sourceforge.czt.print.ast.PrintPredicate
createApplication() - Method in class net.sourceforge.czt.print.ast.PrintFactory
createExpr(WrappedExpr) - Method in class net.sourceforge.czt.parser.util.PrecedenceHandlingVisitor
createMap(Class<?>) - Static method in class net.sourceforge.czt.parser.z.SymMap
createNewInclDeclDefName() - Static method in class net.sourceforge.czt.parser.util.DefinitionTableVisitor
createOperatorApplication(OperatorName, List<Expr>, Precedence, Assoc) - Method in class net.sourceforge.czt.print.ast.PrintFactory
createParserFactory() - Method in class net.sourceforge.czt.parser.z.Parser
createParserState(Source) - Method in class net.sourceforge.czt.parser.z.Parser
createPrettyPrinter(Term, int) - Method in class net.sourceforge.czt.print.z.AbstractPrinterCommand
createPrintError(Symbol) - Method in class net.sourceforge.czt.print.z.Unicode2Latex
createPrintError(Symbol) - Method in class net.sourceforge.czt.print.z.Unicode2OldLatex
createPrintExpression(List<?>) - Method in class net.sourceforge.czt.print.ast.PrintFactory
createPrintParagraph(List<?>) - Method in class net.sourceforge.czt.print.ast.PrintFactory
createPrintPredicate(List<?>, Precedence, Assoc) - Method in class net.sourceforge.czt.print.ast.PrintFactory
createSchema(String, SchExpr) - Method in class net.sourceforge.czt.print.z.ToSpiveyZVisitor
createSyntaxError(Symbol) - Method in class net.sourceforge.czt.parser.z.Parser
createTokenSequenceVisitor(SectionInfo, ZPrinter, Properties) - Method in class net.sourceforge.czt.print.z.AbstractPrinterCommand
CROSS - Static variable in class net.sourceforge.czt.parser.z.Sym
CyclicParentError - Class in net.sourceforge.czt.parser.z: A dynamic error to report parent cycles.
CyclicParentError(SectionInfo, String, String, int, String, String) - Constructor for class net.sourceforge.czt.parser.z.CyclicParentError
CyclicParseManager - Class in net.sourceforge.czt.parser.util: A manager to resolve cyclic parent paths during the parsing process.
CyclicParseManager() - Constructor for class net.sourceforge.czt.parser.util.CyclicParseManager
CyclicSectionsException(List<List<String>>) - Constructor for exception net.sourceforge.czt.parser.util.SectParentResolver.CyclicSectionsException
CztError - Interface in net.sourceforge.czt.parser.util: An error that contains enough information to be helpful to a user, that is, somebody who processes Z specification using CZT tools.
CztErrorImpl - Class in net.sourceforge.czt.parser.util: An abstract CztError that can be localised.
CztErrorImpl(SectionInfo, String, Object[], LocInfo) - Constructor for class net.sourceforge.czt.parser.util.CztErrorImpl
CztErrorList - Interface in net.sourceforge.czt.parser.util
CztLexerImpl - Class in net.sourceforge.czt.parser.util
CztLexerImpl() - Constructor for class net.sourceforge.czt.parser.util.CztLexerImpl
CztLexerImpl(Properties) - Constructor for class net.sourceforge.czt.parser.util.CztLexerImpl
CztPrintString - Class in net.sourceforge.czt.print.util
CztPrintString(String) - Constructor for class net.sourceforge.czt.print.util.CztPrintString
CztPrintString(String, Dialect) - Constructor for class net.sourceforge.czt.print.util.CztPrintString
CztReader - Class in net.sourceforge.czt.parser.util: A reader for a list of tokens.
CztReader(Lexer) - Constructor for class net.sourceforge.czt.parser.util.CztReader: Create a new character-stream reader whose critical sections will synchronize on the reader itself.
CztReader(Lexer, Object) - Constructor for class net.sourceforge.czt.parser.util.CztReader: Create a new character-stream reader whose critical sections will synchronize on the given object.
CztScanner - Interface in net.sourceforge.czt.parser.util
CztScannerImpl - Class in net.sourceforge.czt.parser.util
CztScannerImpl() - Constructor for class net.sourceforge.czt.parser.util.CztScannerImpl
CztScannerImpl(Properties) - Constructor for class net.sourceforge.czt.parser.util.CztScannerImpl

D

DebugUtils - Class in net.sourceforge.czt.parser.util: Utilities for handling symbols generated by java_cup.
DECLWORD - Static variable in class net.sourceforge.czt.parser.z.Sym
Decorword - Class in net.sourceforge.czt.parser.util: Note that the wordpart of a decorword can be empty, which does not represent a DECORWORD in the ISO Z standard.
Decorword(String, ZStrokeList, LocInfo) - Constructor for class net.sourceforge.czt.parser.util.Decorword
Decorword(String, ZStrokeList) - Constructor for class net.sourceforge.czt.parser.util.Decorword
Decorword(String, LocInfo) - Constructor for class net.sourceforge.czt.parser.util.Decorword
Decorword(String) - Constructor for class net.sourceforge.czt.parser.util.Decorword
DECORWORD - Static variable in class net.sourceforge.czt.parser.z.Sym
DECORWORD - Static variable in class net.sourceforge.czt.print.z.Sym
defaultSP_ - Variable in class net.sourceforge.czt.parser.z.Parser
DefaultZSectionParentsCommand - Class in net.sourceforge.czt.parser.z
DefaultZSectionParentsCommand() - Constructor for class net.sourceforge.czt.parser.z.DefaultZSectionParentsCommand
DEFEQUAL - Static variable in class net.sourceforge.czt.parser.z.Sym
DEFFREE - Static variable in class net.sourceforge.czt.parser.z.Sym
Definition(String, ZNameList, Expr, DefinitionType) - Constructor for class net.sourceforge.czt.parser.util.DefinitionTable.Definition
DefinitionException(Dialect, String) - Constructor for exception net.sourceforge.czt.parser.util.DefinitionTable.DefinitionException
DefinitionException(Dialect, String, Throwable) - Constructor for exception net.sourceforge.czt.parser.util.DefinitionTable.DefinitionException
DefinitionException(Dialect, String, List<DefinitionTable.DefinitionException>) - Constructor for exception net.sourceforge.czt.parser.util.DefinitionTable.DefinitionException
DefinitionException(Dialect, String, Throwable, List<DefinitionTable.DefinitionException>) - Constructor for exception net.sourceforge.czt.parser.util.DefinitionTable.DefinitionException
DefinitionTable - Class in net.sourceforge.czt.parser.util: A definition table stores all the global definitions of a section.
DefinitionTable(Dialect, String, Collection<DefinitionTable>) - Constructor for class net.sourceforge.czt.parser.util.DefinitionTable: Constructs a definition table for a new section.
DefinitionTable.Definition - Class in net.sourceforge.czt.parser.util: This defines a definition, but without the name.
DefinitionTable.DefinitionException - Exception in net.sourceforge.czt.parser.util
DefinitionTable.DefinitionVisitor<T> - Interface in net.sourceforge.czt.parser.util: This interface allows visitors to visit definitions.
DefinitionTableService - Class in net.sourceforge.czt.parser.util: A visitor that computes a DefinitionTable from a given Z Section.
DefinitionTableService() - Constructor for class net.sourceforge.czt.parser.util.DefinitionTableService
DefinitionTableService(SectionInfo) - Constructor for class net.sourceforge.czt.parser.util.DefinitionTableService: Creates a new definition table service.
DefinitionTableVisitor - Class in net.sourceforge.czt.parser.util: A visitor that computes a DefinitionTable from a given Z Section.
DefinitionTableVisitor(SectionInfo) - Constructor for class net.sourceforge.czt.parser.util.DefinitionTableVisitor: Creates a new definition table visitor.
DefinitionType - Enum in net.sourceforge.czt.parser.util: Type of definition added to a definition table.
DefsWord - Class in net.sourceforge.czt.print.z
DefsWord() - Constructor for class net.sourceforge.czt.print.z.DefsWord
DeleteAnnVisitor - Class in net.sourceforge.czt.parser.util: A visitor that deletes all annotations from an AST.
DeleteAnnVisitor() - Constructor for class net.sourceforge.czt.parser.util.DeleteAnnVisitor
dialect_ - Variable in class net.sourceforge.czt.parser.z.Parser
dialect_ - Variable in class net.sourceforge.czt.print.z.ZmlScanner
do_action(int, lr_parser, Stack<Symbol>, int) - Method in class net.sourceforge.czt.parser.z.Parser: Invoke a user supplied parse action.
do_action(int, lr_parser, Stack<Symbol>, int) - Method in class net.sourceforge.czt.print.z.Unicode2Latex: Invoke a user supplied parse action.
do_action(int, lr_parser, Stack<Symbol>, int) - Method in class net.sourceforge.czt.print.z.Unicode2OldLatex: Invoke a user supplied parse action.
doCalculateDefaultAnonymousParents(Set<String>) - Method in class net.sourceforge.czt.parser.z.DefaultZSectionParentsCommand: Anonymous Z sections have standard_toolkit as its main parent at least.
doCalculateDefaultParents(String, Set<String>) - Method in class net.sourceforge.czt.parser.z.DefaultZSectionParentsCommand: For named Z sections, the only default parents is the prelude, except the prelude itself, which doesn't have defaults.
doCompute(String, SectionManager) - Method in class net.sourceforge.czt.parser.util.TermCommand: Command to resolve given named resource Source as either a ZSect or Spec.
doCompute(String, SectionManager) - Method in class net.sourceforge.czt.parser.z.ParseUtils: This command parses the given ZSection or Specification with associated named source.
doCompute(String, SectionManager) - Method in class net.sourceforge.czt.print.z.LatexPrinterCommand: Given a section or spec name (e.g., it uses TermCommand) it computes the term to be printed as LaTeX output, and added to the Manager as a LatexString class.
doCompute(String, SectionManager) - Method in class net.sourceforge.czt.print.z.OldLatexPrinterCommand
doCompute(String, SectionManager) - Method in class net.sourceforge.czt.print.z.UnicodePrinterCommand
doCompute(String, SectionManager) - Method in class net.sourceforge.czt.print.z.XmlPrinterCommand
doLog(String) - Method in class net.sourceforge.czt.parser.util.TokeniserDebugger
DOT - Static variable in class net.sourceforge.czt.parser.z.Sym
doToUnicode(ZPrinter, Term, SectionManager, String, Properties) - Method in class net.sourceforge.czt.print.z.AbstractPrinterCommand: Method to be called by the SectionManager Command: properties are the ones processed via the SectionManager.

E

EL - Static variable in class net.sourceforge.czt.parser.z.Sym
ELP - Static variable in class net.sourceforge.czt.parser.z.Sym
ELSE - Static variable in class net.sourceforge.czt.parser.z.Sym
END - Static variable in class net.sourceforge.czt.parser.z.Sym
END - Static variable in class net.sourceforge.czt.print.z.Sym
end(String) - Method in class net.sourceforge.czt.print.z.TokenSequenceVisitor
END_MARKUP - Static variable in class net.sourceforge.czt.print.z.Sym
EOF - Static variable in class net.sourceforge.czt.parser.z.Sym
EOF - Static variable in class net.sourceforge.czt.print.z.Sym
EOF_sym() - Method in class net.sourceforge.czt.parser.z.Parser: EOF Symbol index.
EOF_sym() - Method in class net.sourceforge.czt.print.z.Unicode2Latex: EOF Symbol index.
EOF_sym() - Method in class net.sourceforge.czt.print.z.Unicode2OldLatex: EOF Symbol index.
equals(Object) - Method in class net.sourceforge.czt.parser.util.CztErrorImpl
equals(Object) - Method in class net.sourceforge.czt.parser.util.MarkupDirective
equals(Object) - Method in exception net.sourceforge.czt.parser.util.ScanException
EQUALS - Static variable in class net.sourceforge.czt.parser.z.Sym
equals(Object) - Method in class net.sourceforge.czt.print.ast.Precedence
ER - Static variable in class net.sourceforge.czt.parser.z.Sym
ERE - Static variable in class net.sourceforge.czt.parser.z.Sym
EREP - Static variable in class net.sourceforge.czt.parser.z.Sym
ERP - Static variable in class net.sourceforge.czt.parser.z.Sym
ERROR - Static variable in class net.sourceforge.czt.parser.z.Latex2Unicode
error - Static variable in class net.sourceforge.czt.parser.z.Sym
error - Static variable in class net.sourceforge.czt.print.z.Sym
error_sym() - Method in class net.sourceforge.czt.parser.z.Parser: error Symbol index.
error_sym() - Method in class net.sourceforge.czt.print.z.Unicode2Latex: error Symbol index.
error_sym() - Method in class net.sourceforge.czt.print.z.Unicode2OldLatex: error Symbol index.
errorList_ - Variable in class net.sourceforge.czt.parser.z.Parser: The list of parse errors.
errorList_ - Variable in class net.sourceforge.czt.print.z.Unicode2Latex: The list of parse errors.
errorList_ - Variable in class net.sourceforge.czt.print.z.Unicode2OldLatex: The list of parse errors.
ErrorType - Enum in net.sourceforge.czt.parser.util
ES - Static variable in class net.sourceforge.czt.parser.z.Sym
EXI - Static variable in class net.sourceforge.czt.parser.z.Sym
EXIONE - Static variable in class net.sourceforge.czt.parser.z.Sym
EXPR - Static variable in class net.sourceforge.czt.parser.z.Sym

F

factory_ - Variable in class net.sourceforge.czt.parser.util.PrecedenceHandlingVisitor: A ZFactory.
FALSE - Static variable in class net.sourceforge.czt.parser.z.Sym
FUNCTION - Static variable in class net.sourceforge.czt.parser.z.Sym

G

GENAX - Static variable in class net.sourceforge.czt.parser.z.Sym
GENAX - Static variable in class net.sourceforge.czt.print.z.Sym
GENERIC - Static variable in class net.sourceforge.czt.parser.z.Sym
GENSCH - Static variable in class net.sourceforge.czt.parser.z.Sym
GENSCH - Static variable in class net.sourceforge.czt.print.z.Sym
get(String, Class<T>) - Method in class net.sourceforge.czt.parser.util.AbstractVisitor: Asks the section manager to provide the requested info.
get(int) - Method in class net.sourceforge.czt.parser.util.CztReader
getAllCycles() - Method in exception net.sourceforge.czt.parser.util.SectParentResolver.CyclicSectionsException: Retrieves all cycles stored.
getArgs() - Method in class net.sourceforge.czt.print.ast.OperatorApplication
getAssoc(String) - Method in class net.sourceforge.czt.parser.util.OpTable
getAssoc() - Method in class net.sourceforge.czt.parser.util.OpTable.OpInfo
getAssoc() - Method in class net.sourceforge.czt.print.ast.OperatorApplication
getAssoc() - Method in class net.sourceforge.czt.print.ast.PrintPredicate
getCat() - Method in class net.sourceforge.czt.parser.util.OpTable.OpInfo
getChildren() - Method in class net.sourceforge.czt.print.ast.Application
getChildren() - Method in class net.sourceforge.czt.print.ast.OperatorApplication
getChildren() - Method in class net.sourceforge.czt.print.ast.PrintExpression
getChildren() - Method in class net.sourceforge.czt.print.ast.PrintParagraph
getChildren() - Method in class net.sourceforge.czt.print.ast.PrintPredicate
getColumn(int) - Method in class net.sourceforge.czt.parser.util.CztReader
getColumn() - Method in interface net.sourceforge.czt.parser.util.LocInfo
getColumn() - Method in class net.sourceforge.czt.parser.util.LocInfoImpl
getColumn() - Method in exception net.sourceforge.czt.parser.util.ScanException
getColumn() - Method in class net.sourceforge.czt.parser.z.CyclicParentError
getCommand() - Method in class net.sourceforge.czt.parser.util.MarkupDirective
getCommand() - Static method in class net.sourceforge.czt.parser.z.ParseUtils: Get a Command object for use in SectionManager
getCommandDirective(String) - Method in class net.sourceforge.czt.parser.util.LatexMarkupFunction
getConjPara() - Method in class net.sourceforge.czt.parser.util.ThmTable.ThmInfo
getContents() - Method in class net.sourceforge.czt.parser.z.ZParseResourceBundle
getContents() - Method in class net.sourceforge.czt.print.z.ZPrintResourceBundle
getCurrentSectName() - Method in class net.sourceforge.czt.parser.z.ParserState
getCyclicSects() - Method in exception net.sourceforge.czt.parser.util.SectParentResolver.CyclicSectionsException: Retrieves the first (or only) cycle found - will always return a cycle.
getCztScanner() - Method in class net.sourceforge.czt.parser.z.Parser
getCztScanner() - Method in class net.sourceforge.czt.print.z.Unicode2Latex
getCztScanner() - Method in class net.sourceforge.czt.print.z.Unicode2OldLatex
getDebugLoggingLevel() - Method in class net.sourceforge.czt.parser.util.TokeniserDebugger
getDeclNames() - Method in class net.sourceforge.czt.parser.util.DefinitionTable.Definition: Returns the list of generic type parameters of this definition.
getDefaultAnonymousParentsAsString(SectionManager) - Static method in class net.sourceforge.czt.parser.z.ParseUtils
getDefinitionTable() - Method in class net.sourceforge.czt.parser.util.DefinitionTableVisitor
getDefinitionType() - Method in class net.sourceforge.czt.parser.util.DefinitionTable.Definition: Tells you whether this name was declared via a constant definition, or a variable declaration.
getDialect() - Method in interface net.sourceforge.czt.parser.util.CztScanner
getDialect() - Method in class net.sourceforge.czt.parser.util.InfoTable
getDialect() - Method in interface net.sourceforge.czt.parser.util.Lexer
getDialect() - Method in interface net.sourceforge.czt.parser.util.LocInfo
getDialect() - Method in class net.sourceforge.czt.parser.util.LocInfoImpl
getDialect() - Method in class net.sourceforge.czt.parser.util.MarkupDirective
getDialect() - Method in exception net.sourceforge.czt.parser.util.MarkupException
getDialect() - Method in exception net.sourceforge.czt.parser.util.ScanException
getDialect() - Method in class net.sourceforge.czt.parser.util.TokenStack
getDialect() - Method in class net.sourceforge.czt.parser.z.ContextFreeScanner: Low-level LaTeX scanner gets its dialect from the context and propagate to other scanners.
getDialect() - Method in class net.sourceforge.czt.parser.z.DefaultZSectionParentsCommand
getDialect() - Method in class net.sourceforge.czt.parser.z.KeywordScanner
getDialect() - Method in class net.sourceforge.czt.parser.z.Latex2Unicode: Low-level LaTeX scanner gets its dialect from the context and propagate to other scanners.
getDialect() - Method in class net.sourceforge.czt.parser.z.LatexMarkupParser
getDialect() - Method in class net.sourceforge.czt.parser.z.LatexScanner
getDialect() - Method in class net.sourceforge.czt.parser.z.LatexToUnicode
getDialect() - Method in class net.sourceforge.czt.parser.z.NewlineScanner
getDialect() - Method in class net.sourceforge.czt.parser.z.OperatorScanner
getDialect() - Method in class net.sourceforge.czt.parser.z.Parser
getDialect() - Method in class net.sourceforge.czt.parser.z.UnicodeScanner
getDialect() - Method in exception net.sourceforge.czt.print.util.PrintException
getDialect() - Method in class net.sourceforge.czt.print.util.TokenSequence
getDialect() - Method in class net.sourceforge.czt.print.z.ContextFreeScanner: Low-level LaTeX scanner gets its dialect from the context and propagate to other scanners.
getDialect() - Method in class net.sourceforge.czt.print.z.NewlinePrinter
getDialect() - Method in class net.sourceforge.czt.print.z.NewlineScanner
getDialect() - Method in class net.sourceforge.czt.print.z.TokenSequenceVisitor
getDialect() - Method in class net.sourceforge.czt.print.z.Unicode2Latex
getDialect() - Method in class net.sourceforge.czt.print.z.Unicode2OldLatex
getDialect() - Method in class net.sourceforge.czt.print.z.UnicodePrinter
getDialect() - Method in class net.sourceforge.czt.print.z.ZmlScanner
getDialect() - Method in class net.sourceforge.czt.print.z.ZmlScanner.SymbolCollector
getDialect() - Method in interface net.sourceforge.czt.print.z.ZPrinter
getErrorList() - Method in exception net.sourceforge.czt.parser.util.ParseException
getErrorList() - Method in exception net.sourceforge.czt.print.util.PrintException
getErrors() - Method in interface net.sourceforge.czt.parser.util.CztErrorList
getErrors() - Method in exception net.sourceforge.czt.parser.util.ParseException
getErrors() - Method in exception net.sourceforge.czt.print.util.PrintException
getErrorType() - Method in interface net.sourceforge.czt.parser.util.CztError
getErrorType() - Method in class net.sourceforge.czt.parser.util.CztErrorImpl
getErrorType() - Method in exception net.sourceforge.czt.parser.util.ScanException
getExceptions() - Method in exception net.sourceforge.czt.parser.util.DefinitionTable.DefinitionException
getExpr() - Method in class net.sourceforge.czt.parser.util.DefinitionTable.Definition: For an equality definition (name==expr), this returns the right-hand side of the definition, expr.
getExtension() - Method in class net.sourceforge.czt.print.util.CztPrintString
getExtraInfo() - Method in class net.sourceforge.czt.parser.util.Decorword
getFieldMap(Class<?>) - Static method in class net.sourceforge.czt.parser.util.DebugUtils: Collects all static member variables in a map that maps the value of the variable to its name.
getFieldMap2(Class<?>) - Static method in class net.sourceforge.czt.parser.util.DebugUtils: Collects all static member variables in a map that maps the name to its value.
getFirst() - Method in class net.sourceforge.czt.parser.util.Pair
getInfo() - Method in interface net.sourceforge.czt.parser.util.CztError: Returns a more detailed description of this error and/or possible fixes.
getInfo() - Method in class net.sourceforge.czt.parser.util.CztErrorImpl
getInfo() - Method in exception net.sourceforge.czt.parser.util.ScanException
getInfoType() - Method in class net.sourceforge.czt.parser.util.DefinitionTableService
getInfoType() - Method in class net.sourceforge.czt.parser.util.OpTableService
getInfoType() - Method in class net.sourceforge.czt.parser.util.OpTableVisitor
getInfoType() - Method in class net.sourceforge.czt.parser.util.ThmTableService
getInfoType() - Method in class net.sourceforge.czt.parser.util.ThmTableVisitor
getIntValue() - Method in class net.sourceforge.czt.parser.util.LocInt
getKey(String) - Method in class net.sourceforge.czt.parser.util.LatexMarkupCommand
getKey(String) - Method in class net.sourceforge.czt.parser.util.OpTableCommand
getKey(String) - Method in class net.sourceforge.czt.parser.util.SectParsableCommand: Retrieves the key of the command result.
getKey(String) - Method in class net.sourceforge.czt.parser.util.ThmTableCommand
getLatexMarkupFunction() - Method in class net.sourceforge.czt.parser.util.LatexMarkupFunctionVisitor
getLatexWrapping() - Method in class net.sourceforge.czt.print.z.AbstractLatexPrinterCommand
getLength() - Method in interface net.sourceforge.czt.parser.util.LocInfo
getLength() - Method in class net.sourceforge.czt.parser.util.LocInfoImpl
getLength() - Method in exception net.sourceforge.czt.parser.util.ScanException
getLength() - Method in class net.sourceforge.czt.parser.z.CyclicParentError
getLength() - Method in class net.sourceforge.czt.print.util.TokenSequence: The sum of all the token length.
getLine(int) - Method in class net.sourceforge.czt.parser.util.CztReader
getLine() - Method in interface net.sourceforge.czt.parser.util.LocInfo
getLine() - Method in class net.sourceforge.czt.parser.util.LocInfoImpl
getLine() - Method in class net.sourceforge.czt.parser.util.MarkupDirective
getLine() - Method in exception net.sourceforge.czt.parser.util.ScanException
getLine() - Method in class net.sourceforge.czt.parser.z.CyclicParentError
getLoc() - Method in class net.sourceforge.czt.parser.z.Parser
getLoc() - Method in class net.sourceforge.czt.parser.z.ParserState: Refactored from Parser.xml to ParserState.java so that ParserState methods can not only create elements but also add location information.
getLocation(int) - Method in class net.sourceforge.czt.parser.util.CztReader
getLocation() - Method in class net.sourceforge.czt.parser.util.Decorword
getLocation() - Method in class net.sourceforge.czt.parser.util.LocInt
getLocation() - Method in class net.sourceforge.czt.parser.util.LocString
getLocation() - Method in interface net.sourceforge.czt.parser.util.LocToken
getLocation() - Method in class net.sourceforge.czt.parser.util.LocTokenImpl
getLocation() - Method in exception net.sourceforge.czt.parser.util.ScanException
getLocation(Symbol) - Method in class net.sourceforge.czt.parser.z.Parser
getLocation(Term) - Method in class net.sourceforge.czt.parser.z.Parser
getLocation(LocAnn) - Method in class net.sourceforge.czt.parser.z.Parser
getLocation(Symbol) - Method in class net.sourceforge.czt.print.z.Unicode2Latex
getLocation(Symbol) - Method in class net.sourceforge.czt.print.z.Unicode2OldLatex
getManager(SectionInfo) - Static method in class net.sourceforge.czt.parser.util.CyclicParseManager: Retrieves the instance of CyclicParseManager for the given sectInfo.
getMap() - Static method in class net.sourceforge.czt.parser.z.SymMap
getMarkup(String) - Static method in class net.sourceforge.czt.parser.z.ParseUtils: Determine the markup of a file.
getMarkupDirective1() - Method in exception net.sourceforge.czt.parser.util.MarkupException
getMarkupDirective2() - Method in exception net.sourceforge.czt.parser.util.MarkupException
getMarkupFunction() - Method in class net.sourceforge.czt.parser.z.Latex2Unicode: Returns the latex mark-up function.
getMessage() - Method in interface net.sourceforge.czt.parser.util.CztError
getMessage() - Method in class net.sourceforge.czt.parser.util.CztErrorImpl
getMessage() - Method in exception net.sourceforge.czt.parser.util.ParseException
getMessage() - Method in exception net.sourceforge.czt.parser.util.ScanException
getMessage() - Method in exception net.sourceforge.czt.print.util.PrintException
getMessageKey() - Method in class net.sourceforge.czt.parser.util.CztErrorImpl
getMessageParams() - Method in class net.sourceforge.czt.parser.util.CztErrorImpl
getName() - Method in class net.sourceforge.czt.parser.util.Decorword
getName() - Method in class net.sourceforge.czt.parser.util.LatexCommand: Returns the name of this latex command.
getName() - Method in enum net.sourceforge.czt.parser.util.LatexSym
getName() - Method in interface net.sourceforge.czt.parser.util.Token
getName() - Method in class net.sourceforge.czt.parser.util.TokenImpl
getName() - Method in enum net.sourceforge.czt.parser.z.ZKeyword
getName() - Method in enum net.sourceforge.czt.parser.z.ZOpToken
getName() - Method in enum net.sourceforge.czt.parser.z.ZToken
getName() - Method in class net.sourceforge.czt.print.util.TokenSequence
getNewlineCategory() - Method in enum net.sourceforge.czt.parser.util.LatexSym
getNewlineCategory() - Method in interface net.sourceforge.czt.parser.util.Token
getNewlineCategory() - Method in class net.sourceforge.czt.parser.util.TokenImpl
getNewlineCategory() - Method in enum net.sourceforge.czt.parser.z.ZKeyword
getNewlineCategory() - Method in enum net.sourceforge.czt.parser.z.ZOpToken
getNewlineCategory() - Method in enum net.sourceforge.czt.parser.z.ZToken
getNewlineCategory() - Method in class net.sourceforge.czt.print.util.TokenSequence
getNextName() - Method in class net.sourceforge.czt.print.z.ToSpiveyZVisitor
getNLSym() - Method in class net.sourceforge.czt.print.z.NewlineScanner
getNrOfTokens() - Method in class net.sourceforge.czt.print.util.TokenSequence
getOffSet() - Method in class net.sourceforge.czt.print.util.PrettyPrinter
getOperatorName() - Method in class net.sourceforge.czt.print.ast.OperatorApplication
getOperatorTable() - Method in class net.sourceforge.czt.parser.z.OperatorScanner
getOpNameWithoutStrokes(List<Oper>) - Static method in class net.sourceforge.czt.parser.util.OpTable
getOpTable() - Method in class net.sourceforge.czt.parser.util.OpTableVisitor
getParentDependencies(String, SectionInfo) - Static method in class net.sourceforge.czt.parser.util.SectParentResolver: Calculates a parent dependency map.
getParents(String, SectionInfo) - Static method in class net.sourceforge.czt.parser.util.SectParentResolver: Collects all parents for the given section.
getPrec(String) - Method in class net.sourceforge.czt.parser.util.OpTable
getPrec() - Method in class net.sourceforge.czt.parser.util.OpTable.OpInfo
getPrec(Term) - Method in class net.sourceforge.czt.print.z.AstToPrintTreeVisitor
getPrecedence() - Method in class net.sourceforge.czt.print.ast.OperatorApplication
getPrecedence() - Method in class net.sourceforge.czt.print.ast.PrintPredicate
getPrecedence(OperatorName) - Method in class net.sourceforge.czt.print.z.PrecedenceVisitor
getPrinter() - Method in class net.sourceforge.czt.print.z.AbstractPrintVisitor
getResourceBundle() - Method in class net.sourceforge.czt.parser.util.CztErrorImpl
getResourceBundle() - Method in class net.sourceforge.czt.parser.z.ZParseError
getResourceBundle() - Method in class net.sourceforge.czt.print.z.ZPrintError
getResult() - Method in class net.sourceforge.czt.print.z.TokenSequenceVisitor
getSecond() - Method in class net.sourceforge.czt.parser.util.Pair
getSection() - Method in class net.sourceforge.czt.parser.util.LatexMarkupFunction: Returns the name of the section of this markup function.
getSection() - Method in class net.sourceforge.czt.parser.util.MarkupDirective
getSectionInfo() - Method in class net.sourceforge.czt.parser.util.AbstractVisitor
getSectionInfo() - Method in interface net.sourceforge.czt.parser.util.CztError
getSectionInfo() - Method in class net.sourceforge.czt.parser.util.CztErrorImpl
getSectionInfo() - Method in exception net.sourceforge.czt.parser.util.ScanException
getSectionInfo() - Method in class net.sourceforge.czt.parser.z.Latex2Unicode
getSectionInfo() - Method in class net.sourceforge.czt.print.z.AstToPrintTreeVisitor
getSectionInfo() - Method in class net.sourceforge.czt.print.z.Unicode2Latex
getSectionInfo() - Method in class net.sourceforge.czt.print.z.Unicode2OldLatex
getSectionName() - Method in class net.sourceforge.czt.parser.util.InfoTable
getSectionName() - Method in class net.sourceforge.czt.parser.util.InfoTable.Info
getSequence() - Method in class net.sourceforge.czt.print.util.TokenSequence
getSource() - Method in interface net.sourceforge.czt.parser.util.Lexer: The source that is lexed.
getSource() - Method in interface net.sourceforge.czt.parser.util.LocInfo
getSource() - Method in class net.sourceforge.czt.parser.util.LocInfoImpl
getSource() - Method in exception net.sourceforge.czt.parser.util.ScanException
getSource() - Method in class net.sourceforge.czt.parser.z.CyclicParentError
getSource() - Method in class net.sourceforge.czt.parser.z.Latex2Unicode
getSource() - Method in class net.sourceforge.czt.parser.z.LatexMarkupParser
getSource() - Method in class net.sourceforge.czt.parser.z.LatexToUnicode
getSpelling() - Method in enum net.sourceforge.czt.parser.util.LatexSym
getSpelling() - Method in interface net.sourceforge.czt.parser.util.Token
getSpelling() - Method in class net.sourceforge.czt.parser.util.TokenImpl
getSpelling() - Method in enum net.sourceforge.czt.parser.z.ZKeyword
getSpelling() - Method in enum net.sourceforge.czt.parser.z.ZOpToken
getSpelling() - Method in enum net.sourceforge.czt.parser.z.ZToken
getSpelling() - Method in class net.sourceforge.czt.print.util.TokenSequence
getStart() - Method in interface net.sourceforge.czt.parser.util.LocInfo
getStart() - Method in class net.sourceforge.czt.parser.util.LocInfoImpl
getStart() - Method in exception net.sourceforge.czt.parser.util.ScanException
getStart() - Method in class net.sourceforge.czt.parser.z.CyclicParentError
getString() - Method in class net.sourceforge.czt.parser.util.LocString
getStrokes() - Method in class net.sourceforge.czt.parser.util.Decorword
getSymbol(Token, Map<String, Object>) - Method in class net.sourceforge.czt.print.z.ZmlScanner
getSymbolClass() - Method in class net.sourceforge.czt.parser.util.CztScannerImpl
getSymbolClass() - Method in class net.sourceforge.czt.parser.z.KeywordScanner
getSymbolClass() - Method in class net.sourceforge.czt.parser.z.LatexScanner
getSymbolClass() - Method in class net.sourceforge.czt.parser.z.NewlineScanner
getSymbolClass() - Method in class net.sourceforge.czt.parser.z.OperatorScanner
getSymbolClass() - Method in class net.sourceforge.czt.parser.z.UnicodeScanner
getSymbolClass() - Method in class net.sourceforge.czt.print.z.NewlineScanner
getSymbolClass() - Method in class net.sourceforge.czt.print.z.ZmlScanner
getSymbolInfo() - Method in exception net.sourceforge.czt.parser.util.ScanException
getSymbolMap() - Method in class net.sourceforge.czt.parser.util.CztScannerImpl
getSymbolMap2() - Method in class net.sourceforge.czt.parser.util.CztScannerImpl
getSymbolName(Token) - Method in class net.sourceforge.czt.print.z.ZmlScanner
getSymbols() - Method in class net.sourceforge.czt.print.z.ZmlScanner.SymbolCollector
getSymParaEnd() - Method in class net.sourceforge.czt.print.z.AbstractLatexPrinterCommand
getSymParaStart() - Method in class net.sourceforge.czt.print.z.AbstractLatexPrinterCommand
getSymTokenseq() - Method in class net.sourceforge.czt.print.z.AbstractLatexPrinterCommand
getTerm() - Method in class net.sourceforge.czt.print.util.PrettyPrinter
getThmTable() - Method in class net.sourceforge.czt.parser.util.ThmTableVisitor
getTokenType(Decorword) - Method in class net.sourceforge.czt.parser.util.OpTable
getTokenType(String) - Method in class net.sourceforge.czt.parser.util.OpTable
getType() - Method in class net.sourceforge.czt.parser.util.MarkupDirective
getUnicode() - Method in class net.sourceforge.czt.parser.util.LatexCommand: Returns the unicode sequence represented by this latex command.
getUnicode() - Method in class net.sourceforge.czt.parser.util.MarkupDirective
getUnicodeDirective(String) - Method in class net.sourceforge.czt.parser.util.LatexMarkupFunction
getValidParentNames(String, List<String>) - Method in class net.sourceforge.czt.parser.util.CyclicParseManager: Filters the parents - only parents that are not active in the call stack are returned.
getValidParents(String, List<Parent>) - Method in class net.sourceforge.czt.parser.util.CyclicParseManager: A convenience method to filter non-cyclic parents.
getValue() - Method in class net.sourceforge.czt.parser.util.LocInt
getWarningManager() - Method in class net.sourceforge.czt.print.z.AstToPrintTreeVisitor
getWord() - Method in class net.sourceforge.czt.parser.util.Decorword
getWord(String) - Static method in class net.sourceforge.czt.parser.util.InfoTable: Removes all decorations, that are strokes, from a decorword and returns the word part.
getWriter() - Method in class net.sourceforge.czt.print.z.Unicode2Latex
getWriter() - Method in class net.sourceforge.czt.print.z.Unicode2OldLatex
getZFactory() - Method in class net.sourceforge.czt.print.z.AstToPrintTreeVisitor
getZPrintFactory() - Method in class net.sourceforge.czt.print.z.AstToPrintTreeVisitor
getZSectWarnings() - Method in exception net.sourceforge.czt.print.util.PrintException

H

handleOldZ(List<Object>, PrintParagraph) - Method in class net.sourceforge.czt.print.z.AstToPrintTreeVisitor
handleSpaces(ListIterator<Token>, Token, Token, int, int, boolean, int) - Method in class net.sourceforge.czt.print.util.PrettyPrinter
handleTokenSequence(TokenSequence, int) - Method in class net.sourceforge.czt.print.util.PrettyPrinter
handleTokenSequence(TokenSequence, int, int) - Method in class net.sourceforge.czt.print.util.PrettyPrinter
hasErrors() - Method in class net.sourceforge.czt.parser.z.Parser
hasErrors() - Method in class net.sourceforge.czt.print.z.Unicode2Latex
hasErrors() - Method in class net.sourceforge.czt.print.z.Unicode2OldLatex
hashCode() - Method in class net.sourceforge.czt.parser.util.CztErrorImpl
hashCode() - Method in class net.sourceforge.czt.parser.util.MarkupDirective
hashCode() - Method in exception net.sourceforge.czt.parser.util.ScanException
hashCode() - Method in class net.sourceforge.czt.print.ast.Precedence
hasNext() - Method in class net.sourceforge.czt.print.util.TokenSequence.TokenSeqIterator
hasSectionInfo() - Method in interface net.sourceforge.czt.parser.util.CztError
hasSectionInfo() - Method in class net.sourceforge.czt.parser.util.CztErrorImpl
hasSectionInfo() - Method in exception net.sourceforge.czt.parser.util.ScanException

I

I - Static variable in class net.sourceforge.czt.parser.z.Sym
IF - Static variable in class net.sourceforge.czt.parser.z.Sym
IFF - Static variable in class net.sourceforge.czt.parser.z.Sym
IMP - Static variable in class net.sourceforge.czt.parser.z.Sym
INDENT - Static variable in class net.sourceforge.czt.print.z.Sym
Info(String) - Constructor for class net.sourceforge.czt.parser.util.InfoTable.Info
InfoTable - Class in net.sourceforge.czt.parser.util: Base class for section management tables.
InfoTable(Dialect, String) - Constructor for class net.sourceforge.czt.parser.util.InfoTable: Creates an information table for a given section name.
InfoTable.Info - Class in net.sourceforge.czt.parser.util
InfoTable.InfoTableException - Exception in net.sourceforge.czt.parser.util
InfoTableException(Dialect, String) - Constructor for exception net.sourceforge.czt.parser.util.InfoTable.InfoTableException
InfoTableException(Dialect, String, Throwable) - Constructor for exception net.sourceforge.czt.parser.util.InfoTable.InfoTableException
init_actions() - Method in class net.sourceforge.czt.parser.z.Parser: Action encapsulation object initializer.
init_actions() - Method in class net.sourceforge.czt.print.z.Unicode2Latex: Action encapsulation object initializer.
init_actions() - Method in class net.sourceforge.czt.print.z.Unicode2OldLatex: Action encapsulation object initializer.
INSTROKE - Static variable in class net.sourceforge.czt.parser.z.Sym
INSTROKE - Static variable in class net.sourceforge.czt.print.z.Sym
INWORD_MARKUP - Static variable in class net.sourceforge.czt.print.z.Sym
IP - Static variable in class net.sourceforge.czt.parser.z.Sym
isBoxSymbol(int) - Method in class net.sourceforge.czt.print.z.NewlineScanner
isInfix(OperatorName) - Method in class net.sourceforge.czt.print.z.AstToPrintTreeVisitor
isInfix(OperatorName) - Method in class net.sourceforge.czt.print.z.PrecedenceParenAnnVisitor
isKnownToolkit(LocInfo) - Method in class net.sourceforge.czt.parser.util.CztLexerImpl
isPreviousChain(int) - Method in class net.sourceforge.czt.parser.z.ParserState
isSchSymbol(int) - Method in class net.sourceforge.czt.print.z.NewlineScanner
isSpecialCase(Token, Token) - Method in class net.sourceforge.czt.print.util.PrettyPrinter: Check tokens to see whether space handling is to be treated as special case or not.
isSpecialTokenCase(Token, Token) - Method in class net.sourceforge.czt.print.util.PrettyPrinter: Check tokens to see whether space handling is to be treated as a special case or not.
isWhereSymbol(int) - Method in class net.sourceforge.czt.print.z.NewlineScanner
iterator() - Method in class net.sourceforge.czt.parser.util.LatexMarkupFunction: Returns an iterator over the markup directives defined in this markup function.
iterator() - Method in class net.sourceforge.czt.print.util.TokenSequence

K

KeywordScanner - Class in net.sourceforge.czt.parser.z: This is a keyword lexer (part of context-sensitive lexis) for Z specifications in unicode format.
KeywordScanner(ContextFreeScanner, Properties) - Constructor for class net.sourceforge.czt.parser.z.KeywordScanner

L

L - Static variable in class net.sourceforge.czt.parser.z.Sym
LAMBDA - Static variable in class net.sourceforge.czt.parser.z.Sym
Latex2Unicode - Class in net.sourceforge.czt.parser.z: The low-level latex to unicode scanner for Z.
Latex2Unicode(Source, SectionInfo, Properties) - Constructor for class net.sourceforge.czt.parser.z.Latex2Unicode: Creates a new scanner for the source.
Latex2Unicode(Reader) - Constructor for class net.sourceforge.czt.parser.z.Latex2Unicode: Creates a new scanner There is also a java.io.InputStream version of this constructor.
Latex2Unicode(InputStream) - Constructor for class net.sourceforge.czt.parser.z.Latex2Unicode: Creates a new scanner.
LATEX_POSTSCRIPT - Static variable in class net.sourceforge.czt.print.z.AbstractLatexPrinterCommand
LATEX_PREAMBLE - Static variable in class net.sourceforge.czt.print.z.AbstractLatexPrinterCommand
LatexCommand - Class in net.sourceforge.czt.parser.util: A latex command for Zed markup together with its rendering information.
LatexCommand(String, String, boolean, boolean) - Constructor for class net.sourceforge.czt.parser.util.LatexCommand: Creates a new latex command.
LatexMarkupCommand - Class in net.sourceforge.czt.parser.util: A command to compute the latex markup function (class LatexMarkupFunction) of a Z section.
LatexMarkupCommand() - Constructor for class net.sourceforge.czt.parser.util.LatexMarkupCommand
LatexMarkupFunction - Class in net.sourceforge.czt.parser.util
LatexMarkupFunction(String) - Constructor for class net.sourceforge.czt.parser.util.LatexMarkupFunction
LatexMarkupFunctionVisitor - Class in net.sourceforge.czt.parser.util
LatexMarkupFunctionVisitor(SectionManager) - Constructor for class net.sourceforge.czt.parser.util.LatexMarkupFunctionVisitor: Creates a new latex markup function visitor.
LatexMarkupParser - Class in net.sourceforge.czt.parser.z: A latex markup parser that looks like a scanner.
LatexMarkupParser(LatexMarkupParser.LatexLexer, SectionInfo) - Constructor for class net.sourceforge.czt.parser.z.LatexMarkupParser: Creates a new latex markup parser that uses the scanner provided.
LatexMarkupParser.LatexLexer - Interface in net.sourceforge.czt.parser.z
LatexParser - Class in net.sourceforge.czt.parser.z: A parser for LaTeX mark-up.
LatexParser(Source, SectionInfo, Properties, Collection<? extends Key<?>>) - Constructor for class net.sourceforge.czt.parser.z.LatexParser
latexPostscript(Writer, SectionInfo) - Method in class net.sourceforge.czt.print.z.AbstractLatexPrinterCommand
latexPreamble(Writer, SectionInfo) - Method in class net.sourceforge.czt.print.z.AbstractLatexPrinterCommand
LatexPrinterCommand - Class in net.sourceforge.czt.print.z
LatexPrinterCommand() - Constructor for class net.sourceforge.czt.print.z.LatexPrinterCommand
LatexPrinterPropertyKeys - Interface in net.sourceforge.czt.print.z: LaTeX printing section manager's property keys.
LatexScanner - Class in net.sourceforge.czt.parser.z: A latex scanner for Z specifications.
LatexScanner(Source, SectionInfo, Properties) - Constructor for class net.sourceforge.czt.parser.z.LatexScanner: Creates a new scanner.
LatexString - Class in net.sourceforge.czt.print.util
LatexString(String) - Constructor for class net.sourceforge.czt.print.util.LatexString
LatexString(String, Dialect) - Constructor for class net.sourceforge.czt.print.util.LatexString
LatexSym - Enum in net.sourceforge.czt.parser.util: Symbols used by the latex to unicode scanner.
LatexToUnicode - Class in net.sourceforge.czt.parser.z: The high-level latex to unicode converter for Z .
LatexToUnicode(Source, SectionInfo, Properties) - Constructor for class net.sourceforge.czt.parser.z.LatexToUnicode: Ignores the markup information contained in source and treats the content of source as LaTeX.
LBIND - Static variable in class net.sourceforge.czt.parser.z.Sym
LBIND - Static variable in class net.sourceforge.czt.print.z.Sym
LBRACE - Static variable in class net.sourceforge.czt.parser.z.Sym
LBRACE - Static variable in class net.sourceforge.czt.print.z.Sym
LDATA - Static variable in class net.sourceforge.czt.parser.z.Sym
LDATA - Static variable in class net.sourceforge.czt.print.z.Sym
LEFTASSOC - Static variable in class net.sourceforge.czt.parser.z.Sym
LET - Static variable in class net.sourceforge.czt.parser.z.Sym
Lexer - Interface in net.sourceforge.czt.parser.util
LISTARG - Static variable in class net.sourceforge.czt.parser.z.Sym
local_next_token() - Method in class net.sourceforge.czt.parser.z.Parser: Returns the next token.
local_next_token() - Method in class net.sourceforge.czt.print.z.Unicode2Latex: Returns the next token.
local_next_token() - Method in class net.sourceforge.czt.print.z.Unicode2OldLatex: Returns the next token.
localLookup(Symbol) - Method in class net.sourceforge.czt.parser.z.OperatorScanner: Lookup the value of this symbol
LocInfo - Interface in net.sourceforge.czt.parser.util: Information about location in a source document, like source location, line and column number, etc.
LocInfoImpl - Class in net.sourceforge.czt.parser.util
LocInfoImpl(Dialect, String, int, int, int, int) - Constructor for class net.sourceforge.czt.parser.util.LocInfoImpl
LocInfoImpl(Dialect, LocAnn) - Constructor for class net.sourceforge.czt.parser.util.LocInfoImpl
LocInfoImpl(Dialect, String, int, int) - Constructor for class net.sourceforge.czt.parser.util.LocInfoImpl
LocInfoImpl(LocInfo) - Constructor for class net.sourceforge.czt.parser.util.LocInfoImpl
LocInt - Class in net.sourceforge.czt.parser.util
LocInt(String, LocInfo) - Constructor for class net.sourceforge.czt.parser.util.LocInt
LocInt(int, LocInfo) - Constructor for class net.sourceforge.czt.parser.util.LocInt
LocInt(BigInteger, LocInfo) - Constructor for class net.sourceforge.czt.parser.util.LocInt
LocString - Class in net.sourceforge.czt.parser.util
LocString(String, LocInfo) - Constructor for class net.sourceforge.czt.parser.util.LocString
LocToken - Interface in net.sourceforge.czt.parser.util
LocTokenImpl - Class in net.sourceforge.czt.parser.util
LocTokenImpl(Token, Object, LocInfo) - Constructor for class net.sourceforge.czt.parser.util.LocTokenImpl
logDebugInfo() - Method in interface net.sourceforge.czt.parser.util.CztScanner
logDebugInfo() - Method in class net.sourceforge.czt.parser.util.TokeniserDebugger
logFormatted(String, Object...) - Method in interface net.sourceforge.czt.parser.util.CztScanner
logFormatted(String, Object...) - Method in class net.sourceforge.czt.parser.util.TokeniserDebugger
logger_ - Static variable in class net.sourceforge.czt.parser.util.DefinitionTableVisitor
logSymbol(Symbol) - Method in interface net.sourceforge.czt.parser.util.CztScanner
logSymbol(Symbol) - Method in class net.sourceforge.czt.parser.util.CztScannerImpl
logToken(LocToken) - Method in class net.sourceforge.czt.parser.util.CztLexerImpl
lookup(String) - Method in class net.sourceforge.czt.parser.util.DefinitionTable: Looks up a definition to see if it is defined in this section or in any of the ancestor sections.
lookup(OperatorName) - Method in class net.sourceforge.czt.parser.util.OpTable
lookup(List<String>) - Method in class net.sourceforge.czt.parser.util.OpTable
lookup(String) - Method in class net.sourceforge.czt.parser.util.OpTable: Looks up opname to see if it is defined as an operator in this section or in any of the ancestor sections.
lookup(String) - Method in class net.sourceforge.czt.parser.util.ThmTable
LP - Static variable in class net.sourceforge.czt.parser.z.Sym
LPAREN - Static variable in class net.sourceforge.czt.parser.z.Sym
LPAREN - Static variable in class net.sourceforge.czt.print.z.Sym
LSQUARE - Static variable in class net.sourceforge.czt.parser.z.Sym
LSQUARE - Static variable in class net.sourceforge.czt.print.z.Sym

M

main(String[]) - Static method in class net.sourceforge.czt.parser.z.UnicodeScanner: Lexes a given file.
MARKUP - Static variable in class net.sourceforge.czt.parser.z.Latex2Unicode: lexical states
MarkupDirective - Class in net.sourceforge.czt.parser.util
MarkupDirective(Dialect, String, String, DirectiveType, String, BigInteger) - Constructor for class net.sourceforge.czt.parser.util.MarkupDirective
MarkupDirective(Dialect, Directive, String) - Constructor for class net.sourceforge.czt.parser.util.MarkupDirective
MarkupException - Exception in net.sourceforge.czt.parser.util: This exception can be thrown by a markup converter.
MarkupException(MarkupDirective, MarkupDirective) - Constructor for exception net.sourceforge.czt.parser.util.MarkupException: Constructs a new exception with the specified detail message.
MarkupException(MarkupDirective) - Constructor for exception net.sourceforge.czt.parser.util.MarkupException
markupScanner_ - Variable in class net.sourceforge.czt.print.z.Unicode2Latex: Used to scan the unicode provided within markup directives.
markupScanner_ - Variable in class net.sourceforge.czt.print.z.Unicode2OldLatex: Used to scan the unicode provided within markup directives.
MEM - Static variable in class net.sourceforge.czt.parser.z.Sym
MU - Static variable in class net.sourceforge.czt.parser.z.Sym

N

needsReordering(WrappedExpr) - Method in class net.sourceforge.czt.parser.util.PrecedenceHandlingVisitor: Returns true iff a specified expression contains a a nested ApplExpr or RefExpr without parenthesise (no ParenAnn annotation) and an infix application or reference that has a lower precedence then it.
net.sourceforge.czt.parser.util - package net.sourceforge.czt.parser.util: Contains utility classes needed by the different kinds of parsers.
net.sourceforge.czt.parser.z - package net.sourceforge.czt.parser.z: Provides classes for parsing Z specifications written in unicode or using LaTeX mark-up as defined in the ISO Standard for Z.
net.sourceforge.czt.print.ast - package net.sourceforge.czt.print.ast
net.sourceforge.czt.print.util - package net.sourceforge.czt.print.util
net.sourceforge.czt.print.z - package net.sourceforge.czt.print.z: Provides classes for printing standard Z specifications in Unicode or in the LaTeX mark-up language.
NewlineCategory - Enum in net.sourceforge.czt.parser.util
NewlinePrinter - Class in net.sourceforge.czt.print.z: Newline printer adaptor to consider NewlineCategory whilst printing Unicode TODO: check within AbstractPRinterCommand about PrettyPrinter's role when PROP_WIDTH_TEXT is present (!) Not the best place.
NewlinePrinter(ZPrinter) - Constructor for class net.sourceforge.czt.print.z.NewlinePrinter
NewlineScanner - Class in net.sourceforge.czt.parser.z: This is a NL lexer (part of context-sensitive lexis) for specifications in unicode format.
NewlineScanner - Class in net.sourceforge.czt.print.z: This scanner gets token from another scanner and provides them to the parser, but removes some of the NL tokens.
NewlineScanner(CztScanner) - Constructor for class net.sourceforge.czt.print.z.NewlineScanner
next() - Method in interface net.sourceforge.czt.parser.util.Lexer
next() - Method in class net.sourceforge.czt.parser.z.Latex2Unicode: Resumes scanning until the next regular expression is matched, the end of input is encountered or an I/O-Error occurs.
next() - Method in class net.sourceforge.czt.parser.z.LatexMarkupParser
next() - Method in class net.sourceforge.czt.parser.z.LatexToUnicode
next() - Method in class net.sourceforge.czt.print.util.TokenSequence.TokenSeqIterator
next_token() - Method in class net.sourceforge.czt.parser.z.ContextFreeScanner: Resumes scanning until the next regular expression is matched, the end of input is encountered or an I/O-Error occurs.
next_token() - Method in class net.sourceforge.czt.parser.z.KeywordScanner
next_token() - Method in class net.sourceforge.czt.parser.z.LatexScanner
next_token() - Method in class net.sourceforge.czt.parser.z.NewlineScanner
next_token() - Method in class net.sourceforge.czt.parser.z.OperatorScanner
next_token() - Method in class net.sourceforge.czt.parser.z.UnicodeScanner
next_token() - Method in class net.sourceforge.czt.print.z.ContextFreeScanner: Resumes scanning until the next regular expression is matched, the end of input is encountered or an I/O-Error occurs.
next_token() - Method in class net.sourceforge.czt.print.z.NewlineScanner
next_token() - Method in class net.sourceforge.czt.print.z.ZmlScanner
NEXTSTROKE - Static variable in class net.sourceforge.czt.parser.z.Sym
NEXTSTROKE - Static variable in class net.sourceforge.czt.print.z.Sym
NL - Static variable in class net.sourceforge.czt.parser.z.Sym
NL - Static variable in class net.sourceforge.czt.print.z.Sym
NOT - Static variable in class net.sourceforge.czt.parser.z.Sym
NUMERAL - Static variable in class net.sourceforge.czt.parser.z.Sym
NUMERAL - Static variable in class net.sourceforge.czt.print.z.Sym
NUMSTROKE - Static variable in class net.sourceforge.czt.parser.z.Sym
NUMSTROKE - Static variable in class net.sourceforge.czt.print.z.Sym

O

OldLatexPrinterCommand - Class in net.sourceforge.czt.print.z
OldLatexPrinterCommand() - Constructor for class net.sourceforge.czt.print.z.OldLatexPrinterCommand
OldLatexString - Class in net.sourceforge.czt.print.util
OldLatexString(String) - Constructor for class net.sourceforge.czt.print.util.OldLatexString
OldLatexString(String, Dialect) - Constructor for class net.sourceforge.czt.print.util.OldLatexString
onTheFlySectName_ - Variable in class net.sourceforge.czt.print.z.AbstractPrinterCommand: When printing a pred/expr/para on the fly sectionName from doCompute is null, yet we need to have a section name to print, usually something "on-the-fly".
OperatorApplication - Class in net.sourceforge.czt.print.ast: A function or generic operator application.
OperatorApplication(PrintFactory, OperatorName, List<Expr>, Precedence, Assoc) - Constructor for class net.sourceforge.czt.print.ast.OperatorApplication
OperatorApplicationVisitor<R> - Interface in net.sourceforge.czt.print.ast
OperatorException(Dialect, String) - Constructor for exception net.sourceforge.czt.parser.util.OpTable.OperatorException
OperatorScanner - Class in net.sourceforge.czt.parser.z: This is an operator lexer (part of context-sensitive lexis) for Z specifications in unicode format.
OperatorTokenType - Enum in net.sourceforge.czt.parser.util: Tokens for an operator word.
OpInfo(String, OptempPara) - Constructor for class net.sourceforge.czt.parser.util.OpTable.OpInfo
OpTable - Class in net.sourceforge.czt.parser.util: An operator table manages all the operator definitions of a section.
OpTable(Dialect, String) - Constructor for class net.sourceforge.czt.parser.util.OpTable: Constructs an operator table for the given section.
OpTable.OperatorException - Exception in net.sourceforge.czt.parser.util
OpTable.OpInfo - Class in net.sourceforge.czt.parser.util: An operator info.
OpTableCommand - Class in net.sourceforge.czt.parser.util: A command to compute the operator table (class OpTable) of a Z section.
OpTableCommand() - Constructor for class net.sourceforge.czt.parser.util.OpTableCommand
OpTableService - Class in net.sourceforge.czt.parser.util
OpTableService(SectionInfo) - Constructor for class net.sourceforge.czt.parser.util.OpTableService: Creates a new operator table service.
OpTableVisitor - Class in net.sourceforge.czt.parser.util
OpTableVisitor(SectionInfo) - Constructor for class net.sourceforge.czt.parser.util.OpTableVisitor: Creates a new operator table visitor.
OR - Static variable in class net.sourceforge.czt.parser.z.Sym
OUTSTROKE - Static variable in class net.sourceforge.czt.parser.z.Sym
OUTSTROKE - Static variable in class net.sourceforge.czt.print.z.Sym

P

Pair<X,Y> - Class in net.sourceforge.czt.parser.util
Pair(X, Y) - Constructor for class net.sourceforge.czt.parser.util.Pair
PARA - Static variable in class net.sourceforge.czt.parser.z.Sym
PARA_END - Static variable in class net.sourceforge.czt.print.z.Sym
PARA_START - Static variable in class net.sourceforge.czt.print.z.Sym
PARENTS - Static variable in class net.sourceforge.czt.parser.z.Sym
PARENTS - Static variable in class net.sourceforge.czt.print.z.Sym
parse() - Method in class net.sourceforge.czt.parser.z.LatexParser
parse() - Method in class net.sourceforge.czt.parser.z.Parser
parse(Source, SectionInfo) - Static method in class net.sourceforge.czt.parser.z.ParseUtils
parse(Source, SectionInfo, Properties) - Static method in class net.sourceforge.czt.parser.z.ParseUtils
parse() - Method in class net.sourceforge.czt.parser.z.UnicodeParser
parse(Writer, SectionManager, lr_parser, String) - Method in class net.sourceforge.czt.print.z.LatexPrinterCommand
parseCharMarkupDirective(String, LocInfo) - Static method in class net.sourceforge.czt.parser.z.LatexMarkupParser
ParseException - Exception in net.sourceforge.czt.parser.util: A parse exception.
ParseException(Dialect) - Constructor for exception net.sourceforge.czt.parser.util.ParseException
ParseException(Dialect, List<CztError>) - Constructor for exception net.sourceforge.czt.parser.util.ParseException: Constructs a new parse exception with the specified error list.
ParseException(Dialect, CztError) - Constructor for exception net.sourceforge.czt.parser.util.ParseException
parseException_ - Variable in class net.sourceforge.czt.parser.z.Parser
ParseExceptionCommand - Class in net.sourceforge.czt.parser.util
ParseExceptionCommand() - Constructor for class net.sourceforge.czt.parser.util.ParseExceptionCommand
parseExpr(Source, String, SectionManager) - Static method in class net.sourceforge.czt.parser.z.ParseUtils: Parse a Source string/file as a Z Expression.
parseParas(Source, String, SectionManager) - Static method in class net.sourceforge.czt.parser.z.ParseUtils: Parse a Source string/file as Z Paragraphs.
parsePred(Source, String, SectionManager) - Static method in class net.sourceforge.czt.parser.z.ParseUtils: Parse a Source string/file as a Z Predicate.
ParsePropertiesKeys - Interface in net.sourceforge.czt.parser.util: Contains String constants for the keys used in parse properties.
Parser - Class in net.sourceforge.czt.parser.z: CUP v0.11a czt01 beta generated parser.
Parser() - Constructor for class net.sourceforge.czt.parser.z.Parser: Default constructor.
Parser(Scanner) - Constructor for class net.sourceforge.czt.parser.z.Parser: Constructor which sets the default scanner.
Parser(Scanner, SymbolFactory) - Constructor for class net.sourceforge.czt.parser.z.Parser: Constructor which sets the default scanner.
Parser(CztScanner, Source, SectionInfo, Properties, Collection<? extends Key<?>>) - Constructor for class net.sourceforge.czt.parser.z.Parser: Creates a new parser with the given scanner, source information, and section information.
ParserState - Class in net.sourceforge.czt.parser.z: A class recording parser state related information.
ParserState(Source) - Constructor for class net.sourceforge.czt.parser.z.ParserState
ParseUtils - Class in net.sourceforge.czt.parser.z: Utilities for parsing specifications.
ParseUtils() - Constructor for class net.sourceforge.czt.parser.z.ParseUtils
pop() - Method in class net.sourceforge.czt.parser.util.TokenStack
POST - Static variable in class net.sourceforge.czt.parser.z.Sym
POSTP - Static variable in class net.sourceforge.czt.parser.z.Sym
POSTWORD_MARKUP - Static variable in class net.sourceforge.czt.print.z.Sym
POWER - Static variable in class net.sourceforge.czt.parser.z.Sym
PRE - Static variable in class net.sourceforge.czt.parser.z.Sym
Precedence - Class in net.sourceforge.czt.print.ast
precedence(int) - Static method in class net.sourceforge.czt.print.ast.Precedence
precedence(int, int) - Static method in class net.sourceforge.czt.print.ast.Precedence
precedence(Term) - Method in class net.sourceforge.czt.print.z.PrecedenceParenAnnVisitor
PrecedenceHandlingVisitor - Class in net.sourceforge.czt.parser.util: A PrecedenceHandler re-arranges infix operator expressions so that applications and references to operators of higher precedence are further down in the AST.
PrecedenceHandlingVisitor(OpTable) - Constructor for class net.sourceforge.czt.parser.util.PrecedenceHandlingVisitor: Constructs an instance of this handler with a specified operator table.
PrecedenceParenAnnVisitor - Class in net.sourceforge.czt.print.z: This visitor visits an printable AST and adds necessary parentheses.
PrecedenceParenAnnVisitor() - Constructor for class net.sourceforge.czt.print.z.PrecedenceParenAnnVisitor
PrecedenceVisitor - Class in net.sourceforge.czt.print.z: Throws NullPointerException if no operator table is given but a term that needs a lookup in the operator table.
PrecedenceVisitor() - Constructor for class net.sourceforge.czt.print.z.PrecedenceVisitor
PrecedenceVisitor(OpTable) - Constructor for class net.sourceforge.czt.print.z.PrecedenceVisitor
PRED - Static variable in class net.sourceforge.czt.parser.z.Sym
PREP - Static variable in class net.sourceforge.czt.parser.z.Sym
prepare(ZmlScanner, Term) - Method in class net.sourceforge.czt.print.z.AbstractLatexPrinterCommand
prepend(Symbol) - Method in class net.sourceforge.czt.print.z.ZmlScanner
preprocess(Term, SectionManager, String) - Method in class net.sourceforge.czt.print.z.AbstractPrinterCommand
preprocessSchema(AxPara, List<Object>) - Method in class net.sourceforge.czt.print.z.AstToPrintTreeVisitor: Called for schema boxes right after the schema tagging.
preprocessTerm(Term, List<Object>) - Method in class net.sourceforge.czt.print.z.AstToPrintTreeVisitor: Called right after the main Z token found.
preservePrecedence(Term) - Method in class net.sourceforge.czt.print.z.PrecedenceParenAnnVisitor
PrettyPrinter - Class in net.sourceforge.czt.print.util
PrettyPrinter(Term, int) - Constructor for class net.sourceforge.czt.print.util.PrettyPrinter
PREWORD_MARKUP - Static variable in class net.sourceforge.czt.print.z.Sym
print(Token) - Method in class net.sourceforge.czt.print.z.AbstractPrintVisitor
print(Term, Writer, SectionManager, Markup) - Static method in class net.sourceforge.czt.print.z.PrintUtils: Prints a given term (usually a Spec or Sect) in the specified markup to the given writer.
print(Term, Writer, SectionManager, String, Markup) - Static method in class net.sourceforge.czt.print.z.PrintUtils
print(Token, Object) - Method in class net.sourceforge.czt.print.z.ZPrintVisitor
printCztStringOf(String, SectionManager, Markup) - Static method in class net.sourceforge.czt.print.z.PrintUtils: Prints the given name in the given markup using CztPrintString.
printDecorword(Decorword) - Method in class net.sourceforge.czt.print.z.ZPrintVisitor
printDecorword(String) - Method in class net.sourceforge.czt.print.z.ZPrintVisitor
printErrorList() - Method in exception net.sourceforge.czt.parser.util.ParseException
printErrorList() - Method in exception net.sourceforge.czt.print.util.PrintException
PrintException - Exception in net.sourceforge.czt.print.util
PrintException(Dialect) - Constructor for exception net.sourceforge.czt.print.util.PrintException
PrintException(Dialect, String) - Constructor for exception net.sourceforge.czt.print.util.PrintException
PrintException(Dialect, List<CztError>) - Constructor for exception net.sourceforge.czt.print.util.PrintException
PrintException(Dialect, CztError) - Constructor for exception net.sourceforge.czt.print.util.PrintException
PrintException(Dialect, String, Throwable) - Constructor for exception net.sourceforge.czt.print.util.PrintException
PrintException(Dialect, Throwable) - Constructor for exception net.sourceforge.czt.print.util.PrintException
PrintException(Dialect, String, Map<String, List<String>>) - Constructor for exception net.sourceforge.czt.print.util.PrintException
PrintException(Dialect, String, Throwable, Map<String, List<String>>) - Constructor for exception net.sourceforge.czt.print.util.PrintException
PrintException(Dialect, Throwable, Map<String, List<String>>) - Constructor for exception net.sourceforge.czt.print.util.PrintException
printException_ - Variable in class net.sourceforge.czt.print.z.Unicode2Latex
printException_ - Variable in class net.sourceforge.czt.print.z.Unicode2OldLatex
PrintExceptionCommand - Class in net.sourceforge.czt.print.util
PrintExceptionCommand() - Constructor for class net.sourceforge.czt.print.util.PrintExceptionCommand
PrintExpression - Class in net.sourceforge.czt.print.ast: A printable expression.
PrintExpression(PrintFactory, List<?>) - Constructor for class net.sourceforge.czt.print.ast.PrintExpression
PrintExpressionVisitor<R> - Interface in net.sourceforge.czt.print.ast
PrintFactory - Class in net.sourceforge.czt.print.ast
PrintFactory() - Constructor for class net.sourceforge.czt.print.ast.PrintFactory
printGenericFormals(NameList) - Method in class net.sourceforge.czt.print.z.ZPrintVisitor
printLatex(Term, Writer, SectionManager, String) - Method in class net.sourceforge.czt.print.z.LatexPrinterCommand: Prints a given term (usually an Expr or Pred) as latex markup to the given writer.
printLPAREN(Term) - Method in class net.sourceforge.czt.print.z.ZPrintVisitor
printOldLatex(Term, Writer, SectionManager) - Method in class net.sourceforge.czt.print.z.OldLatexPrinterCommand
printOldLatex(Term, Writer, SectionManager, String) - Method in class net.sourceforge.czt.print.z.OldLatexPrinterCommand
PrintParagraph - Class in net.sourceforge.czt.print.ast: A printable paragraph.
PrintParagraph(PrintFactory, List<?>) - Constructor for class net.sourceforge.czt.print.ast.PrintParagraph
PrintParagraphVisitor<R> - Interface in net.sourceforge.czt.print.ast
PrintPredicate - Class in net.sourceforge.czt.print.ast: A printable predicate.
PrintPredicate(PrintFactory, List<?>, Precedence, Assoc) - Constructor for class net.sourceforge.czt.print.ast.PrintPredicate
PrintPredicateVisitor<R> - Interface in net.sourceforge.czt.print.ast: A visitor for PrintPredicates.
PrintPropertiesKeys - Interface in net.sourceforge.czt.print.util: Contains String constants for the keys used in parse properties.
printRPAREN(Term) - Method in class net.sourceforge.czt.print.z.ZPrintVisitor
printStructuredGoal_ - Variable in class net.sourceforge.czt.print.z.AbstractPrinterCommand
printTermList(List<? extends Term>) - Method in class net.sourceforge.czt.print.z.ZPrintVisitor
printTermList(List<? extends Term>, Token) - Method in class net.sourceforge.czt.print.z.ZPrintVisitor
printTermList(List<? extends Term>, List<? extends Token>) - Method in class net.sourceforge.czt.print.z.ZPrintVisitor
printTermList(List<? extends Term>, String) - Method in class net.sourceforge.czt.print.z.ZPrintVisitor
printTextWidth_ - Variable in class net.sourceforge.czt.print.z.AbstractPrinterCommand
printToken(Token) - Method in class net.sourceforge.czt.print.z.NewlinePrinter
printToken(Token) - Method in class net.sourceforge.czt.print.z.TokenSequenceVisitor
printToken(Token) - Method in class net.sourceforge.czt.print.z.UnicodePrinter
printToken(Token) - Method in class net.sourceforge.czt.print.z.ZmlScanner.SymbolCollector
printToken(Token) - Method in interface net.sourceforge.czt.print.z.ZPrinter
printTokens() - Method in class net.sourceforge.czt.print.util.TokenSequence
printUnicode(Term, Writer, SectionManager, String) - Method in class net.sourceforge.czt.print.z.UnicodePrinterCommand: Prints a given term (usually an Expr or Pred) as unicode to the given writer.
PrintUtils - Class in net.sourceforge.czt.print.z: Utilities for printing Z specifications given as an AST.
processDeclList(ZNameList, List<Decl>, List<Stroke>) - Method in class net.sourceforge.czt.parser.util.DefinitionTableVisitor
processProperties(SectionManager) - Method in class net.sourceforge.czt.print.z.AbstractLatexPrinterCommand
processProperties(SectionManager) - Method in class net.sourceforge.czt.print.z.AbstractPrinterCommand
processProperties(Properties) - Method in class net.sourceforge.czt.print.z.AbstractPrinterCommand
processRefExpr(ZNameList, RefExpr, List<Stroke>) - Method in class net.sourceforge.czt.parser.util.DefinitionTableVisitor
PRODEXPR_PRECEDENCE - Static variable in class net.sourceforge.czt.parser.util.PrecedenceHandlingVisitor: The precedence of a cross product.
production_table() - Method in class net.sourceforge.czt.parser.z.Parser: Access to production table.
production_table() - Method in class net.sourceforge.czt.print.z.Unicode2Latex: Access to production table.
production_table() - Method in class net.sourceforge.czt.print.z.Unicode2OldLatex: Access to production table.
PROP_IGNORE_UNKNOWN_LATEX_COMMANDS - Static variable in interface net.sourceforge.czt.parser.util.ParsePropertiesKeys: When set to true, the parser tools will ignore unknown latex commands (that is, give a warning and use the name of the command) instead of reporting an error.
PROP_IGNORE_UNKNOWN_LATEX_COMMANDS_DEFAULT - Static variable in interface net.sourceforge.czt.parser.util.ParsePropertiesKeys
PROP_LATEXPRINTER_WRAPPING - Static variable in interface net.sourceforge.czt.print.z.LatexPrinterPropertyKeys: When this property is true, the LaTeX printing adds preamble/postscript to LaTeX output in order to enable LaTeX compilation.
PROP_LATEXPRINTER_WRAPPING_DEFAULT - Static variable in interface net.sourceforge.czt.print.z.LatexPrinterPropertyKeys
PROP_PRINT_NAME_IDS - Static variable in interface net.sourceforge.czt.print.util.PrintPropertiesKeys: When set to true, the printer tools add the id's of declaring and referencing names.
PROP_PRINT_NAME_IDS_DEFAULT - Static variable in interface net.sourceforge.czt.print.util.PrintPropertiesKeys
PROP_PRINT_ZEVES - Static variable in interface net.sourceforge.czt.print.util.PrintPropertiesKeys
PROP_PRINT_ZEVES_DEFAULT - Static variable in interface net.sourceforge.czt.print.util.PrintPropertiesKeys
PROP_PRINTING_ONTHEFLY_SECTION_NAME - Static variable in interface net.sourceforge.czt.print.util.PrintPropertiesKeys
PROP_PRINTING_ONTHEFLY_SECTION_NAME_DEFAULT - Static variable in interface net.sourceforge.czt.print.util.PrintPropertiesKeys
PROP_PRINTING_STRUCTURED_GOAL - Static variable in interface net.sourceforge.czt.print.util.PrintPropertiesKeys
PROP_PRINTING_STRUCTURED_GOAL_DEFAULT - Static variable in interface net.sourceforge.czt.print.util.PrintPropertiesKeys
PROP_TXT_TAB_SIZE - Static variable in interface net.sourceforge.czt.print.util.PrintPropertiesKeys
PROP_TXT_TAB_SIZE_DEFAULT - Static variable in interface net.sourceforge.czt.print.util.PrintPropertiesKeys
PROP_TXT_WIDTH - Static variable in interface net.sourceforge.czt.print.util.PrintPropertiesKeys: The number of columns after which the pretty printer should break the line (that is, insert a newline).
PROP_TXT_WIDTH_DEFAULT - Static variable in interface net.sourceforge.czt.print.util.PrintPropertiesKeys
push(Symbol) - Method in class net.sourceforge.czt.parser.util.TokenStack

R

raiseErrors() - Method in class net.sourceforge.czt.parser.z.Parser
raiseErrors() - Method in class net.sourceforge.czt.print.z.Unicode2Latex
raiseErrors() - Method in class net.sourceforge.czt.print.z.Unicode2OldLatex
RBIND - Static variable in class net.sourceforge.czt.parser.z.Sym
RBIND - Static variable in class net.sourceforge.czt.print.z.Sym
RBRACE - Static variable in class net.sourceforge.czt.parser.z.Sym
RBRACE - Static variable in class net.sourceforge.czt.print.z.Sym
RDATA - Static variable in class net.sourceforge.czt.parser.z.Sym
RDATA - Static variable in class net.sourceforge.czt.print.z.Sym
read(char[], int, int) - Method in class net.sourceforge.czt.parser.util.CztReader
reduce_table() - Method in class net.sourceforge.czt.parser.z.Parser: Access to reduce_goto table.
reduce_table() - Method in class net.sourceforge.czt.print.z.Unicode2Latex: Access to reduce_goto table.
reduce_table() - Method in class net.sourceforge.czt.print.z.Unicode2OldLatex: Access to reduce_goto table.
ref_ - Variable in class net.sourceforge.czt.print.z.ZPrintVisitor
RELATION - Static variable in class net.sourceforge.czt.parser.z.Sym
remove() - Method in class net.sourceforge.czt.print.util.TokenSequence.TokenSeqIterator
renderParseParentCycle(List<String>) - Static method in class net.sourceforge.czt.parser.util.CyclicParseManager: Renders the parent cycle into a nice String.
reorder(WrappedExpr) - Method in class net.sourceforge.czt.parser.util.PrecedenceHandlingVisitor
report(SectionInfo, Source, ErrorType, ZParseMessage, Object[], LocInfo) - Static method in class net.sourceforge.czt.parser.z.ZParseError
report(SectionInfo, Source, ErrorType, ZParseMessage, Object[], LocInfo, String) - Static method in class net.sourceforge.czt.parser.z.ZParseError
report(Source, CztError) - Static method in class net.sourceforge.czt.parser.z.ZParseError
report(SectionInfo, Source, ErrorType, ZPrintMessage, Object[], LocInfo) - Static method in class net.sourceforge.czt.print.z.ZPrintError
report(SectionInfo, Source, ErrorType, ZPrintMessage, Object[], LocInfo, String) - Static method in class net.sourceforge.czt.print.z.ZPrintError
report(Source, CztError) - Static method in class net.sourceforge.czt.print.z.ZPrintError
report_error(String, Object) - Method in class net.sourceforge.czt.parser.z.Parser
report_error(ZParseMessage, Object[], LocInfo) - Method in class net.sourceforge.czt.parser.z.Parser
report_error(String, Object) - Method in class net.sourceforge.czt.print.z.Unicode2Latex
report_error(String, Object) - Method in class net.sourceforge.czt.print.z.Unicode2OldLatex
report_fatal_error(String, Object) - Method in class net.sourceforge.czt.print.z.Unicode2Latex
report_fatal_error(String, Object) - Method in class net.sourceforge.czt.print.z.Unicode2OldLatex
report_syntax_error() - Method in class net.sourceforge.czt.parser.z.Parser
report_syntax_error(ZParseMessage) - Method in class net.sourceforge.czt.parser.z.Parser
reportCyclicParent(SectionInfo, Source, String, LocInfo) - Static method in class net.sourceforge.czt.parser.z.CyclicParentError
reportCyclicParentNoLoc(SectionInfo, Source, String, String, int, String) - Static method in class net.sourceforge.czt.parser.z.CyclicParentError: Reports the parent cyclic error to the central ParseException.
reportError(String) - Method in class net.sourceforge.czt.print.z.PrecedenceVisitor
reset(Reader) - Method in class net.sourceforge.czt.parser.z.UnicodeScanner
RIGHTASSOC - Static variable in class net.sourceforge.czt.parser.z.Sym
RPAREN - Static variable in class net.sourceforge.czt.parser.z.Sym
RPAREN - Static variable in class net.sourceforge.czt.print.z.Sym
RSQUARE - Static variable in class net.sourceforge.czt.parser.z.Sym
RSQUARE - Static variable in class net.sourceforge.czt.print.z.Sym
run(Term) - Method in class net.sourceforge.czt.parser.util.AbstractVisitor
run(ZSect) - Method in class net.sourceforge.czt.parser.util.DefinitionTableService
run(ZSect, SectionInfo) - Method in class net.sourceforge.czt.parser.util.DefinitionTableService
run(Term) - Method in class net.sourceforge.czt.parser.util.DefinitionTableVisitor
run(ZSect) - Method in class net.sourceforge.czt.parser.util.LatexMarkupFunctionVisitor
run(ZSect) - Method in class net.sourceforge.czt.parser.util.OpTableService
run(ZSect, SectionInfo) - Method in class net.sourceforge.czt.parser.util.OpTableService
run(Term) - Method in class net.sourceforge.czt.parser.util.OpTableVisitor
run(ZSect) - Method in class net.sourceforge.czt.parser.util.ThmTableService
run(ZSect, SectionInfo) - Method in class net.sourceforge.czt.parser.util.ThmTableService
run(Term) - Method in class net.sourceforge.czt.parser.util.ThmTableVisitor
run(String) - Method in class net.sourceforge.czt.print.z.AstToPrintTreeVisitor
run(Term, OpTable) - Method in class net.sourceforge.czt.print.z.AstToPrintTreeVisitor: Visits a term and transforms it into a printable tree.
run(Term, String) - Method in class net.sourceforge.czt.print.z.AstToPrintTreeVisitor: Visits a term and transforms it into a printable tree.
run(Term) - Method in class net.sourceforge.czt.print.z.PrecedenceParenAnnVisitor: Visits a term and its children and adds ParenAnn to terms where this is needed to enforce the given precedence and associativity.

S

scan(Scanner, Class<?>) - Static method in class net.sourceforge.czt.parser.util.DebugUtils
scan(Scanner, Class<?>, Writer) - Static method in class net.sourceforge.czt.parser.util.DebugUtils
scan() - Method in class net.sourceforge.czt.parser.z.Parser: Scan to get the next Symbol.
scan() - Method in class net.sourceforge.czt.print.z.Unicode2Latex: Scan to get the next Symbol.
scan() - Method in class net.sourceforge.czt.print.z.Unicode2OldLatex: Scan to get the next Symbol.
ScanException - Exception in net.sourceforge.czt.parser.util: This exception can be thrown by a scanner when unexpected tokens are encountered.
ScanException(Dialect, String, LocInfo) - Constructor for exception net.sourceforge.czt.parser.util.ScanException: Constructs a new exception with the specified detail message and location information.
ScanException(Dialect, String, String, LocInfo) - Constructor for exception net.sourceforge.czt.parser.util.ScanException
SCH - Static variable in class net.sourceforge.czt.parser.z.Sym
SCH - Static variable in class net.sourceforge.czt.print.z.Sym
sectInfo_ - Variable in class net.sourceforge.czt.parser.z.Parser: Section information (parser code).
sectInfo_ - Variable in class net.sourceforge.czt.print.z.Unicode2Latex
sectInfo_ - Variable in class net.sourceforge.czt.print.z.Unicode2OldLatex
SECTION - Static variable in class net.sourceforge.czt.parser.z.Sym
SECTION - Static variable in class net.sourceforge.czt.print.z.Sym
sectionName_ - Variable in class net.sourceforge.czt.print.z.Unicode2Latex
sectionName_ - Variable in class net.sourceforge.czt.print.z.Unicode2OldLatex
SectParentResolver - Class in net.sourceforge.czt.parser.util: A utility class to resolve section parents, taking cyclic relationships into account.
SectParentResolver() - Constructor for class net.sourceforge.czt.parser.util.SectParentResolver
SectParentResolver.CyclicSectionsException - Exception in net.sourceforge.czt.parser.util: Exception to signal that cyclic parent sections have been found.
SectParentResolver.ParentCollector - Interface in net.sourceforge.czt.parser.util
SectParsableCommand<T> - Class in net.sourceforge.czt.parser.util: A command to compute an information object (e.g.
SectParsableCommand() - Constructor for class net.sourceforge.czt.parser.util.SectParsableCommand
SEMICOLON - Static variable in class net.sourceforge.czt.parser.z.Sym
setCurrentSectName(String) - Method in class net.sourceforge.czt.parser.z.ParserState
setDebug(boolean) - Method in class net.sourceforge.czt.parser.util.TokeniserDebugger
setErrorType(ErrorType) - Method in class net.sourceforge.czt.parser.util.CztErrorImpl
setExtraInfo(T) - Method in class net.sourceforge.czt.parser.util.Decorword
setInfo(String) - Method in class net.sourceforge.czt.parser.util.CztErrorImpl
setLineWidth(int) - Method in class net.sourceforge.czt.print.util.PrettyPrinter
setLocation(LocInfo) - Method in class net.sourceforge.czt.parser.util.Decorword
setMarkupFunction(LatexMarkupFunction) - Method in class net.sourceforge.czt.parser.z.Latex2Unicode: Sets the latex mark-up function.
setMarkupFunction(LatexMarkupFunction) - Method in interface net.sourceforge.czt.parser.z.LatexMarkupParser.LatexLexer
setOffset(int) - Method in class net.sourceforge.czt.print.util.PrettyPrinter
setOldZ(boolean) - Method in class net.sourceforge.czt.print.z.AstToPrintTreeVisitor
setOperatorTable(OpTable) - Method in class net.sourceforge.czt.parser.z.OperatorScanner
setPreviousChain(int) - Method in class net.sourceforge.czt.parser.z.ParserState
setPrinter(ZPrinter) - Method in class net.sourceforge.czt.print.z.AbstractPrintVisitor
setSectionInfo(SectionInfo) - Method in class net.sourceforge.czt.print.z.Unicode2Latex
setSectionInfo(SectionInfo, String) - Method in class net.sourceforge.czt.print.z.Unicode2Latex
setSectionInfo(SectionInfo) - Method in class net.sourceforge.czt.print.z.Unicode2OldLatex
setSectionInfo(SectionInfo, String) - Method in class net.sourceforge.czt.print.z.Unicode2OldLatex
setSectionName(String) - Method in class net.sourceforge.czt.parser.util.InfoTable.Info
setSymbols(List<Symbol>) - Method in class net.sourceforge.czt.print.z.ZmlScanner
setVisitor(Visitor<Object>) - Method in class net.sourceforge.czt.print.z.ZPrintVisitor
setWriter(Writer) - Method in class net.sourceforge.czt.print.z.Unicode2Latex
setWriter(Writer) - Method in class net.sourceforge.czt.print.z.Unicode2OldLatex
setZPrintVisitor(ZPrintVisitor) - Method in class net.sourceforge.czt.print.z.TokenSequenceVisitor
SLASH - Static variable in class net.sourceforge.czt.parser.z.Sym
source_ - Variable in class net.sourceforge.czt.parser.z.Parser: The file being parsed.
source_ - Variable in class net.sourceforge.czt.print.z.Unicode2Latex: The source currently being parsed.
source_ - Variable in class net.sourceforge.czt.print.z.Unicode2OldLatex: The source currently being parsed.
spelling() - Method in enum net.sourceforge.czt.parser.util.LatexSym
spelling() - Method in interface net.sourceforge.czt.parser.util.Token
spelling() - Method in class net.sourceforge.czt.parser.util.TokenImpl
spelling() - Method in enum net.sourceforge.czt.parser.z.ZKeyword
spelling() - Method in enum net.sourceforge.czt.parser.z.ZOpToken
spelling() - Method in enum net.sourceforge.czt.parser.z.ZToken
spelling() - Method in class net.sourceforge.czt.print.util.TokenSequence
SPOT - Static variable in class net.sourceforge.czt.parser.z.Sym
SR - Static variable in class net.sourceforge.czt.parser.z.Sym
SRE - Static variable in class net.sourceforge.czt.parser.z.Sym
SREP - Static variable in class net.sourceforge.czt.parser.z.Sym
SRP - Static variable in class net.sourceforge.czt.parser.z.Sym
SS - Static variable in class net.sourceforge.czt.parser.z.Sym
start_production() - Method in class net.sourceforge.czt.parser.z.Parser: Indicates start production.
start_production() - Method in class net.sourceforge.czt.print.z.Unicode2Latex: Indicates start production.
start_production() - Method in class net.sourceforge.czt.print.z.Unicode2OldLatex: Indicates start production.
start_state() - Method in class net.sourceforge.czt.parser.z.Parser: Indicates start state.
start_state() - Method in class net.sourceforge.czt.print.z.Unicode2Latex: Indicates start state.
start_state() - Method in class net.sourceforge.czt.print.z.Unicode2OldLatex: Indicates start state.
Sym - Class in net.sourceforge.czt.parser.z: CUP generated class containing symbol constants.
Sym() - Constructor for class net.sourceforge.czt.parser.z.Sym
Sym - Class in net.sourceforge.czt.print.z: CUP generated class containing symbol constants.
Sym() - Constructor for class net.sourceforge.czt.print.z.Sym
SymbolCollector(Dialect, Class<?>, ZmlScanner) - Constructor for class net.sourceforge.czt.print.z.ZmlScanner.SymbolCollector
symbolMap2_ - Static variable in class net.sourceforge.czt.print.z.Unicode2Latex
symbolMap2_ - Static variable in class net.sourceforge.czt.print.z.Unicode2OldLatex
symbolMap_ - Static variable in class net.sourceforge.czt.print.z.Unicode2Latex
symbolMap_ - Static variable in class net.sourceforge.czt.print.z.Unicode2OldLatex
SymMap - Class in net.sourceforge.czt.parser.z
syntax_error(Symbol) - Method in class net.sourceforge.czt.parser.z.Parser

T

table_ - Variable in class net.sourceforge.czt.parser.util.PrecedenceHandlingVisitor: The operator table used to determine the precedence of operators.
tabSize_ - Variable in class net.sourceforge.czt.print.z.Unicode2Latex
tabSize_ - Variable in class net.sourceforge.czt.print.z.Unicode2OldLatex
TermCommand - Class in net.sourceforge.czt.parser.util
TermCommand() - Constructor for class net.sourceforge.czt.parser.util.TermCommand
TEXT - Static variable in class net.sourceforge.czt.parser.z.Sym
TEXT - Static variable in class net.sourceforge.czt.print.z.Sym
THEN - Static variable in class net.sourceforge.czt.parser.z.Sym
THEOREM - Static variable in class net.sourceforge.czt.parser.z.Sym
THEOREM - Static variable in class net.sourceforge.czt.print.z.Sym
THETA - Static variable in class net.sourceforge.czt.parser.z.Sym
ThmInfo(String, ConjPara) - Constructor for class net.sourceforge.czt.parser.util.ThmTable.ThmInfo
ThmTable - Class in net.sourceforge.czt.parser.util
ThmTable(Dialect, String) - Constructor for class net.sourceforge.czt.parser.util.ThmTable
ThmTable.ThmInfo - Class in net.sourceforge.czt.parser.util
ThmTable.ThmTableException - Exception in net.sourceforge.czt.parser.util
ThmTableCommand - Class in net.sourceforge.czt.parser.util: A command to compute the conjectures table (class ThmTable) of a Z section.
ThmTableCommand() - Constructor for class net.sourceforge.czt.parser.util.ThmTableCommand
ThmTableException(Dialect, String) - Constructor for exception net.sourceforge.czt.parser.util.ThmTable.ThmTableException
ThmTableService - Class in net.sourceforge.czt.parser.util
ThmTableService(SectionInfo) - Constructor for class net.sourceforge.czt.parser.util.ThmTableService: Creates a new named conjecture table service.
ThmTableVisitor - Class in net.sourceforge.czt.parser.util
ThmTableVisitor(SectionInfo) - Constructor for class net.sourceforge.czt.parser.util.ThmTableVisitor: Creates a new named conjecture table visitor.
toAst(Factory) - Method in class net.sourceforge.czt.parser.util.LatexMarkupFunction
Token - Interface in net.sourceforge.czt.parser.util: A token is an object with a name and an optional spelling, which is usually created by a lexer (or scanner) and subsequently used in a parser.
TokenImpl - Class in net.sourceforge.czt.parser.util
TokenImpl(Token, Object) - Constructor for class net.sourceforge.czt.parser.util.TokenImpl
TokeniserDebugger - Class in net.sourceforge.czt.parser.util
TokeniserDebugger() - Constructor for class net.sourceforge.czt.parser.util.TokeniserDebugger
TokeniserDebugger(Properties) - Constructor for class net.sourceforge.czt.parser.util.TokeniserDebugger
TOKENSEQ - Static variable in class net.sourceforge.czt.print.z.Sym
TokenSeqIterator(List<Token>) - Constructor for class net.sourceforge.czt.print.util.TokenSequence.TokenSeqIterator
TokenSequence - Class in net.sourceforge.czt.print.util
TokenSequence(String, ZPrinter) - Constructor for class net.sourceforge.czt.print.util.TokenSequence
TokenSequence.TokenSeqIterator - Class in net.sourceforge.czt.print.util
TokenSequenceVisitor - Class in net.sourceforge.czt.print.z: A new TokenSequenceVisitor needs to be created for each print since a Stack is build up while recursing into children.
TokenSequenceVisitor(SectionInfo, ZPrinter) - Constructor for class net.sourceforge.czt.print.z.TokenSequenceVisitor
TokenSequenceVisitor(SectionInfo, ZPrinter, Properties) - Constructor for class net.sourceforge.czt.print.z.TokenSequenceVisitor
TokenStack - Class in net.sourceforge.czt.parser.util: A stack of tokens that is initialised with the tokens provided by a scanner.
TokenStack(CztScanner) - Constructor for class net.sourceforge.czt.parser.util.TokenStack
toLocAnn(LocInfo, boolean) - Method in class net.sourceforge.czt.parser.z.ParserState
toLocAnn(LocInfo) - Method in class net.sourceforge.czt.parser.z.ParserState
toObject(Symbol) - Method in class net.sourceforge.czt.parser.z.Parser
toObject(Symbol) - Method in class net.sourceforge.czt.print.z.Unicode2Latex
toObject(Symbol) - Method in class net.sourceforge.czt.print.z.Unicode2OldLatex
toPrintTree(AstToPrintTreeVisitor, Term, String) - Method in class net.sourceforge.czt.print.z.AbstractPrinterCommand
ToSpiveyZVisitor - Class in net.sourceforge.czt.print.z: A translator to Spivey Z AST.
ToSpiveyZVisitor() - Constructor for class net.sourceforge.czt.print.z.ToSpiveyZVisitor
toString() - Method in class net.sourceforge.czt.parser.util.CztErrorImpl
toString() - Method in class net.sourceforge.czt.parser.util.Decorword
toString() - Method in class net.sourceforge.czt.parser.util.DefinitionTable.Definition
toString() - Method in exception net.sourceforge.czt.parser.util.DefinitionTable.DefinitionException
toString() - Method in class net.sourceforge.czt.parser.util.DefinitionTable
toString() - Method in class net.sourceforge.czt.parser.util.LatexCommand: Returns a string representation of this latex command.
toString() - Method in class net.sourceforge.czt.parser.util.LatexMarkupFunction
toString() - Method in class net.sourceforge.czt.parser.util.LocInfoImpl
toString() - Method in class net.sourceforge.czt.parser.util.LocInt
toString() - Method in class net.sourceforge.czt.parser.util.LocString
toString() - Method in class net.sourceforge.czt.parser.util.MarkupDirective
toString() - Method in class net.sourceforge.czt.parser.util.OpTable
toString() - Method in exception net.sourceforge.czt.parser.util.ScanException
toString() - Method in class net.sourceforge.czt.parser.util.TokenImpl
toString() - Method in class net.sourceforge.czt.print.util.CztPrintString
toString() - Method in exception net.sourceforge.czt.print.util.PrintException
toString() - Method in class net.sourceforge.czt.print.util.TokenSequence
toUnicode(ZPrinter, Term, SectionManager, String, Properties) - Method in class net.sourceforge.czt.print.z.AbstractPrinterCommand: Creates a sequence of tokens for printing.
TRUE - Static variable in class net.sourceforge.czt.parser.z.Sym

U

Unicode2Latex - Class in net.sourceforge.czt.print.z: CUP v0.11a czt01 beta generated parser.
Unicode2Latex() - Constructor for class net.sourceforge.czt.print.z.Unicode2Latex: Default constructor.
Unicode2Latex(Scanner) - Constructor for class net.sourceforge.czt.print.z.Unicode2Latex: Constructor which sets the default scanner.
Unicode2Latex(Scanner, SymbolFactory) - Constructor for class net.sourceforge.czt.print.z.Unicode2Latex: Constructor which sets the default scanner.
Unicode2Latex(CztScanner, SectionInfo, Properties, Collection<? extends Key<?>>) - Constructor for class net.sourceforge.czt.print.z.Unicode2Latex
Unicode2OldLatex - Class in net.sourceforge.czt.print.z: CUP v0.11a czt01 beta generated parser.
Unicode2OldLatex() - Constructor for class net.sourceforge.czt.print.z.Unicode2OldLatex: Default constructor.
Unicode2OldLatex(Scanner) - Constructor for class net.sourceforge.czt.print.z.Unicode2OldLatex: Constructor which sets the default scanner.
Unicode2OldLatex(Scanner, SymbolFactory) - Constructor for class net.sourceforge.czt.print.z.Unicode2OldLatex: Constructor which sets the default scanner.
Unicode2OldLatex(CztScanner, SectionInfo, Properties, Collection<? extends Key<?>>) - Constructor for class net.sourceforge.czt.print.z.Unicode2OldLatex
UnicodeParser - Class in net.sourceforge.czt.parser.z: A parser for unicode.
UnicodeParser(Source, SectionInfo, Properties, Collection<? extends Key<?>>) - Constructor for class net.sourceforge.czt.parser.z.UnicodeParser
UnicodePrinter - Class in net.sourceforge.czt.print.z: Print Z specifications in Unicode.
UnicodePrinter(Writer) - Constructor for class net.sourceforge.czt.print.z.UnicodePrinter: Create a new PrintWriter, without automatic line flushing.
UnicodePrinter(Writer, boolean) - Constructor for class net.sourceforge.czt.print.z.UnicodePrinter: Create a new PrintWriter.
UnicodePrinterCommand - Class in net.sourceforge.czt.print.z
UnicodePrinterCommand() - Constructor for class net.sourceforge.czt.print.z.UnicodePrinterCommand
UnicodeScanner - Class in net.sourceforge.czt.parser.z: A scanner for lexing specifications in unicode format.
UnicodeScanner(Source, Properties) - Constructor for class net.sourceforge.czt.parser.z.UnicodeScanner
UnicodeScanner(CztReader, Properties) - Constructor for class net.sourceforge.czt.parser.z.UnicodeScanner
UnicodeString - Class in net.sourceforge.czt.print.util
UnicodeString(String) - Constructor for class net.sourceforge.czt.print.util.UnicodeString
UnicodeString(String, Dialect) - Constructor for class net.sourceforge.czt.print.util.UnicodeString
unrecovered_syntax_error(Symbol) - Method in class net.sourceforge.czt.parser.z.Parser
unrecovered_syntax_error(Symbol) - Method in class net.sourceforge.czt.print.z.Unicode2Latex
unrecovered_syntax_error(Symbol) - Method in class net.sourceforge.czt.print.z.Unicode2OldLatex
user_init() - Method in class net.sourceforge.czt.parser.z.Parser: User initialization code.
user_init() - Method in class net.sourceforge.czt.print.z.Unicode2Latex: User initialization code.
user_init() - Method in class net.sourceforge.czt.print.z.Unicode2OldLatex: User initialization code.
UtilsImpl() - Constructor for class net.sourceforge.czt.print.z.ZPrintVisitor.UtilsImpl

V

valueOf(String) - Static method in enum net.sourceforge.czt.parser.util.DefinitionType: Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum net.sourceforge.czt.parser.util.ErrorType: Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum net.sourceforge.czt.parser.util.LatexSym: Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum net.sourceforge.czt.parser.util.NewlineCategory: Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum net.sourceforge.czt.parser.util.OperatorTokenType: Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum net.sourceforge.czt.parser.z.ZKeyword: Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum net.sourceforge.czt.parser.z.ZOpToken: Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum net.sourceforge.czt.parser.z.ZParseMessage: Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum net.sourceforge.czt.parser.z.ZToken: Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum net.sourceforge.czt.print.z.ZPrintMessage: Returns the enum constant of this type with the specified name.
values() - Static method in enum net.sourceforge.czt.parser.util.DefinitionType: Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum net.sourceforge.czt.parser.util.ErrorType: Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum net.sourceforge.czt.parser.util.LatexSym: Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum net.sourceforge.czt.parser.util.NewlineCategory: Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum net.sourceforge.czt.parser.util.OperatorTokenType: Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum net.sourceforge.czt.parser.z.ZKeyword: Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum net.sourceforge.czt.parser.z.ZOpToken: Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum net.sourceforge.czt.parser.z.ZParseMessage: Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum net.sourceforge.czt.parser.z.ZToken: Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum net.sourceforge.czt.print.z.ZPrintMessage: Returns an array containing the constants of this enum type, in the order they are declared.
visit(Term) - Method in class net.sourceforge.czt.parser.util.DefinitionTableVisitor
visit(Term) - Method in class net.sourceforge.czt.parser.util.LatexMarkupFunctionVisitor
visit(Term) - Method in class net.sourceforge.czt.parser.util.OpTableVisitor
visit(Term) - Method in class net.sourceforge.czt.parser.util.ThmTableVisitor
visit(Term) - Method in class net.sourceforge.czt.print.z.AstToPrintTreeVisitor
visit(Term) - Method in class net.sourceforge.czt.print.z.ZPrintVisitor
visitAndExpr(AndExpr) - Method in class net.sourceforge.czt.print.z.PrecedenceVisitor
visitAndExpr(AndExpr) - Method in class net.sourceforge.czt.print.z.ZPrintVisitor
visitAndPred(AndPred) - Method in class net.sourceforge.czt.print.z.AstToPrintTreeVisitor
visitAndPred(AndPred) - Method in class net.sourceforge.czt.print.z.PrecedenceVisitor
visitAndPred(AndPred) - Method in class net.sourceforge.czt.print.z.ZPrintVisitor
visitApplExpr(ApplExpr) - Method in class net.sourceforge.czt.parser.util.PrecedenceHandlingVisitor
visitApplExpr(ApplExpr) - Method in class net.sourceforge.czt.print.z.AstToPrintTreeVisitor: Transforms each function application (an application expression with Mixfix set to true) into an OperatorApplication, and each application (an application expression with Mixfix set to false) into an Application.
visitApplExpr(ApplExpr) - Method in class net.sourceforge.czt.print.z.PrecedenceVisitor
visitApplExpr(ApplExpr) - Method in class net.sourceforge.czt.print.z.ZPrintVisitor: Throws an unsupported operation exception.
visitApplication(Application) - Method in interface net.sourceforge.czt.print.ast.ApplicationVisitor
visitApplication(Application) - Method in class net.sourceforge.czt.print.z.PrecedenceParenAnnVisitor
visitApplication(Application) - Method in class net.sourceforge.czt.print.z.PrecedenceVisitor
visitApplication(Application) - Method in class net.sourceforge.czt.print.z.ZPrintVisitor
visitAxPara(AxPara) - Method in class net.sourceforge.czt.parser.util.DefinitionTableVisitor
visitAxPara(AxPara) - Method in class net.sourceforge.czt.print.z.AstToPrintTreeVisitor
visitAxPara(AxPara) - Method in class net.sourceforge.czt.print.z.ToSpiveyZVisitor
visitAxPara(AxPara) - Method in class net.sourceforge.czt.print.z.ZPrintVisitor
visitBindExpr(BindExpr) - Method in class net.sourceforge.czt.print.z.ZPrintVisitor
visitBindSelExpr(BindSelExpr) - Method in class net.sourceforge.czt.print.z.PrecedenceVisitor
visitBindSelExpr(BindSelExpr) - Method in class net.sourceforge.czt.print.z.ZPrintVisitor
visitBranch(Branch) - Method in class net.sourceforge.czt.print.z.ZPrintVisitor
visitCompExpr(CompExpr) - Method in class net.sourceforge.czt.print.z.PrecedenceVisitor
visitCompExpr(CompExpr) - Method in class net.sourceforge.czt.print.z.ZPrintVisitor
visitCondExpr(CondExpr) - Method in class net.sourceforge.czt.print.z.PrecedenceVisitor
visitCondExpr(CondExpr) - Method in class net.sourceforge.czt.print.z.ZPrintVisitor
visitConjPara(ConjPara) - Method in class net.sourceforge.czt.parser.util.ThmTableVisitor
visitConjPara(ConjPara) - Method in class net.sourceforge.czt.print.z.ZPrintVisitor
visitConstDecl(ConstDecl) - Method in class net.sourceforge.czt.print.z.ZPrintVisitor
visitDecorExpr(DecorExpr) - Method in class net.sourceforge.czt.print.z.PrecedenceVisitor
visitDecorExpr(DecorExpr) - Method in class net.sourceforge.czt.print.z.ZPrintVisitor
visitDefinition(DefinitionTable.Definition) - Method in interface net.sourceforge.czt.parser.util.DefinitionTable.DefinitionVisitor
visitDirective(Directive) - Method in class net.sourceforge.czt.print.z.ZPrintVisitor
visitedParents(String) - Method in class net.sourceforge.czt.parser.util.CyclicParseManager: Marks the given section as inactive.
visitExists1Expr(Exists1Expr) - Method in class net.sourceforge.czt.print.z.PrecedenceVisitor
visitExists1Expr(Exists1Expr) - Method in class net.sourceforge.czt.print.z.ZPrintVisitor
visitExists1Pred(Exists1Pred) - Method in class net.sourceforge.czt.print.z.PrecedenceVisitor
visitExists1Pred(Exists1Pred) - Method in class net.sourceforge.czt.print.z.ZPrintVisitor
visitExistsExpr(ExistsExpr) - Method in class net.sourceforge.czt.print.z.PrecedenceVisitor
visitExistsExpr(ExistsExpr) - Method in class net.sourceforge.czt.print.z.ZPrintVisitor
visitExistsPred(ExistsPred) - Method in class net.sourceforge.czt.print.z.PrecedenceVisitor
visitExistsPred(ExistsPred) - Method in class net.sourceforge.czt.print.z.ZPrintVisitor
visitExpr(Expr) - Method in class net.sourceforge.czt.print.z.PrecedenceParenAnnVisitor
visitExprPred(ExprPred) - Method in class net.sourceforge.czt.print.z.ZPrintVisitor
visitFalsePred(FalsePred) - Method in class net.sourceforge.czt.print.z.ZPrintVisitor
visitForallExpr(ForallExpr) - Method in class net.sourceforge.czt.print.z.PrecedenceVisitor
visitForallExpr(ForallExpr) - Method in class net.sourceforge.czt.print.z.ZPrintVisitor
visitForallPred(ForallPred) - Method in class net.sourceforge.czt.print.z.PrecedenceVisitor
visitForallPred(ForallPred) - Method in class net.sourceforge.czt.print.z.ZPrintVisitor
visitFreePara(FreePara) - Method in class net.sourceforge.czt.print.z.ZPrintVisitor
visitFreetype(Freetype) - Method in class net.sourceforge.czt.print.z.ZPrintVisitor
visitGenericType(GenericType) - Method in class net.sourceforge.czt.print.z.ZPrintVisitor
visitGenParamType(GenParamType) - Method in class net.sourceforge.czt.print.z.ZPrintVisitor
visitGivenPara(GivenPara) - Method in class net.sourceforge.czt.print.z.ZPrintVisitor
visitGivenType(GivenType) - Method in class net.sourceforge.czt.print.z.ZPrintVisitor
visitHideExpr(HideExpr) - Method in class net.sourceforge.czt.print.z.PrecedenceVisitor
visitHideExpr(HideExpr) - Method in class net.sourceforge.czt.print.z.ZPrintVisitor
visitIffExpr(IffExpr) - Method in class net.sourceforge.czt.print.z.PrecedenceVisitor
visitIffExpr(IffExpr) - Method in class net.sourceforge.czt.print.z.ZPrintVisitor
visitIffPred(IffPred) - Method in class net.sourceforge.czt.print.z.PrecedenceVisitor
visitIffPred(IffPred) - Method in class net.sourceforge.czt.print.z.ZPrintVisitor
visitImpliesExpr(ImpliesExpr) - Method in class net.sourceforge.czt.print.z.PrecedenceVisitor
visitImpliesExpr(ImpliesExpr) - Method in class net.sourceforge.czt.print.z.ZPrintVisitor
visitImpliesPred(ImpliesPred) - Method in class net.sourceforge.czt.print.z.PrecedenceVisitor
visitImpliesPred(ImpliesPred) - Method in class net.sourceforge.czt.print.z.ZPrintVisitor
visitInclDecl(InclDecl) - Method in class net.sourceforge.czt.print.z.ZPrintVisitor
visitInStroke(InStroke) - Method in class net.sourceforge.czt.print.z.ZPrintVisitor
visitLambdaExpr(LambdaExpr) - Method in class net.sourceforge.czt.print.z.PrecedenceVisitor
visitLambdaExpr(LambdaExpr) - Method in class net.sourceforge.czt.print.z.ZPrintVisitor
visitLatexMarkupPara(LatexMarkupPara) - Method in class net.sourceforge.czt.parser.util.LatexMarkupFunctionVisitor
visitLatexMarkupPara(LatexMarkupPara) - Method in class net.sourceforge.czt.print.z.ZPrintVisitor
visitLetExpr(LetExpr) - Method in class net.sourceforge.czt.print.z.PrecedenceVisitor
visitLetExpr(LetExpr) - Method in class net.sourceforge.czt.print.z.ZPrintVisitor
visitListTerm(ListTerm<?>) - Method in class net.sourceforge.czt.print.z.ZPrintVisitor
visitLocAnn(LocAnn) - Method in class net.sourceforge.czt.print.z.ZPrintVisitor
visitMemPred(MemPred) - Method in class net.sourceforge.czt.print.z.AstToPrintTreeVisitor
visitMemPred(MemPred) - Method in class net.sourceforge.czt.print.z.PrecedenceVisitor
visitMemPred(MemPred) - Method in class net.sourceforge.czt.print.z.ZPrintVisitor
visitMuExpr(MuExpr) - Method in class net.sourceforge.czt.print.z.PrecedenceVisitor
visitMuExpr(MuExpr) - Method in class net.sourceforge.czt.print.z.ZPrintVisitor
visitNameSectTypeTriple(NameSectTypeTriple) - Method in class net.sourceforge.czt.print.z.ZPrintVisitor
visitNameTypePair(NameTypePair) - Method in class net.sourceforge.czt.print.z.ZPrintVisitor
visitNarrPara(NarrPara) - Method in class net.sourceforge.czt.print.z.ZPrintVisitor
visitNarrSect(NarrSect) - Method in class net.sourceforge.czt.print.z.ZPrintVisitor
visitNegExpr(NegExpr) - Method in class net.sourceforge.czt.print.z.PrecedenceVisitor
visitNegExpr(NegExpr) - Method in class net.sourceforge.czt.print.z.ZPrintVisitor
visitNegPred(NegPred) - Method in class net.sourceforge.czt.print.z.PrecedenceVisitor
visitNegPred(NegPred) - Method in class net.sourceforge.czt.print.z.ZPrintVisitor
visitNewOldPair(NewOldPair) - Method in class net.sourceforge.czt.print.z.ZPrintVisitor
visitNextStroke(NextStroke) - Method in class net.sourceforge.czt.print.z.ZPrintVisitor
visitNumExpr(NumExpr) - Method in class net.sourceforge.czt.print.z.ZPrintVisitor
visitNumStroke(NumStroke) - Method in class net.sourceforge.czt.print.z.ZPrintVisitor
visitOperand(Operand) - Method in class net.sourceforge.czt.print.z.ZPrintVisitor
visitOperator(Operator) - Method in class net.sourceforge.czt.print.z.ZPrintVisitor
visitOperatorApplication(OperatorApplication) - Method in interface net.sourceforge.czt.print.ast.OperatorApplicationVisitor
visitOperatorApplication(OperatorApplication) - Method in class net.sourceforge.czt.print.z.PrecedenceParenAnnVisitor
visitOperatorApplication(OperatorApplication) - Method in class net.sourceforge.czt.print.z.PrecedenceVisitor
visitOperatorApplication(OperatorApplication) - Method in class net.sourceforge.czt.print.z.ZPrintVisitor
visitOptempPara(OptempPara) - Method in class net.sourceforge.czt.parser.util.OpTableVisitor
visitOptempPara(OptempPara) - Method in class net.sourceforge.czt.print.z.ZPrintVisitor
visitOrExpr(OrExpr) - Method in class net.sourceforge.czt.print.z.PrecedenceVisitor
visitOrExpr(OrExpr) - Method in class net.sourceforge.czt.print.z.ZPrintVisitor
visitOrPred(OrPred) - Method in class net.sourceforge.czt.print.z.PrecedenceVisitor
visitOrPred(OrPred) - Method in class net.sourceforge.czt.print.z.ZPrintVisitor
visitOutStroke(OutStroke) - Method in class net.sourceforge.czt.print.z.ZPrintVisitor
visitPara(Para) - Method in class net.sourceforge.czt.parser.util.DefinitionTableVisitor
visitPara(Para) - Method in class net.sourceforge.czt.parser.util.LatexMarkupFunctionVisitor
visitPara(Para) - Method in class net.sourceforge.czt.parser.util.OpTableVisitor
visitPara(Para) - Method in class net.sourceforge.czt.parser.util.ThmTableVisitor
visitParenAnn(ParenAnn) - Method in class net.sourceforge.czt.print.z.ZPrintVisitor
visitParent(Parent) - Method in class net.sourceforge.czt.print.z.ZPrintVisitor
visitPipeExpr(PipeExpr) - Method in class net.sourceforge.czt.print.z.PrecedenceVisitor
visitPipeExpr(PipeExpr) - Method in class net.sourceforge.czt.print.z.ZPrintVisitor
visitPowerExpr(PowerExpr) - Method in class net.sourceforge.czt.print.z.PrecedenceVisitor
visitPowerExpr(PowerExpr) - Method in class net.sourceforge.czt.print.z.ZPrintVisitor
visitPowerType(PowerType) - Method in class net.sourceforge.czt.print.z.ZPrintVisitor
visitPred(Pred) - Method in class net.sourceforge.czt.print.z.PrecedenceParenAnnVisitor
visitPreExpr(PreExpr) - Method in class net.sourceforge.czt.print.z.PrecedenceVisitor
visitPreExpr(PreExpr) - Method in class net.sourceforge.czt.print.z.ZPrintVisitor
visitPrintExpression(PrintExpression) - Method in interface net.sourceforge.czt.print.ast.PrintExpressionVisitor
visitPrintExpression(PrintExpression) - Method in class net.sourceforge.czt.print.z.ZPrintVisitor
visitPrintParagraph(PrintParagraph) - Method in interface net.sourceforge.czt.print.ast.PrintParagraphVisitor
visitPrintParagraph(PrintParagraph) - Method in class net.sourceforge.czt.print.z.ZPrintVisitor
visitPrintPredicate(PrintPredicate) - Method in interface net.sourceforge.czt.print.ast.PrintPredicateVisitor
visitPrintPredicate(PrintPredicate) - Method in class net.sourceforge.czt.print.z.PrecedenceVisitor
visitPrintPredicate(PrintPredicate) - Method in class net.sourceforge.czt.print.z.ZPrintVisitor
visitProdExpr(ProdExpr) - Method in class net.sourceforge.czt.parser.util.PrecedenceHandlingVisitor
visitProdExpr(ProdExpr) - Method in class net.sourceforge.czt.print.z.PrecedenceParenAnnVisitor
visitProdExpr(ProdExpr) - Method in class net.sourceforge.czt.print.z.PrecedenceVisitor
visitProdExpr(ProdExpr) - Method in class net.sourceforge.czt.print.z.ZPrintVisitor
visitProdType(ProdType) - Method in class net.sourceforge.czt.print.z.ZPrintVisitor
visitProjExpr(ProjExpr) - Method in class net.sourceforge.czt.print.z.PrecedenceVisitor
visitProjExpr(ProjExpr) - Method in class net.sourceforge.czt.print.z.ZPrintVisitor
visitRefExpr(RefExpr) - Method in class net.sourceforge.czt.parser.util.PrecedenceHandlingVisitor
visitRefExpr(RefExpr) - Method in class net.sourceforge.czt.print.z.AstToPrintTreeVisitor: Transforms each generic operator application, that is each reference expression with Mixfix set to true into an OperatorApplication.
visitRefExpr(RefExpr) - Method in class net.sourceforge.czt.print.z.PrecedenceVisitor
visitRefExpr(RefExpr) - Method in class net.sourceforge.czt.print.z.ToSpiveyZVisitor: Visit the expression list only when explicit is true.
visitRefExpr(RefExpr) - Method in class net.sourceforge.czt.print.z.ZPrintVisitor
visitRenameExpr(RenameExpr) - Method in class net.sourceforge.czt.print.z.PrecedenceVisitor
visitRenameExpr(RenameExpr) - Method in class net.sourceforge.czt.print.z.ZPrintVisitor
visitSchemaType(SchemaType) - Method in class net.sourceforge.czt.print.z.ZPrintVisitor
visitSchExpr(SchExpr) - Method in class net.sourceforge.czt.print.z.ToSpiveyZVisitor
visitSchExpr(SchExpr) - Method in class net.sourceforge.czt.print.z.ZPrintVisitor
visitSectTypeEnvAnn(SectTypeEnvAnn) - Method in class net.sourceforge.czt.print.z.ZPrintVisitor
visitSetCompExpr(SetCompExpr) - Method in class net.sourceforge.czt.print.z.ZPrintVisitor
visitSetExpr(SetExpr) - Method in class net.sourceforge.czt.print.z.ZPrintVisitor
visitSignature(Signature) - Method in class net.sourceforge.czt.print.z.ZPrintVisitor
visitSignatureAnn(SignatureAnn) - Method in class net.sourceforge.czt.print.z.ZPrintVisitor
visitSpec(Spec) - Method in class net.sourceforge.czt.print.z.ZPrintVisitor
visitTerm(Term) - Method in class net.sourceforge.czt.parser.util.DefinitionTableVisitor
visitTerm(Term) - Method in class net.sourceforge.czt.parser.util.DeleteAnnVisitor
visitTerm(Term) - Method in class net.sourceforge.czt.parser.util.LatexMarkupFunctionVisitor
visitTerm(Term) - Method in class net.sourceforge.czt.parser.util.OpTableVisitor
visitTerm(Term) - Method in class net.sourceforge.czt.parser.util.PrecedenceHandlingVisitor: Visits all of its children and copies annotations.
visitTerm(Term) - Method in class net.sourceforge.czt.parser.util.ThmTableVisitor
visitTerm(Term) - Method in class net.sourceforge.czt.print.z.AstToPrintTreeVisitor: Visits all children of a term.
visitTerm(Term) - Method in class net.sourceforge.czt.print.z.PrecedenceParenAnnVisitor
visitTerm(Term) - Method in class net.sourceforge.czt.print.z.PrecedenceVisitor
visitTerm(Term) - Method in class net.sourceforge.czt.print.z.TokenSequenceVisitor
visitTerm(Term) - Method in class net.sourceforge.czt.print.z.ToSpiveyZVisitor
visitTerm(Term) - Method in class net.sourceforge.czt.print.z.ZPrintVisitor
visitThetaExpr(ThetaExpr) - Method in class net.sourceforge.czt.print.z.PrecedenceVisitor
visitThetaExpr(ThetaExpr) - Method in class net.sourceforge.czt.print.z.ZPrintVisitor
visitTruePred(TruePred) - Method in class net.sourceforge.czt.print.z.ZPrintVisitor
visitTupleExpr(TupleExpr) - Method in class net.sourceforge.czt.print.z.ZPrintVisitor
visitTupleSelExpr(TupleSelExpr) - Method in class net.sourceforge.czt.print.z.PrecedenceVisitor
visitTupleSelExpr(TupleSelExpr) - Method in class net.sourceforge.czt.print.z.ZPrintVisitor
visitTypeAnn(TypeAnn) - Method in class net.sourceforge.czt.print.z.ZPrintVisitor
visitUnparsedPara(UnparsedPara) - Method in class net.sourceforge.czt.print.z.ZPrintVisitor
visitUnparsedZSect(UnparsedZSect) - Method in class net.sourceforge.czt.print.z.ZPrintVisitor
visitVarDecl(VarDecl) - Method in class net.sourceforge.czt.print.z.ZPrintVisitor
visitZBranchList(ZBranchList) - Method in class net.sourceforge.czt.print.z.ZPrintVisitor
visitZDeclList(ZDeclList) - Method in class net.sourceforge.czt.print.z.ZPrintVisitor
visitZExprList(ZExprList) - Method in class net.sourceforge.czt.print.z.ZPrintVisitor
visitZFreetypeList(ZFreetypeList) - Method in class net.sourceforge.czt.print.z.ZPrintVisitor
visitZName(ZName) - Method in class net.sourceforge.czt.print.z.ZPrintVisitor
visitZNameList(ZNameList) - Method in class net.sourceforge.czt.print.z.ZPrintVisitor
visitZNumeral(ZNumeral) - Method in class net.sourceforge.czt.print.z.ZPrintVisitor
visitZParaList(ZParaList) - Method in class net.sourceforge.czt.parser.util.DefinitionTableVisitor
visitZParaList(ZParaList) - Method in class net.sourceforge.czt.parser.util.LatexMarkupFunctionVisitor
visitZParaList(ZParaList) - Method in class net.sourceforge.czt.parser.util.OpTableVisitor
visitZParaList(ZParaList) - Method in class net.sourceforge.czt.parser.util.ThmTableVisitor
visitZParaList(ZParaList) - Method in class net.sourceforge.czt.print.z.ZPrintVisitor
visitZRenameList(ZRenameList) - Method in class net.sourceforge.czt.print.z.ZPrintVisitor
visitZSchText(ZSchText) - Method in class net.sourceforge.czt.print.z.ZPrintVisitor
visitZSect(ZSect) - Method in class net.sourceforge.czt.parser.util.DefinitionTableVisitor
visitZSect(ZSect) - Method in class net.sourceforge.czt.parser.util.LatexMarkupFunctionVisitor
visitZSect(ZSect) - Method in class net.sourceforge.czt.parser.util.OpTableVisitor
visitZSect(ZSect) - Method in class net.sourceforge.czt.parser.util.ThmTableVisitor
visitZSect(ZSect) - Method in class net.sourceforge.czt.print.z.AstToPrintTreeVisitor: Sets up the operator table for this Z section.
visitZSect(ZSect) - Method in class net.sourceforge.czt.print.z.ZPrintVisitor
visitZStrokeList(ZStrokeList) - Method in class net.sourceforge.czt.print.z.ZPrintVisitor

W

warningManager_ - Variable in class net.sourceforge.czt.print.z.AstToPrintTreeVisitor
WHERE - Static variable in class net.sourceforge.czt.print.z.Sym
WhereWord - Class in net.sourceforge.czt.print.z
WhereWord() - Constructor for class net.sourceforge.czt.print.z.WhereWord
withinAxPara_ - Variable in class net.sourceforge.czt.print.z.AstToPrintTreeVisitor
WORD_MARKUP - Static variable in class net.sourceforge.czt.print.z.Sym
write(String) - Method in class net.sourceforge.czt.print.z.Unicode2Latex
write(String) - Method in class net.sourceforge.czt.print.z.Unicode2OldLatex

X

XmlPrinterCommand - Class in net.sourceforge.czt.print.z
XmlPrinterCommand() - Constructor for class net.sourceforge.czt.print.z.XmlPrinterCommand
XmlString - Class in net.sourceforge.czt.print.util
XmlString(String) - Constructor for class net.sourceforge.czt.print.util.XmlString
XmlString(String, Dialect) - Constructor for class net.sourceforge.czt.print.util.XmlString

Y

yybegin(int) - Method in class net.sourceforge.czt.parser.z.ContextFreeScanner: Enters a new lexical state
yybegin(int) - Method in class net.sourceforge.czt.parser.z.Latex2Unicode: Enters a new lexical state
yybegin(int) - Method in class net.sourceforge.czt.print.z.ContextFreeScanner: Enters a new lexical state
yycharat(int) - Method in class net.sourceforge.czt.parser.z.ContextFreeScanner: Returns the character at position pos from the matched text.
yycharat(int) - Method in class net.sourceforge.czt.parser.z.Latex2Unicode: Returns the character at position pos from the matched text.
yycharat(int) - Method in class net.sourceforge.czt.print.z.ContextFreeScanner: Returns the character at position pos from the matched text.
yyclose() - Method in class net.sourceforge.czt.parser.z.ContextFreeScanner: Closes the input stream.
yyclose() - Method in class net.sourceforge.czt.parser.z.Latex2Unicode: Closes the input stream.
yyclose() - Method in class net.sourceforge.czt.print.z.ContextFreeScanner: Closes the input stream.
YYEOF - Static variable in class net.sourceforge.czt.parser.z.ContextFreeScanner: This character denotes the end of file
YYEOF - Static variable in class net.sourceforge.czt.parser.z.Latex2Unicode: This character denotes the end of file
YYEOF - Static variable in class net.sourceforge.czt.print.z.ContextFreeScanner: This character denotes the end of file
YYINITIAL - Static variable in class net.sourceforge.czt.parser.z.ContextFreeScanner: lexical states
YYINITIAL - Static variable in class net.sourceforge.czt.parser.z.Latex2Unicode
YYINITIAL - Static variable in class net.sourceforge.czt.print.z.ContextFreeScanner: lexical states
yylength() - Method in class net.sourceforge.czt.parser.z.ContextFreeScanner: Returns the length of the matched text region.
yylength() - Method in class net.sourceforge.czt.parser.z.Latex2Unicode: Returns the length of the matched text region.
yylength() - Method in class net.sourceforge.czt.print.z.ContextFreeScanner: Returns the length of the matched text region.
yypushback(int) - Method in class net.sourceforge.czt.parser.z.ContextFreeScanner: Pushes the specified amount of characters back into the input stream.
yypushback(int) - Method in class net.sourceforge.czt.parser.z.Latex2Unicode: Pushes the specified amount of characters back into the input stream.
yypushback(int) - Method in class net.sourceforge.czt.print.z.ContextFreeScanner: Pushes the specified amount of characters back into the input stream.
yyreset(Reader) - Method in class net.sourceforge.czt.parser.z.ContextFreeScanner: Resets the scanner to read from a new input stream.
yyreset(Reader) - Method in class net.sourceforge.czt.parser.z.Latex2Unicode: Resets the scanner to read from a new input stream.
yyreset(Reader) - Method in class net.sourceforge.czt.print.z.ContextFreeScanner: Resets the scanner to read from a new input stream.
yystate() - Method in class net.sourceforge.czt.parser.z.ContextFreeScanner: Returns the current lexical state.
yystate() - Method in class net.sourceforge.czt.parser.z.Latex2Unicode: Returns the current lexical state.
yystate() - Method in class net.sourceforge.czt.print.z.ContextFreeScanner: Returns the current lexical state.
yytext() - Method in class net.sourceforge.czt.parser.z.ContextFreeScanner: Returns the text matched by the current regular expression.
yytext() - Method in class net.sourceforge.czt.parser.z.Latex2Unicode: Returns the text matched by the current regular expression.
yytext() - Method in class net.sourceforge.czt.print.z.ContextFreeScanner: Returns the text matched by the current regular expression.

Z

Z - Static variable in class net.sourceforge.czt.parser.z.ContextFreeScanner
Z - Static variable in class net.sourceforge.czt.print.z.ContextFreeScanner
ZCOMP - Static variable in class net.sourceforge.czt.parser.z.Sym
ZED - Static variable in class net.sourceforge.czt.parser.z.Latex2Unicode
ZED - Static variable in class net.sourceforge.czt.parser.z.Sym
ZED - Static variable in class net.sourceforge.czt.print.z.Sym
ZHIDE - Static variable in class net.sourceforge.czt.parser.z.Sym
ZKeyword - Enum in net.sourceforge.czt.parser.z: In the ISO standard, "function", "generic", "relation", and "section" are in the "BOTH" category, but a new line before one of these is possible if multiple paragraphs are permitted inside in a zed paragraph, so have been moved into the "AFTER" category.
ZmlScanner - Class in net.sourceforge.czt.print.z: This Scanner uses the print visitor to tokenize a given Z term.
ZmlScanner(Dialect, Properties) - Constructor for class net.sourceforge.czt.print.z.ZmlScanner: Creates a new ZML scanner.
ZmlScanner(Dialect, Iterator<Token>, Properties) - Constructor for class net.sourceforge.czt.print.z.ZmlScanner
ZmlScanner(SectionInfo, Term, Properties) - Constructor for class net.sourceforge.czt.print.z.ZmlScanner: Creates a new ZML scanner.
ZmlScanner.SymbolCollector - Class in net.sourceforge.czt.print.z: An implementation of AbstractPrintVisitor.ZPrinter.
ZOpToken - Enum in net.sourceforge.czt.parser.z
ZParseError - Class in net.sourceforge.czt.parser.z: A Z parse error.
ZParseError(SectionInfo, ZParseMessage, Object[], LocInfo) - Constructor for class net.sourceforge.czt.parser.z.ZParseError
ZParseMessage - Enum in net.sourceforge.czt.parser.z: An enumeration of possible parse/scan messages, warnings, and errors that may occur during a parse.
ZParseResourceBundle - Class in net.sourceforge.czt.parser.z
ZParseResourceBundle() - Constructor for class net.sourceforge.czt.parser.z.ZParseResourceBundle
ZPIPE - Static variable in class net.sourceforge.czt.parser.z.Sym
ZPRE - Static variable in class net.sourceforge.czt.parser.z.Sym
ZPrinter - Interface in net.sourceforge.czt.print.z: A printer that can print Z symbols.
ZPrintError - Class in net.sourceforge.czt.print.z: A Z print error.
ZPrintError(SectionInfo, ZPrintMessage, Object[], LocInfo) - Constructor for class net.sourceforge.czt.print.z.ZPrintError
ZPrintMessage - Enum in net.sourceforge.czt.print.z
ZPrintResourceBundle - Class in net.sourceforge.czt.print.z
ZPrintResourceBundle() - Constructor for class net.sourceforge.czt.print.z.ZPrintResourceBundle
ZPrintVisitor - Class in net.sourceforge.czt.print.z: A Z visitor used for printing.
ZPrintVisitor(SectionInfo, ZPrinter) - Constructor for class net.sourceforge.czt.print.z.ZPrintVisitor: Creates a new Z print visitor.
ZPrintVisitor(SectionInfo, ZPrinter, Properties) - Constructor for class net.sourceforge.czt.print.z.ZPrintVisitor
ZPrintVisitor.Utils - Interface in net.sourceforge.czt.print.z
ZPrintVisitor.UtilsImpl - Class in net.sourceforge.czt.print.z
ZPROJ - Static variable in class net.sourceforge.czt.parser.z.Sym
ZToken - Enum in net.sourceforge.czt.parser.z: An enumeration of Z tokens.

_

_action_table - Static variable in class net.sourceforge.czt.parser.z.Parser: Parse-action table.
_action_table - Static variable in class net.sourceforge.czt.print.z.Unicode2Latex: Parse-action table.
_action_table - Static variable in class net.sourceforge.czt.print.z.Unicode2OldLatex: Parse-action table.
_APPLICATION - Static variable in class net.sourceforge.czt.parser.z.Sym
_production_table - Static variable in class net.sourceforge.czt.parser.z.Parser: Production table.
_production_table - Static variable in class net.sourceforge.czt.print.z.Unicode2Latex: Production table.
_production_table - Static variable in class net.sourceforge.czt.print.z.Unicode2OldLatex: Production table.
_reduce_table - Static variable in class net.sourceforge.czt.parser.z.Parser: reduce_goto table.
_reduce_table - Static variable in class net.sourceforge.czt.print.z.Unicode2Latex: reduce_goto table.
_reduce_table - Static variable in class net.sourceforge.czt.print.z.Unicode2OldLatex: reduce_goto table.
_RENAME - Static variable in class net.sourceforge.czt.parser.z.Sym

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