- PARA - Static variable in class net.sourceforge.czt.parser.zeves.Sym
-
- PARA_END - Static variable in class net.sourceforge.czt.print.zeves.Sym
-
- PARA_START - Static variable in class net.sourceforge.czt.print.zeves.Sym
-
- PARENT - Static variable in class net.sourceforge.czt.parser.zeves.Sym
-
- PARENTS - Static variable in class net.sourceforge.czt.parser.zeves.Sym
-
- PARENTS - Static variable in class net.sourceforge.czt.print.zeves.Sym
-
- parse() - Method in class net.sourceforge.czt.parser.zeves.LatexParser
-
- parse() - Method in class net.sourceforge.czt.parser.zeves.Parser
-
- parse(Source, SectionInfo) - Static method in class net.sourceforge.czt.parser.zeves.ParseUtils
-
- parse(Source, SectionInfo, Properties) - Static method in class net.sourceforge.czt.parser.zeves.ParseUtils
-
- parse() - Method in class net.sourceforge.czt.parser.zeves.UnicodeParser
-
- parseCharMarkupDirective(String, LocInfo) - Static method in class net.sourceforge.czt.parser.zeves.LatexMarkupParser
-
- parseException_ - Variable in class net.sourceforge.czt.parser.zeves.Parser
-
- parseExpr(Source, String, SectionManager) - Static method in class net.sourceforge.czt.parser.zeves.ParseUtils
-
Parse a Source string/file as a Z Expression.
- parseParas(Source, String, SectionManager) - Static method in class net.sourceforge.czt.parser.zeves.ParseUtils
-
Parse a Source string/file as Z Paragraphs.
- parsePred(Source, String, SectionManager) - Static method in class net.sourceforge.czt.parser.zeves.ParseUtils
-
Parse a Source string/file as a Z Predicate.
- Parser - Class in net.sourceforge.czt.parser.zeves
-
CUP v0.11a czt01 beta generated parser.
- Parser() - Constructor for class net.sourceforge.czt.parser.zeves.Parser
-
Default constructor.
- Parser(Scanner) - Constructor for class net.sourceforge.czt.parser.zeves.Parser
-
Constructor which sets the default scanner.
- Parser(Scanner, SymbolFactory) - Constructor for class net.sourceforge.czt.parser.zeves.Parser
-
Constructor which sets the default scanner.
- Parser(CztScanner, Source, SectionInfo, Properties, Collection<? extends Key<?>>) - Constructor for class net.sourceforge.czt.parser.zeves.Parser
-
Creates a new parser with the given scanner, source information,
and section information.
- ParserState - Class in net.sourceforge.czt.parser.zeves
-
- ParserState(Source) - Constructor for class net.sourceforge.czt.parser.zeves.ParserState
-
- ParseUtils - Class in net.sourceforge.czt.parser.zeves
-
Utilities for parsing specifications.
- ParseUtils() - Constructor for class net.sourceforge.czt.parser.zeves.ParseUtils
-
- POST - Static variable in class net.sourceforge.czt.parser.zeves.Sym
-
- POSTP - Static variable in class net.sourceforge.czt.parser.zeves.Sym
-
- POSTWORD_MARKUP - Static variable in class net.sourceforge.czt.print.zeves.Sym
-
- POWER - Static variable in class net.sourceforge.czt.parser.zeves.Sym
-
- PRE - Static variable in class net.sourceforge.czt.parser.zeves.Sym
-
- PRED - Static variable in class net.sourceforge.czt.parser.zeves.Sym
-
- PREDICATE - Static variable in class net.sourceforge.czt.parser.zeves.Sym
-
- PRENEX - Static variable in class net.sourceforge.czt.parser.zeves.Sym
-
- PREP - Static variable in class net.sourceforge.czt.parser.zeves.Sym
-
- preprocess(Term, SectionManager, String) - Method in class net.sourceforge.czt.print.zeves.LatexPrinterCommand
-
- preprocess(Term, SectionManager, String) - Method in class net.sourceforge.czt.print.zeves.UnicodePrinterCommand
-
- preprocessTerm(Term, List<Object>) - Method in class net.sourceforge.czt.print.zeves.AstToPrintTreeVisitor
-
- PrettyPrinter - Class in net.sourceforge.czt.print.zeves
-
- PrettyPrinter(Term, int) - Constructor for class net.sourceforge.czt.print.zeves.PrettyPrinter
-
- PrettyPrinter(Term, int, boolean) - Constructor for class net.sourceforge.czt.print.zeves.PrettyPrinter
-
- PREWORD_MARKUP - Static variable in class net.sourceforge.czt.print.zeves.Sym
-
- PRINT - Static variable in class net.sourceforge.czt.parser.zeves.Sym
-
- print(Term, Writer, SectionManager, Markup) - Static method in class net.sourceforge.czt.print.zeves.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.zeves.PrintUtils
-
- print(Token) - Method in class net.sourceforge.czt.print.zeves.ZEvesPrintVisitor
-
- printException_ - Variable in class net.sourceforge.czt.print.zeves.Unicode2Latex
-
- printLatex(Term, Writer, SectionManager, String) - Method in class net.sourceforge.czt.print.zeves.LatexPrinterCommand
-
- printOldLatex(Term, Writer, SectionManager, String) - Method in class net.sourceforge.czt.print.zeves.OldLatexPrinterCommand
-
- PrintUtils - Class in net.sourceforge.czt.print.zeves
-
Utilities for printing Circus specifications given as an AST.
- production_table() - Method in class net.sourceforge.czt.parser.zeves.Parser
-
Access to production table.
- production_table() - Method in class net.sourceforge.czt.print.zeves.Unicode2Latex
-
Access to production table.
- PROOF - Static variable in class net.sourceforge.czt.parser.zeves.Sym
-
- ProofInfo(String, ProofScript) - Constructor for class net.sourceforge.czt.parser.zeves.ProofTable.ProofInfo
-
- ProofTable - Class in net.sourceforge.czt.parser.zeves
-
- ProofTable(Dialect, String) - Constructor for class net.sourceforge.czt.parser.zeves.ProofTable
-
- ProofTable.ProofInfo - Class in net.sourceforge.czt.parser.zeves
-
- ProofTable.ProofTableException - Exception in net.sourceforge.czt.parser.zeves
-
- ProofTableCommand - Class in net.sourceforge.czt.parser.zeves
-
A command to compute the proof table (class ProofTable) of a Z section.
- ProofTableCommand() - Constructor for class net.sourceforge.czt.parser.zeves.ProofTableCommand
-
- ProofTableException(Dialect, String) - Constructor for exception net.sourceforge.czt.parser.zeves.ProofTable.ProofTableException
-
- ProofTableService - Class in net.sourceforge.czt.parser.zeves
-
- ProofTableService(SectionInfo) - Constructor for class net.sourceforge.czt.parser.zeves.ProofTableService
-
Creates a new named conjecture table service.
- ProofTableVisitor - Class in net.sourceforge.czt.parser.zeves
-
- ProofTableVisitor(SectionInfo) - Constructor for class net.sourceforge.czt.parser.zeves.ProofTableVisitor
-
Creates a new named conjecture table visitor.
- Proofword - Class in net.sourceforge.czt.parser.zeves
-
Note that the wordpart of a decorword can be empty,
which does not represent a DECORWORD in the ISO Z standard.
- Proofword(String, ZStrokeList, LocInfo) - Constructor for class net.sourceforge.czt.parser.zeves.Proofword
-
- Proofword(String, ZStrokeList) - Constructor for class net.sourceforge.czt.parser.zeves.Proofword
-
- Proofword(String, LocInfo) - Constructor for class net.sourceforge.czt.parser.zeves.Proofword
-
- Proofword(String) - Constructor for class net.sourceforge.czt.parser.zeves.Proofword
-
- PROOFWORD - Static variable in class net.sourceforge.czt.parser.zeves.Sym
-
- PROOFWORD - Static variable in class net.sourceforge.czt.print.zeves.Sym
-
- PROVE - Static variable in class net.sourceforge.czt.parser.zeves.Sym
-
- yybegin(int) - Method in class net.sourceforge.czt.parser.zeves.ContextFreeScanner
-
Enters a new lexical state
- yybegin(int) - Method in class net.sourceforge.czt.parser.zeves.Latex2Unicode
-
Enters a new lexical state
- yybegin(int) - Method in class net.sourceforge.czt.print.zeves.ContextFreeScanner
-
Enters a new lexical state
- yycharat(int) - Method in class net.sourceforge.czt.parser.zeves.ContextFreeScanner
-
Returns the character at position pos from the
matched text.
- yycharat(int) - Method in class net.sourceforge.czt.parser.zeves.Latex2Unicode
-
Returns the character at position pos from the
matched text.
- yycharat(int) - Method in class net.sourceforge.czt.print.zeves.ContextFreeScanner
-
Returns the character at position pos from the
matched text.
- yyclose() - Method in class net.sourceforge.czt.parser.zeves.ContextFreeScanner
-
Closes the input stream.
- yyclose() - Method in class net.sourceforge.czt.parser.zeves.Latex2Unicode
-
Closes the input stream.
- yyclose() - Method in class net.sourceforge.czt.print.zeves.ContextFreeScanner
-
Closes the input stream.
- YYEOF - Static variable in class net.sourceforge.czt.parser.zeves.ContextFreeScanner
-
This character denotes the end of file
- YYEOF - Static variable in class net.sourceforge.czt.parser.zeves.Latex2Unicode
-
This character denotes the end of file
- YYEOF - Static variable in class net.sourceforge.czt.print.zeves.ContextFreeScanner
-
This character denotes the end of file
- YYINITIAL - Static variable in class net.sourceforge.czt.parser.zeves.ContextFreeScanner
-
lexical states
- YYINITIAL - Static variable in class net.sourceforge.czt.parser.zeves.Latex2Unicode
-
- YYINITIAL - Static variable in class net.sourceforge.czt.print.zeves.ContextFreeScanner
-
lexical states
- yylength() - Method in class net.sourceforge.czt.parser.zeves.ContextFreeScanner
-
Returns the length of the matched text region.
- yylength() - Method in class net.sourceforge.czt.parser.zeves.Latex2Unicode
-
Returns the length of the matched text region.
- yylength() - Method in class net.sourceforge.czt.print.zeves.ContextFreeScanner
-
Returns the length of the matched text region.
- yypushback(int) - Method in class net.sourceforge.czt.parser.zeves.ContextFreeScanner
-
Pushes the specified amount of characters back into the input stream.
- yypushback(int) - Method in class net.sourceforge.czt.parser.zeves.Latex2Unicode
-
Pushes the specified amount of characters back into the input stream.
- yypushback(int) - Method in class net.sourceforge.czt.print.zeves.ContextFreeScanner
-
Pushes the specified amount of characters back into the input stream.
- yyreset(Reader) - Method in class net.sourceforge.czt.parser.zeves.ContextFreeScanner
-
Resets the scanner to read from a new input stream.
- yyreset(Reader) - Method in class net.sourceforge.czt.parser.zeves.Latex2Unicode
-
Resets the scanner to read from a new input stream.
- yyreset(Reader) - Method in class net.sourceforge.czt.print.zeves.ContextFreeScanner
-
Resets the scanner to read from a new input stream.
- yystate() - Method in class net.sourceforge.czt.parser.zeves.ContextFreeScanner
-
Returns the current lexical state.
- yystate() - Method in class net.sourceforge.czt.parser.zeves.Latex2Unicode
-
Returns the current lexical state.
- yystate() - Method in class net.sourceforge.czt.print.zeves.ContextFreeScanner
-
Returns the current lexical state.
- yytext() - Method in class net.sourceforge.czt.parser.zeves.ContextFreeScanner
-
Returns the text matched by the current regular expression.
- yytext() - Method in class net.sourceforge.czt.parser.zeves.Latex2Unicode
-
Returns the text matched by the current regular expression.
- yytext() - Method in class net.sourceforge.czt.print.zeves.ContextFreeScanner
-
Returns the text matched by the current regular expression.