Overview  Package  Class  Use  Tree  Deprecated   Index  Help 
 PREV   NEXT FRAMES    NO FRAMES    
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

action_obj - Variable in class net.sourceforge.czt.parser.circus.Parser
Instance of action encapsulation class.
action_obj - Variable in class net.sourceforge.czt.print.circus.Unicode2Latex
Instance of action encapsulation class.
action_table() - Method in class net.sourceforge.czt.parser.circus.Parser
Access to parse-action table.
action_table() - Method in class net.sourceforge.czt.print.circus.Unicode2Latex
Access to parse-action table.
addCircusStateAnn(Para) - Method in class net.sourceforge.czt.parser.circus.ParserState
Adds a <code>CircusStateAnn</code> annotation to the given paragraph.
addImplicitlyDeclActionPara(ActionPara) - Method in class net.sourceforge.czt.parser.circus.ParserState
Add an implicitly declared action to the current BasicProcess cache.
addImplicitlyDeclProcessPara(ProcessPara) - Method in class net.sourceforge.czt.parser.circus.ParserState
Add an implicitly declared process to the current ZSect cache.
addLocallyDeclPara(Para) - Method in class net.sourceforge.czt.parser.circus.ParserState
 
addProcessEndWarning(Name, LocInfo) - Method in class net.sourceforge.czt.parser.circus.ParserState
 
addProcessScopeWarning(String, LocInfo) - Method in class net.sourceforge.czt.parser.circus.ParserState
 
ALL - Static variable in class net.sourceforge.czt.parser.circus.Sym
 
AND - Static variable in class net.sourceforge.czt.parser.circus.Sym
 
ANDALSO - Static variable in class net.sourceforge.czt.parser.circus.Sym
 
ARG - Static variable in class net.sourceforge.czt.parser.circus.Sym
 
AstToPrintTreeVisitor - Class in net.sourceforge.czt.print.circus
AstToPrintTreeVisitors should not use Keyword enum.
AstToPrintTreeVisitor(SectionInfo, WarningManager) - Constructor for class net.sourceforge.czt.print.circus.AstToPrintTreeVisitor
Creates a new ast to print tree visitor.
AX - Static variable in class net.sourceforge.czt.parser.circus.Sym
 
AX - Static variable in class net.sourceforge.czt.print.circus.Sym
 

B

BAR - Static variable in class net.sourceforge.czt.parser.circus.Sym
 

C

CHAR_MARKUP - Static variable in class net.sourceforge.czt.print.circus.Sym
 
CIRCASSERTREF - Static variable in class net.sourceforge.czt.parser.circus.Sym
 
CIRCASSIGN - Static variable in class net.sourceforge.czt.parser.circus.Sym
 
CIRCBEGIN - Static variable in class net.sourceforge.czt.parser.circus.Sym
 
CIRCCHAN - Static variable in class net.sourceforge.czt.parser.circus.Sym
 
CIRCCHANFROM - Static variable in class net.sourceforge.czt.parser.circus.Sym
 
CIRCCHANSET - Static variable in class net.sourceforge.czt.parser.circus.Sym
 
CIRCCHAOS - Static variable in class net.sourceforge.czt.parser.circus.Sym
 
CIRCDEF - Static variable in class net.sourceforge.czt.parser.circus.Sym
 
CIRCDO - Static variable in class net.sourceforge.czt.parser.circus.Sym
 
CIRCELSE - Static variable in class net.sourceforge.czt.parser.circus.Sym
 
CIRCEND - Static variable in class net.sourceforge.czt.parser.circus.Sym
 
CIRCFI - Static variable in class net.sourceforge.czt.parser.circus.Sym
 
CIRCHIDING - Static variable in class net.sourceforge.czt.parser.circus.Sym
 
CIRCINDEX - Static variable in class net.sourceforge.czt.parser.circus.Sym
 
CIRCLINST - Static variable in class net.sourceforge.czt.parser.circus.Sym
 
CIRCLINST - Static variable in class net.sourceforge.czt.print.circus.Sym
 
CIRCMU - Static variable in class net.sourceforge.czt.parser.circus.Sym
 
CIRCNAMESET - Static variable in class net.sourceforge.czt.parser.circus.Sym
 
CIRCOD - Static variable in class net.sourceforge.czt.parser.circus.Sym
 
CIRCPROC - Static variable in class net.sourceforge.czt.parser.circus.Sym
 
CIRCREFINES - Static variable in class net.sourceforge.czt.parser.circus.Sym
 
CIRCRES - Static variable in class net.sourceforge.czt.parser.circus.Sym
 
CIRCRINST - Static variable in class net.sourceforge.czt.parser.circus.Sym
 
CIRCRINST - Static variable in class net.sourceforge.czt.print.circus.Sym
 
CIRCSEQ - Static variable in class net.sourceforge.czt.parser.circus.Sym
 
CIRCSIMULATES - Static variable in class net.sourceforge.czt.parser.circus.Sym
 
CIRCSKIP - Static variable in class net.sourceforge.czt.parser.circus.Sym
 
CIRCSTATE - Static variable in class net.sourceforge.czt.parser.circus.Sym
 
CIRCSTOP - Static variable in class net.sourceforge.czt.parser.circus.Sym
 
CIRCTHEN - Static variable in class net.sourceforge.czt.parser.circus.Sym
 
CIRCUS - Static variable in class net.sourceforge.czt.parser.circus.Sym
 
CIRCUS - Static variable in class net.sourceforge.czt.print.circus.Sym
 
CIRCUSACTION - Static variable in class net.sourceforge.czt.parser.circus.Sym
 
CIRCUSACTION - Static variable in class net.sourceforge.czt.print.circus.Sym
 
CircusKeyword - Enum in net.sourceforge.czt.parser.circus
Circus keyword spelling for KeywordScanner These are the keywords for the context senstitive lexis (see Z standard and the context sensitive lexer, as the keyword scanner).
CircusParseError - Class in net.sourceforge.czt.parser.circus
A parse error.
CircusParseError(CircusParseMessage, Object[], LocInfo) - Constructor for class net.sourceforge.czt.parser.circus.CircusParseError
 
CircusParseMessage - Enum in net.sourceforge.czt.parser.circus
 
CircusParseResources - Class in net.sourceforge.czt.parser.circus
 
CircusParseResources() - Constructor for class net.sourceforge.czt.parser.circus.CircusParseResources
 
CircusPrintMessage - Enum in net.sourceforge.czt.print.circus
 
CircusPrintResources - Class in net.sourceforge.czt.print.circus
 
CircusPrintResources() - Constructor for class net.sourceforge.czt.print.circus.CircusPrintResources
 
CircusPrintVisitor - Class in net.sourceforge.czt.print.circus
An Circus visitor used for printing.
CircusPrintVisitor(AbstractPrintVisitor.ZPrinter, WarningManager) - Constructor for class net.sourceforge.czt.print.circus.CircusPrintVisitor
Creates a new Object-Z print visitor.
CircusPrintVisitor(AbstractPrintVisitor.ZPrinter, Properties, WarningManager) - Constructor for class net.sourceforge.czt.print.circus.CircusPrintVisitor
 
CircusToken - Enum in net.sourceforge.czt.parser.circus
These tokens are for the ContextFreeScanner that occurs before decorwords are translated into keywords, so that the context sensitive lexing can take place.
CIRCVAL - Static variable in class net.sourceforge.czt.parser.circus.Sym
 
CIRCVAR - Static variable in class net.sourceforge.czt.parser.circus.Sym
 
CIRCVRES - Static variable in class net.sourceforge.czt.parser.circus.Sym
 
clearAllProcessInformation() - Method in class net.sourceforge.czt.parser.circus.ParserState
 
clearBasicProcessInformation() - Method in class net.sourceforge.czt.parser.circus.ParserState
Clears the implicitly declared actions and their name seed; the current main action, the current basic process, and the list of locally declared paragraphs.
clearBasicProcessLocalParaCache() - Method in class net.sourceforge.czt.parser.circus.ParserState
 
clearBasicProcessOnTheFlyCache() - Method in class net.sourceforge.czt.parser.circus.ParserState
Clears the implicitly declared actions cache for the current BasicProcess/code>.
clearRefinementModel() - Method in class net.sourceforge.czt.parser.circus.ParserState
 
clearSectBasicProcessEndWarning() - Method in class net.sourceforge.czt.parser.circus.ParserState
 
clearSectBasicProcessScopeWarnings() - Method in class net.sourceforge.czt.parser.circus.ParserState
 
clearSectProcessOnTheFlyCache() - Method in class net.sourceforge.czt.parser.circus.ParserState
Clears the implicitly declared processes cache for the current ZSect.
cloneBasicProcessWithAnns() - Method in class net.sourceforge.czt.parser.circus.ParserState
 
COLON - Static variable in class net.sourceforge.czt.parser.circus.Sym
 
COMMA - Static variable in class net.sourceforge.czt.parser.circus.Sym
 
COMMENT_STATE - Static variable in class net.sourceforge.czt.parser.circus.Latex2Unicode
 
compute(String, SectionManager) - Method in class net.sourceforge.czt.parser.circus.ParseUtils
 
compute(String, SectionManager) - Method in class net.sourceforge.czt.print.circus.LatexPrinterCommand
 
compute(String, SectionManager) - Method in class net.sourceforge.czt.print.circus.UnicodePrinterCommand
 
compute(String, SectionManager) - Method in class net.sourceforge.czt.print.circus.XmlPrinterCommand
 
CONJECTURE - Static variable in class net.sourceforge.czt.parser.circus.Sym
 
contains(int[], int) - Method in class net.sourceforge.czt.parser.circus.NewlineScanner
Returns true if and only if a symbol is in an array of symbols.
ContextFreeScanner - Class in net.sourceforge.czt.parser.circus
The context-free lexer for Circus specifications in unicode format.
ContextFreeScanner(Source) - Constructor for class net.sourceforge.czt.parser.circus.ContextFreeScanner
 
ContextFreeScanner(CztReader) - Constructor for class net.sourceforge.czt.parser.circus.ContextFreeScanner
 
ContextFreeScanner(Reader) - Constructor for class net.sourceforge.czt.parser.circus.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.circus.ContextFreeScanner
Creates a new scanner.
ContextFreeScanner - Class in net.sourceforge.czt.print.circus
The context-free lexer for Z * Circus specifications in unicode format.
ContextFreeScanner(Source) - Constructor for class net.sourceforge.czt.print.circus.ContextFreeScanner
 
ContextFreeScanner(CztReader) - Constructor for class net.sourceforge.czt.print.circus.ContextFreeScanner
 
ContextFreeScanner(Reader) - Constructor for class net.sourceforge.czt.print.circus.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.circus.ContextFreeScanner
Creates a new scanner.
createCircusSyntaxError(CircusParseMessage, Symbol) - Method in class net.sourceforge.czt.parser.circus.Parser
 
createDefaultProcessStateName(LocInfo) - Method in class net.sourceforge.czt.parser.circus.ParserState
 
createDefaultStatePara(LocInfo) - Method in class net.sourceforge.czt.parser.circus.ParserState
 
createEmptySchExpr() - Method in class net.sourceforge.czt.parser.circus.ParserState
 
createImplicitlyDeclActUniqueName() - Method in class net.sourceforge.czt.parser.circus.ParserState
Creates a unique string for implicitly declared actions.
createImplicitlyDeclProcUniqueName() - Method in class net.sourceforge.czt.parser.circus.ParserState
Creates a unique string for implicitly declared processes.
createParserFactory() - Method in class net.sourceforge.czt.parser.circus.Parser
 
createParserState(Source) - Method in class net.sourceforge.czt.parser.circus.Parser
 
createSyntaxError(Symbol) - Method in class net.sourceforge.czt.parser.circus.Parser
 
CROSS - Static variable in class net.sourceforge.czt.parser.circus.Sym
 

D

DECLWORD - Static variable in class net.sourceforge.czt.parser.circus.Sym
 
DECORWORD - Static variable in class net.sourceforge.czt.parser.circus.Sym
 
DECORWORD - Static variable in class net.sourceforge.czt.print.circus.Sym
 
DEFEQUAL - Static variable in class net.sourceforge.czt.parser.circus.Sym
 
DEFFREE - Static variable in class net.sourceforge.czt.parser.circus.Sym
 
do_action(int, lr_parser, Stack, int) - Method in class net.sourceforge.czt.parser.circus.Parser
Invoke a user supplied parse action.
do_action(int, lr_parser, Stack, int) - Method in class net.sourceforge.czt.print.circus.Unicode2Latex
Invoke a user supplied parse action.
DOT - Static variable in class net.sourceforge.czt.parser.circus.Sym
 

E

EL - Static variable in class net.sourceforge.czt.parser.circus.Sym
 
ELP - Static variable in class net.sourceforge.czt.parser.circus.Sym
 
ELSE - Static variable in class net.sourceforge.czt.parser.circus.Sym
 
END - Static variable in class net.sourceforge.czt.parser.circus.Sym
 
END - Static variable in class net.sourceforge.czt.print.circus.Sym
 
END_MARKUP - Static variable in class net.sourceforge.czt.print.circus.Sym
 
enterBasicProcessScope(LocInfo) - Method in class net.sourceforge.czt.parser.circus.ParserState
Enters a basic process scope, provided there isn't one already, since nested scope processes are not allowed.
EOF - Static variable in class net.sourceforge.czt.parser.circus.Sym
 
EOF - Static variable in class net.sourceforge.czt.print.circus.Sym
 
EOF_sym() - Method in class net.sourceforge.czt.parser.circus.Parser
EOF Symbol index.
EOF_sym() - Method in class net.sourceforge.czt.print.circus.Unicode2Latex
EOF Symbol index.
EQUALS - Static variable in class net.sourceforge.czt.parser.circus.Sym
 
ER - Static variable in class net.sourceforge.czt.parser.circus.Sym
 
ERE - Static variable in class net.sourceforge.czt.parser.circus.Sym
 
EREP - Static variable in class net.sourceforge.czt.parser.circus.Sym
 
ERP - Static variable in class net.sourceforge.czt.parser.circus.Sym
 
ERROR - Static variable in class net.sourceforge.czt.parser.circus.Latex2Unicode
 
error - Static variable in class net.sourceforge.czt.parser.circus.Sym
 
error - Static variable in class net.sourceforge.czt.print.circus.Sym
 
error_ - Variable in class net.sourceforge.czt.parser.circus.Parser
True if and only if an error has occured during parsing.
error_sym() - Method in class net.sourceforge.czt.parser.circus.Parser
error Symbol index.
error_sym() - Method in class net.sourceforge.czt.print.circus.Unicode2Latex
error Symbol index.
errorList_ - Variable in class net.sourceforge.czt.parser.circus.Parser
The list of parse errors.
ES - Static variable in class net.sourceforge.czt.parser.circus.Sym
 
EXI - Static variable in class net.sourceforge.czt.parser.circus.Sym
 
EXIONE - Static variable in class net.sourceforge.czt.parser.circus.Sym
 
exitBasicProcessScope() - Method in class net.sourceforge.czt.parser.circus.ParserState
Clears the current basic process scope, provided one exists.
EXTCHOICE - Static variable in class net.sourceforge.czt.parser.circus.Sym
 

F

FALSE - Static variable in class net.sourceforge.czt.parser.circus.Sym
 
format(LogRecord) - Method in class net.sourceforge.czt.parser.circus.SpecialLatexParser.SimpleFormatterForCircus
Format the given LogRecord.
FUNCTION - Static variable in class net.sourceforge.czt.parser.circus.Sym
 

G

GENAX - Static variable in class net.sourceforge.czt.parser.circus.Sym
 
GENAX - Static variable in class net.sourceforge.czt.print.circus.Sym
 
GENERIC - Static variable in class net.sourceforge.czt.parser.circus.Sym
 
GENSCH - Static variable in class net.sourceforge.czt.parser.circus.Sym
 
GENSCH - Static variable in class net.sourceforge.czt.print.circus.Sym
 
get(String) - Method in class net.sourceforge.czt.parser.circus.SymMap
 
getBasicProcess() - Method in class net.sourceforge.czt.parser.circus.ParserState
 
getCommand() - Static method in class net.sourceforge.czt.parser.circus.ParseUtils
Get a Command object for use in SectionManager
getContents() - Method in class net.sourceforge.czt.parser.circus.CircusParseResources
 
getContents() - Method in class net.sourceforge.czt.print.circus.CircusPrintResources
 
getImplicitlyDeclActPara() - Method in class net.sourceforge.czt.parser.circus.ParserState
 
getImplicitlyDeclProcPara() - Method in class net.sourceforge.czt.parser.circus.ParserState
 
getInstance() - Static method in class net.sourceforge.czt.parser.circus.SymMap
 
getLoc() - Method in class net.sourceforge.czt.parser.circus.Parser
 
getLocallyDeclPara() - Method in class net.sourceforge.czt.parser.circus.ParserState
 
getLocation(Symbol) - Method in class net.sourceforge.czt.parser.circus.Parser
 
getLocation(Term) - Method in class net.sourceforge.czt.parser.circus.Parser
 
getLocation(LocAnn) - Method in class net.sourceforge.czt.parser.circus.Parser
 
getMainAction() - Method in class net.sourceforge.czt.parser.circus.ParserState
 
getMarkup(String) - Static method in class net.sourceforge.czt.parser.circus.ParseUtils
Determine the markup of a file.
getMarkupFunction() - Method in class net.sourceforge.czt.parser.circus.Latex2Unicode
Returns the latex mark-up function.
getName() - Method in enum net.sourceforge.czt.parser.circus.CircusKeyword
 
getName() - Method in enum net.sourceforge.czt.parser.circus.CircusToken
 
getOperatorTable() - Method in class net.sourceforge.czt.parser.circus.OperatorScanner
 
getProcessEndWarning() - Method in class net.sourceforge.czt.parser.circus.ParserState
 
getProcessGenFormals() - Method in class net.sourceforge.czt.parser.circus.ParserState
 
getProcessName() - Method in class net.sourceforge.czt.parser.circus.ParserState
 
getProcessPara() - Method in class net.sourceforge.czt.parser.circus.ParserState
 
getProcessScopeWarnings() - Method in class net.sourceforge.czt.parser.circus.ParserState
 
getRefinementModel() - Method in class net.sourceforge.czt.parser.circus.ParserState
 
getResourceName() - Method in class net.sourceforge.czt.parser.circus.CircusParseError
 
getSectionInfo() - Method in class net.sourceforge.czt.print.circus.Unicode2Latex
 
getSource() - Method in class net.sourceforge.czt.parser.circus.Latex2Unicode
 
getSource() - Method in class net.sourceforge.czt.parser.circus.LatexMarkupParser
 
getSource() - Method in class net.sourceforge.czt.parser.circus.LatexToUnicode
 
getSpelling() - Method in enum net.sourceforge.czt.parser.circus.CircusKeyword
 
getSpelling() - Method in enum net.sourceforge.czt.parser.circus.CircusToken
 
getStatePara() - Method in class net.sourceforge.czt.parser.circus.ParserState
 
getWM() - Method in class net.sourceforge.czt.print.circus.AstToPrintTreeVisitor
 
getWriter() - Method in class net.sourceforge.czt.print.circus.Unicode2Latex
 

H

hasBasicProcess() - Method in class net.sourceforge.czt.parser.circus.ParserState
 
hasMainAction() - Method in class net.sourceforge.czt.parser.circus.ParserState
 
hasProcessName() - Method in class net.sourceforge.czt.parser.circus.ParserState
 
hasProcessPara() - Method in class net.sourceforge.czt.parser.circus.ParserState
 
hasState() - Method in class net.sourceforge.czt.parser.circus.ParserState
 

I

I - Static variable in class net.sourceforge.czt.parser.circus.Sym
 
IF - Static variable in class net.sourceforge.czt.parser.circus.Sym
 
IFF - Static variable in class net.sourceforge.czt.parser.circus.Sym
 
IMP - Static variable in class net.sourceforge.czt.parser.circus.Sym
 
init_actions() - Method in class net.sourceforge.czt.parser.circus.Parser
Action encapsulation object initializer.
init_actions() - Method in class net.sourceforge.czt.print.circus.Unicode2Latex
Action encapsulation object initializer.
INSTROKE - Static variable in class net.sourceforge.czt.parser.circus.Sym
 
INSTROKE - Static variable in class net.sourceforge.czt.print.circus.Sym
 
INTCHOICE - Static variable in class net.sourceforge.czt.parser.circus.Sym
 
INTERLEAVE - Static variable in class net.sourceforge.czt.parser.circus.Sym
 
INWORD_MARKUP - Static variable in class net.sourceforge.czt.print.circus.Sym
 
IP - Static variable in class net.sourceforge.czt.parser.circus.Sym
 
isAnonymous(ZSect) - Static method in class net.sourceforge.czt.print.circus.SectHeadScanner
 
isImplicitlyDeclaredActionPara(ActionPara) - Method in class net.sourceforge.czt.parser.circus.ParserState
 
isKnownPara(List<Para>) - Method in class net.sourceforge.czt.parser.circus.ParserState
Check whether the given para list is contained within the parsing state either as locally declared para or implicitly declared action para.
isWithinMultipleEnvBasicProcessScope() - Method in class net.sourceforge.czt.parser.circus.ParserState
 

K

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

L

L - Static variable in class net.sourceforge.czt.parser.circus.Sym
 
LAMBDA - Static variable in class net.sourceforge.czt.parser.circus.Sym
 
Latex2Unicode - Class in net.sourceforge.czt.parser.circus
The low-level latex to unicode scanner for Z Circus .
Latex2Unicode(Source, SectionInfo, Properties) - Constructor for class net.sourceforge.czt.parser.circus.Latex2Unicode
Creates a new scanner for the source.
Latex2Unicode(Reader) - Constructor for class net.sourceforge.czt.parser.circus.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.circus.Latex2Unicode
Creates a new scanner.
LatexMarkupParser - Class in net.sourceforge.czt.parser.circus
A latex markup parser that looks like a scanner.
LatexMarkupParser(LatexMarkupParser.LatexLexer, SectionInfo) - Constructor for class net.sourceforge.czt.parser.circus.LatexMarkupParser
Creates a new latex markup parser that uses the scanner provided.
LatexMarkupParser.LatexLexer - Interface in net.sourceforge.czt.parser.circus
 
LatexParser - Class in net.sourceforge.czt.parser.circus
A parser for LaTeX mark-up.
LatexParser(Source, SectionInfo, Properties) - Constructor for class net.sourceforge.czt.parser.circus.LatexParser
 
LatexPrinterCommand - Class in net.sourceforge.czt.print.circus
 
LatexPrinterCommand() - Constructor for class net.sourceforge.czt.print.circus.LatexPrinterCommand
 
LatexScanner - Class in net.sourceforge.czt.parser.circus
A latex scanner for Z and Circus specifications.
LatexScanner(Source, SectionInfo, Properties) - Constructor for class net.sourceforge.czt.parser.circus.LatexScanner
Creates a new scanner.
LatexToUnicode - Class in net.sourceforge.czt.parser.circus
The high-level latex to unicode converter for Z and Circus.
LatexToUnicode(Source, SectionInfo, Properties) - Constructor for class net.sourceforge.czt.parser.circus.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.circus.Sym
 
LBIND - Static variable in class net.sourceforge.czt.print.circus.Sym
 
LBRACE - Static variable in class net.sourceforge.czt.parser.circus.Sym
 
LBRACE - Static variable in class net.sourceforge.czt.print.circus.Sym
 
LCIRCCHANSET - Static variable in class net.sourceforge.czt.parser.circus.Sym
 
LCIRCCHANSET - Static variable in class net.sourceforge.czt.print.circus.Sym
 
LCIRCGUARD - Static variable in class net.sourceforge.czt.parser.circus.Sym
 
LCIRCGUARD - Static variable in class net.sourceforge.czt.print.circus.Sym
 
LCIRCRENAME - Static variable in class net.sourceforge.czt.parser.circus.Sym
 
LCIRCRENAME - Static variable in class net.sourceforge.czt.print.circus.Sym
 
LDATA - Static variable in class net.sourceforge.czt.parser.circus.Sym
 
LDATA - Static variable in class net.sourceforge.czt.print.circus.Sym
 
LEFTASSOC - Static variable in class net.sourceforge.czt.parser.circus.Sym
 
LET - Static variable in class net.sourceforge.czt.parser.circus.Sym
 
LINTER - Static variable in class net.sourceforge.czt.parser.circus.Sym
 
LINTER - Static variable in class net.sourceforge.czt.print.circus.Sym
 
LISTARG - Static variable in class net.sourceforge.czt.parser.circus.Sym
 
local_next_token() - Method in class net.sourceforge.czt.parser.circus.Parser
Returns the next token.
local_next_token() - Method in class net.sourceforge.czt.print.circus.Unicode2Latex
Returns the next token.
localLookup(Symbol) - Method in class net.sourceforge.czt.parser.circus.OperatorScanner
Lookup the value of this symbol
LP - Static variable in class net.sourceforge.czt.parser.circus.Sym
 
LPAR - Static variable in class net.sourceforge.czt.parser.circus.Sym
 
LPAR - Static variable in class net.sourceforge.czt.print.circus.Sym
 
LPAREN - Static variable in class net.sourceforge.czt.parser.circus.Sym
 
LPAREN - Static variable in class net.sourceforge.czt.print.circus.Sym
 
LSCHEXPRACT - Static variable in class net.sourceforge.czt.parser.circus.Sym
 
LSCHEXPRACT - Static variable in class net.sourceforge.czt.print.circus.Sym
 
LSQUARE - Static variable in class net.sourceforge.czt.parser.circus.Sym
 
LSQUARE - Static variable in class net.sourceforge.czt.print.circus.Sym
 

M

main(String[]) - Static method in class net.sourceforge.czt.parser.circus.SpecialLatexParser
Converts latex to zml.
main(String[]) - Static method in class net.sourceforge.czt.parser.circus.UnicodeScanner
Lexes a given file.
main(String[]) - Static method in class net.sourceforge.czt.print.circus.UnicodeToLatex
 
MARKUP - Static variable in class net.sourceforge.czt.parser.circus.Latex2Unicode
lexical states
markupScanner_ - Variable in class net.sourceforge.czt.print.circus.Unicode2Latex
Used to scan the unicode provided within markup directives.
MEM - Static variable in class net.sourceforge.czt.parser.circus.Sym
 
MU - Static variable in class net.sourceforge.czt.parser.circus.Sym
 

N

net.sourceforge.czt.parser.circus - package net.sourceforge.czt.parser.circus
 
net.sourceforge.czt.print.circus - package net.sourceforge.czt.print.circus
 
NewlineScanner - Class in net.sourceforge.czt.parser.circus
This is a NL lexer (part of context-sensitive lexis) for Circus specifications in unicode format.
NewlineScanner - Class in net.sourceforge.czt.print.circus
 
NewlineScanner(Scanner) - Constructor for class net.sourceforge.czt.print.circus.NewlineScanner
 
next() - Method in class net.sourceforge.czt.parser.circus.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.circus.LatexMarkupParser
 
next() - Method in class net.sourceforge.czt.parser.circus.LatexToUnicode
 
next_token() - Method in class net.sourceforge.czt.parser.circus.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.circus.KeywordScanner
 
next_token() - Method in class net.sourceforge.czt.parser.circus.LatexScanner
 
next_token() - Method in class net.sourceforge.czt.parser.circus.NewlineScanner
 
next_token() - Method in class net.sourceforge.czt.parser.circus.OperatorScanner
 
next_token() - Method in class net.sourceforge.czt.parser.circus.UnicodeScanner
 
next_token() - Method in class net.sourceforge.czt.print.circus.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.circus.SectHeadScanner
 
NEXTSTROKE - Static variable in class net.sourceforge.czt.parser.circus.Sym
 
NEXTSTROKE - Static variable in class net.sourceforge.czt.print.circus.Sym
 
NL - Static variable in class net.sourceforge.czt.parser.circus.Sym
 
NL - Static variable in class net.sourceforge.czt.print.circus.Sym
 
NOT - Static variable in class net.sourceforge.czt.parser.circus.Sym
 
NUMERAL - Static variable in class net.sourceforge.czt.parser.circus.Sym
 
NUMERAL - Static variable in class net.sourceforge.czt.print.circus.Sym
 
NUMSTROKE - Static variable in class net.sourceforge.czt.parser.circus.Sym
 
NUMSTROKE - Static variable in class net.sourceforge.czt.print.circus.Sym
 

O

OperatorScanner - Class in net.sourceforge.czt.parser.circus
This is an operator lexer (part of context-sensitive lexis) for Circus specifications in unicode format.
OR - Static variable in class net.sourceforge.czt.parser.circus.Sym
 
OUTSTROKE - Static variable in class net.sourceforge.czt.parser.circus.Sym
 
OUTSTROKE - Static variable in class net.sourceforge.czt.print.circus.Sym
 

P

PARA_END - Static variable in class net.sourceforge.czt.print.circus.Sym
 
PARA_START - Static variable in class net.sourceforge.czt.print.circus.Sym
 
PARENTS - Static variable in class net.sourceforge.czt.parser.circus.Sym
 
PARENTS - Static variable in class net.sourceforge.czt.print.circus.Sym
 
parse() - Method in class net.sourceforge.czt.parser.circus.LatexParser
 
parse() - Method in class net.sourceforge.czt.parser.circus.Parser
 
parse(Source, SectionInfo, Properties) - Static method in class net.sourceforge.czt.parser.circus.ParseUtils
 
parse(Source, SectionInfo) - Static method in class net.sourceforge.czt.parser.circus.ParseUtils
 
parse() - Method in class net.sourceforge.czt.parser.circus.SpecialLatexParser
 
parse() - Method in class net.sourceforge.czt.parser.circus.UnicodeParser
 
parseCharMarkupDirective(String, LocInfo) - Static method in class net.sourceforge.czt.parser.circus.LatexMarkupParser
 
parseExpr(Source, String, SectionManager) - Static method in class net.sourceforge.czt.parser.circus.ParseUtils
Parse a Source string/file as a Z Expression.
parseLatexFile(String, SectionInfo) - Static method in class net.sourceforge.czt.parser.circus.SpecialLatexParser
Deprecated. Replaced by #parse(Source, SectionInfo)
parsePred(Source, String, SectionManager) - Static method in class net.sourceforge.czt.parser.circus.ParseUtils
Parse a Source string/file as a Z Predicate.
Parser - Class in net.sourceforge.czt.parser.circus
CUP v0.11a beta 20060608 generated parser.
Parser() - Constructor for class net.sourceforge.czt.parser.circus.Parser
Default constructor.
Parser(Scanner) - Constructor for class net.sourceforge.czt.parser.circus.Parser
Constructor which sets the default scanner.
Parser(Scanner, SymbolFactory) - Constructor for class net.sourceforge.czt.parser.circus.Parser
Constructor which sets the default scanner.
Parser(Scanner, Source, SectionInfo) - Constructor for class net.sourceforge.czt.parser.circus.Parser
Creates a new parser with the given scanner, source information, and section information.
ParserState - Class in net.sourceforge.czt.parser.circus
 
ParserState(Source) - Constructor for class net.sourceforge.czt.parser.circus.ParserState
 
ParseUtils - Class in net.sourceforge.czt.parser.circus
Utilities for parsing Z and Circus specifications.
ParseUtils() - Constructor for class net.sourceforge.czt.parser.circus.ParseUtils
 
POST - Static variable in class net.sourceforge.czt.parser.circus.Sym
 
POSTP - Static variable in class net.sourceforge.czt.parser.circus.Sym
 
POSTWORD_MARKUP - Static variable in class net.sourceforge.czt.print.circus.Sym
 
POWER - Static variable in class net.sourceforge.czt.parser.circus.Sym
 
PRE - Static variable in class net.sourceforge.czt.parser.circus.Sym
 
PREFIXCOLON - Static variable in class net.sourceforge.czt.parser.circus.Sym
 
PREFIXTHEN - Static variable in class net.sourceforge.czt.parser.circus.Sym
 
PREP - Static variable in class net.sourceforge.czt.parser.circus.Sym
 
PREWORD_MARKUP - Static variable in class net.sourceforge.czt.print.circus.Sym
 
print(CircusKeyword) - Method in class net.sourceforge.czt.print.circus.CircusPrintVisitor
Auxiliary methods
print(Term, Writer, SectionInfo, Markup) - Static method in class net.sourceforge.czt.print.circus.PrintUtils
Prints a given term (usually a Spec or Sect) in the specified markup to the given writer.
print(Term, Writer, SectionInfo, String, Markup) - Static method in class net.sourceforge.czt.print.circus.PrintUtils
 
printActionD(ActionD) - Method in class net.sourceforge.czt.print.circus.CircusPrintVisitor
 
printFormalParameters(ZDeclList) - Method in class net.sourceforge.czt.print.circus.CircusPrintVisitor
 
printLatex(Term, String, SectionInfo) - Static method in class net.sourceforge.czt.parser.circus.SpecialLatexParser
 
printLatex(Term, Writer, SectionInfo) - Static method in class net.sourceforge.czt.print.circus.PrintUtils
Prints a given term (usually a Spec or Sect) as latex markup to the given writer.
printLatex(Term, Writer, SectionInfo, String) - Static method in class net.sourceforge.czt.print.circus.PrintUtils
Prints a given term (usually an Expr or Pred) as latex markup to the given writer.
printProcessD(ProcessD, boolean) - Method in class net.sourceforge.czt.print.circus.CircusPrintVisitor
 
printUnicode(Term, String, SectionInfo) - Static method in class net.sourceforge.czt.parser.circus.SpecialLatexParser
 
printUnicode(Term, Writer, SectionInfo) - Static method in class net.sourceforge.czt.print.circus.PrintUtils
Prints a given term (usually a Spec or Sect) as unicode to the given writer.
printUnicode(Term, Writer, SectionInfo, String) - Static method in class net.sourceforge.czt.print.circus.PrintUtils
Prints a given term (usually an Expr or Pred) as unicode to the given writer.
PrintUtils - Class in net.sourceforge.czt.print.circus
Utilities for printing Circus specifications given as an AST.
printZML(Term, String) - Static method in class net.sourceforge.czt.parser.circus.SpecialLatexParser
 
production_table() - Method in class net.sourceforge.czt.parser.circus.Parser
Access to production table.
production_table() - Method in class net.sourceforge.czt.print.circus.Unicode2Latex
Access to production table.

R

RBIND - Static variable in class net.sourceforge.czt.parser.circus.Sym
 
RBIND - Static variable in class net.sourceforge.czt.print.circus.Sym
 
RBRACE - Static variable in class net.sourceforge.czt.parser.circus.Sym
 
RBRACE - Static variable in class net.sourceforge.czt.print.circus.Sym
 
RCIRCCHANSET - Static variable in class net.sourceforge.czt.parser.circus.Sym
 
RCIRCCHANSET - Static variable in class net.sourceforge.czt.print.circus.Sym
 
RCIRCGUARD - Static variable in class net.sourceforge.czt.parser.circus.Sym
 
RCIRCGUARD - Static variable in class net.sourceforge.czt.print.circus.Sym
 
RCIRCRENAME - Static variable in class net.sourceforge.czt.parser.circus.Sym
 
RCIRCRENAME - Static variable in class net.sourceforge.czt.print.circus.Sym
 
RDATA - Static variable in class net.sourceforge.czt.parser.circus.Sym
 
RDATA - Static variable in class net.sourceforge.czt.print.circus.Sym
 
reduce_table() - Method in class net.sourceforge.czt.parser.circus.Parser
Access to reduce_goto table.
reduce_table() - Method in class net.sourceforge.czt.print.circus.Unicode2Latex
Access to reduce_goto table.
RELATION - Static variable in class net.sourceforge.czt.parser.circus.Sym
 
REPEXTCHOICE - Static variable in class net.sourceforge.czt.parser.circus.Sym
 
REPINTCHOICE - Static variable in class net.sourceforge.czt.parser.circus.Sym
 
REPINTERLEAVE - Static variable in class net.sourceforge.czt.parser.circus.Sym
 
report_error(String, Object) - Method in class net.sourceforge.czt.parser.circus.Parser
 
report_error(ZParseMessage, Object[], LocInfo) - Method in class net.sourceforge.czt.parser.circus.Parser
 
report_error(CircusParseMessage, Object[], LocInfo) - Method in class net.sourceforge.czt.parser.circus.Parser
 
report_error(String, Object) - Method in class net.sourceforge.czt.print.circus.Unicode2Latex
 
report_fatal_error(String, Object) - Method in class net.sourceforge.czt.print.circus.Unicode2Latex
 
report_syntax_error() - Method in class net.sourceforge.czt.parser.circus.Parser
 
report_syntax_error(ZParseMessage) - Method in class net.sourceforge.czt.parser.circus.Parser
 
report_syntax_error(CircusParseMessage) - Method in class net.sourceforge.czt.parser.circus.Parser
 
report_syntax_error(CircusParseMessage, Object[], LocInfo) - Method in class net.sourceforge.czt.parser.circus.Parser
 
REPPARALLEL - Static variable in class net.sourceforge.czt.parser.circus.Sym
 
reset(Reader) - Method in class net.sourceforge.czt.parser.circus.UnicodeScanner
 
RIGHTASSOC - Static variable in class net.sourceforge.czt.parser.circus.Sym
 
RINTER - Static variable in class net.sourceforge.czt.parser.circus.Sym
 
RINTER - Static variable in class net.sourceforge.czt.print.circus.Sym
 
RPAR - Static variable in class net.sourceforge.czt.parser.circus.Sym
 
RPAR - Static variable in class net.sourceforge.czt.print.circus.Sym
 
RPAREN - Static variable in class net.sourceforge.czt.parser.circus.Sym
 
RPAREN - Static variable in class net.sourceforge.czt.print.circus.Sym
 
RSCHEXPRACT - Static variable in class net.sourceforge.czt.parser.circus.Sym
 
RSCHEXPRACT - Static variable in class net.sourceforge.czt.print.circus.Sym
 
RSQUARE - Static variable in class net.sourceforge.czt.parser.circus.Sym
 
RSQUARE - Static variable in class net.sourceforge.czt.print.circus.Sym
 
run(String, String, String) - Static method in class net.sourceforge.czt.print.circus.UnicodeToLatex
Reads the given input file using the specified encoding and writes to the given output file.
run(Reader, Writer) - Static method in class net.sourceforge.czt.print.circus.UnicodeToLatex
Transforms the input provided via a Reader and writes the result to the given Writer.

S

scan() - Method in class net.sourceforge.czt.parser.circus.Parser
Scan to get the next Symbol.
scan() - Method in class net.sourceforge.czt.print.circus.Unicode2Latex
Scan to get the next Symbol.
SCH - Static variable in class net.sourceforge.czt.parser.circus.Sym
 
SCH - Static variable in class net.sourceforge.czt.print.circus.Sym
 
SECTHEAD - Static variable in class net.sourceforge.czt.print.circus.Sym
 
SectHeadScanner - Class in net.sourceforge.czt.print.circus
This is a scanner that creates SECTHEAD tokens of type ZSect for section headers.
SectHeadScanner(Scanner) - Constructor for class net.sourceforge.czt.print.circus.SectHeadScanner
 
sectInfo_ - Variable in class net.sourceforge.czt.parser.circus.Parser
Section information.
sectInfo_ - Variable in class net.sourceforge.czt.print.circus.Unicode2Latex
 
SECTION - Static variable in class net.sourceforge.czt.parser.circus.Sym
 
SECTION - Static variable in class net.sourceforge.czt.print.circus.Sym
 
sectionName_ - Variable in class net.sourceforge.czt.print.circus.Unicode2Latex
 
SEMICOLON - Static variable in class net.sourceforge.czt.parser.circus.Sym
 
setBasicProcess(BasicProcess) - Method in class net.sourceforge.czt.parser.circus.ParserState
 
setMainAction(CircusAction) - Method in class net.sourceforge.czt.parser.circus.ParserState
 
setMarkupFunction(LatexMarkupFunction) - Method in class net.sourceforge.czt.parser.circus.Latex2Unicode
Sets the latex mark-up function.
setMarkupFunction(LatexMarkupFunction) - Method in interface net.sourceforge.czt.parser.circus.LatexMarkupParser.LatexLexer
 
setOperatorTable(OpTable) - Method in class net.sourceforge.czt.parser.circus.OperatorScanner
 
setProcessPara(ProcessPara) - Method in class net.sourceforge.czt.parser.circus.ParserState
 
setRefinementModel(Model) - Method in class net.sourceforge.czt.parser.circus.ParserState
 
setSectionInfo(SectionInfo) - Method in class net.sourceforge.czt.print.circus.Unicode2Latex
 
setSectionInfo(SectionInfo, String) - Method in class net.sourceforge.czt.print.circus.Unicode2Latex
 
setStatePara(Para) - Method in class net.sourceforge.czt.parser.circus.ParserState
 
setWriter(Writer) - Method in class net.sourceforge.czt.print.circus.Unicode2Latex
 
setZFactoryToStringVisitor(Factory) - Method in class net.sourceforge.czt.parser.circus.Parser
Changes the toString() method of ZFactory (within the given Factory), so that is uses the toString() strategy for Circus.
SLASH - Static variable in class net.sourceforge.czt.parser.circus.Sym
 
source_ - Variable in class net.sourceforge.czt.parser.circus.Parser
The file being parsed.
SpecialLatexParser - Class in net.sourceforge.czt.parser.circus
A parser for LaTeX mark-up.
SpecialLatexParser(Source, SectionInfo, Properties) - Constructor for class net.sourceforge.czt.parser.circus.SpecialLatexParser
 
SpecialLatexParser.SimpleFormatterForCircus - Class in net.sourceforge.czt.parser.circus
 
SpecialLatexParser.SimpleFormatterForCircus(boolean, boolean, boolean, boolean, boolean) - Constructor for class net.sourceforge.czt.parser.circus.SpecialLatexParser.SimpleFormatterForCircus
 
spelling() - Method in enum net.sourceforge.czt.parser.circus.CircusKeyword
 
spelling() - Method in enum net.sourceforge.czt.parser.circus.CircusToken
 
SPOT - Static variable in class net.sourceforge.czt.parser.circus.Sym
 
SR - Static variable in class net.sourceforge.czt.parser.circus.Sym
 
SRE - Static variable in class net.sourceforge.czt.parser.circus.Sym
 
SREP - Static variable in class net.sourceforge.czt.parser.circus.Sym
 
SRP - Static variable in class net.sourceforge.czt.parser.circus.Sym
 
SS - Static variable in class net.sourceforge.czt.parser.circus.Sym
 
start_production() - Method in class net.sourceforge.czt.parser.circus.Parser
Indicates start production.
start_production() - Method in class net.sourceforge.czt.print.circus.Unicode2Latex
Indicates start production.
start_state() - Method in class net.sourceforge.czt.parser.circus.Parser
Indicates start state.
start_state() - Method in class net.sourceforge.czt.print.circus.Unicode2Latex
Indicates start state.
Sym - Class in net.sourceforge.czt.parser.circus
CUP generated class containing symbol constants.
Sym() - Constructor for class net.sourceforge.czt.parser.circus.Sym
 
Sym - Class in net.sourceforge.czt.print.circus
CUP generated class containing symbol constants.
Sym() - Constructor for class net.sourceforge.czt.print.circus.Sym
 
symbolMap_ - Static variable in class net.sourceforge.czt.print.circus.Unicode2Latex
 
SymMap - Class in net.sourceforge.czt.parser.circus
 
SymMap() - Constructor for class net.sourceforge.czt.parser.circus.SymMap
 
syntax_error(Symbol) - Method in class net.sourceforge.czt.parser.circus.Parser
 

T

TEXT - Static variable in class net.sourceforge.czt.parser.circus.Sym
 
TEXT - Static variable in class net.sourceforge.czt.print.circus.Sym
 
THEN - Static variable in class net.sourceforge.czt.parser.circus.Sym
 
THETA - Static variable in class net.sourceforge.czt.parser.circus.Sym
 
TOKENSEQ - Static variable in class net.sourceforge.czt.print.circus.Sym
 
toObject(Symbol) - Method in class net.sourceforge.czt.parser.circus.Parser
 
TRUE - Static variable in class net.sourceforge.czt.parser.circus.Sym
 

U

Unicode2Latex - Class in net.sourceforge.czt.print.circus
CUP v0.11a beta 20060608 generated parser.
Unicode2Latex() - Constructor for class net.sourceforge.czt.print.circus.Unicode2Latex
Default constructor.
Unicode2Latex(Scanner) - Constructor for class net.sourceforge.czt.print.circus.Unicode2Latex
Constructor which sets the default scanner.
Unicode2Latex(Scanner, SymbolFactory) - Constructor for class net.sourceforge.czt.print.circus.Unicode2Latex
Constructor which sets the default scanner.
UnicodeParser - Class in net.sourceforge.czt.parser.circus
A parser for unicode.
UnicodeParser(Source, SectionInfo, Properties) - Constructor for class net.sourceforge.czt.parser.circus.UnicodeParser
 
UnicodePrinter - Class in net.sourceforge.czt.print.circus
Print Z specifications in Unicode.
UnicodePrinter(Writer) - Constructor for class net.sourceforge.czt.print.circus.UnicodePrinter
Create a new PrintWriter, without automatic line flushing.
UnicodePrinter(Writer, boolean) - Constructor for class net.sourceforge.czt.print.circus.UnicodePrinter
Create a new PrintWriter.
UnicodePrinterCommand - Class in net.sourceforge.czt.print.circus
 
UnicodePrinterCommand() - Constructor for class net.sourceforge.czt.print.circus.UnicodePrinterCommand
 
UnicodeScanner - Class in net.sourceforge.czt.parser.circus
A scanner for lexing Circus specifications in unicode format.
UnicodeScanner(Source, Properties) - Constructor for class net.sourceforge.czt.parser.circus.UnicodeScanner
 
UnicodeScanner(CztReader, Properties) - Constructor for class net.sourceforge.czt.parser.circus.UnicodeScanner
 
UnicodeToLatex - Class in net.sourceforge.czt.print.circus
Unicode to Latex transformation utilities for Standard Z.
unrecovered_syntax_error(Symbol) - Method in class net.sourceforge.czt.parser.circus.Parser
 
unrecovered_syntax_error(Symbol) - Method in class net.sourceforge.czt.print.circus.Unicode2Latex
 
updateBasicProcessInformation() - Method in class net.sourceforge.czt.parser.circus.ParserState
 
user_init() - Method in class net.sourceforge.czt.parser.circus.Parser
User initialization code.

V

valueOf(String) - Static method in enum net.sourceforge.czt.parser.circus.CircusKeyword
Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum net.sourceforge.czt.parser.circus.CircusParseMessage
Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum net.sourceforge.czt.parser.circus.CircusToken
Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum net.sourceforge.czt.print.circus.CircusPrintMessage
Returns the enum constant of this type with the specified name.
values() - Static method in enum net.sourceforge.czt.parser.circus.CircusKeyword
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.circus.CircusParseMessage
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.circus.CircusToken
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.circus.CircusPrintMessage
Returns an array containing the constants of this enum type, in the order they are declared.
visitActionPara(ActionPara) - Method in class net.sourceforge.czt.print.circus.AstToPrintTreeVisitor
 
visitActionPara(ActionPara) - Method in class net.sourceforge.czt.print.circus.CircusPrintVisitor
Action related
visitActionSignature(ActionSignature) - Method in class net.sourceforge.czt.print.circus.CircusPrintVisitor
 
visitActionTransformerPred(ActionTransformerPred) - Method in class net.sourceforge.czt.print.circus.CircusPrintVisitor
 
visitActionType(ActionType) - Method in class net.sourceforge.czt.print.circus.CircusPrintVisitor
 
visitAlphabetisedParallelAction(AlphabetisedParallelAction) - Method in class net.sourceforge.czt.print.circus.CircusPrintVisitor
 
visitAlphabetisedParallelActionIte(AlphabetisedParallelActionIte) - Method in class net.sourceforge.czt.print.circus.CircusPrintVisitor
 
visitAlphabetisedParallelProcess(AlphabetisedParallelProcess) - Method in class net.sourceforge.czt.print.circus.CircusPrintVisitor
 
visitAlphabetisedParallelProcessIdx(AlphabetisedParallelProcessIdx) - Method in class net.sourceforge.czt.print.circus.CircusPrintVisitor
 
visitAlphabetisedParallelProcessIte(AlphabetisedParallelProcessIte) - Method in class net.sourceforge.czt.print.circus.CircusPrintVisitor
 
visitAssignmentCommand(AssignmentCommand) - Method in class net.sourceforge.czt.print.circus.CircusPrintVisitor
 
visitAssignmentPairs(AssignmentPairs) - Method in class net.sourceforge.czt.print.circus.CircusPrintVisitor
 
visitBasicChannelSetExpr(BasicChannelSetExpr) - Method in class net.sourceforge.czt.print.circus.CircusPrintVisitor
 
visitBasicProcess(BasicProcess) - Method in class net.sourceforge.czt.print.circus.AstToPrintTreeVisitor
 
visitBasicProcess(BasicProcess) - Method in class net.sourceforge.czt.print.circus.CircusPrintVisitor
 
visitBasicProcessSignature(BasicProcessSignature) - Method in class net.sourceforge.czt.print.circus.CircusPrintVisitor
 
visitCallAction(CallAction) - Method in class net.sourceforge.czt.print.circus.CircusPrintVisitor
 
visitCallProcess(CallProcess) - Method in class net.sourceforge.czt.print.circus.CircusPrintVisitor
 
visitChannelDecl(ChannelDecl) - Method in class net.sourceforge.czt.print.circus.CircusPrintVisitor
 
visitChannelPara(ChannelPara) - Method in class net.sourceforge.czt.print.circus.CircusPrintVisitor
Channel related
visitChannelSetPara(ChannelSetPara) - Method in class net.sourceforge.czt.print.circus.CircusPrintVisitor
Channel set related
visitChannelSetType(ChannelSetType) - Method in class net.sourceforge.czt.print.circus.CircusPrintVisitor
 
visitChannelType(ChannelType) - Method in class net.sourceforge.czt.print.circus.CircusPrintVisitor
Unexpected terms
visitChaosAction(ChaosAction) - Method in class net.sourceforge.czt.print.circus.CircusPrintVisitor
 
visitCircusChannelSet(CircusChannelSet) - Method in class net.sourceforge.czt.print.circus.CircusPrintVisitor
 
visitCircusFieldList(CircusFieldList) - Method in class net.sourceforge.czt.print.circus.CircusPrintVisitor
 
visitCircusNameSet(CircusNameSet) - Method in class net.sourceforge.czt.print.circus.CircusPrintVisitor
 
visitCircusStateAnn(CircusStateAnn) - Method in class net.sourceforge.czt.print.circus.CircusPrintVisitor
 
visitCommunication(Communication) - Method in class net.sourceforge.czt.print.circus.CircusPrintVisitor
 
visitDotField(DotField) - Method in class net.sourceforge.czt.print.circus.CircusPrintVisitor
 
visitExtChoiceAction(ExtChoiceAction) - Method in class net.sourceforge.czt.print.circus.CircusPrintVisitor
 
visitExtChoiceActionIte(ExtChoiceActionIte) - Method in class net.sourceforge.czt.print.circus.CircusPrintVisitor
 
visitExtChoiceProcess(ExtChoiceProcess) - Method in class net.sourceforge.czt.print.circus.CircusPrintVisitor
 
visitExtChoiceProcessIdx(ExtChoiceProcessIdx) - Method in class net.sourceforge.czt.print.circus.CircusPrintVisitor
 
visitExtChoiceProcessIte(ExtChoiceProcessIte) - Method in class net.sourceforge.czt.print.circus.CircusPrintVisitor
 
visitGuardedAction(GuardedAction) - Method in class net.sourceforge.czt.print.circus.CircusPrintVisitor
 
visitHideAction(HideAction) - Method in class net.sourceforge.czt.print.circus.CircusPrintVisitor
 
visitHideProcess(HideProcess) - Method in class net.sourceforge.czt.print.circus.CircusPrintVisitor
 
visitIfGuardedCommand(IfGuardedCommand) - Method in class net.sourceforge.czt.print.circus.CircusPrintVisitor
 
visitIndexedProcess(IndexedProcess) - Method in class net.sourceforge.czt.print.circus.CircusPrintVisitor
 
visitInputField(InputField) - Method in class net.sourceforge.czt.print.circus.CircusPrintVisitor
 
visitIntChoiceAction(IntChoiceAction) - Method in class net.sourceforge.czt.print.circus.CircusPrintVisitor
 
visitIntChoiceActionIte(IntChoiceActionIte) - Method in class net.sourceforge.czt.print.circus.CircusPrintVisitor
 
visitIntChoiceProcess(IntChoiceProcess) - Method in class net.sourceforge.czt.print.circus.CircusPrintVisitor
 
visitIntChoiceProcessIdx(IntChoiceProcessIdx) - Method in class net.sourceforge.czt.print.circus.CircusPrintVisitor
 
visitIntChoiceProcessIte(IntChoiceProcessIte) - Method in class net.sourceforge.czt.print.circus.CircusPrintVisitor
 
visitInterleaveAction(InterleaveAction) - Method in class net.sourceforge.czt.print.circus.CircusPrintVisitor
 
visitInterleaveActionIte(InterleaveActionIte) - Method in class net.sourceforge.czt.print.circus.CircusPrintVisitor
 
visitInterleaveProcess(InterleaveProcess) - Method in class net.sourceforge.czt.print.circus.CircusPrintVisitor
 
visitInterleaveProcessIdx(InterleaveProcessIdx) - Method in class net.sourceforge.czt.print.circus.CircusPrintVisitor
 
visitInterleaveProcessIte(InterleaveProcessIte) - Method in class net.sourceforge.czt.print.circus.CircusPrintVisitor
 
visitLetMuAction(LetMuAction) - Method in class net.sourceforge.czt.print.circus.CircusPrintVisitor
 
visitLetVarAction(LetVarAction) - Method in class net.sourceforge.czt.print.circus.CircusPrintVisitor
 
visitMuAction(MuAction) - Method in class net.sourceforge.czt.print.circus.CircusPrintVisitor
 
visitNameSetPara(NameSetPara) - Method in class net.sourceforge.czt.print.circus.CircusPrintVisitor
 
visitNameSetType(NameSetType) - Method in class net.sourceforge.czt.print.circus.CircusPrintVisitor
 
visitOnTheFlyDefAnn(OnTheFlyDefAnn) - Method in class net.sourceforge.czt.print.circus.CircusPrintVisitor
 
visitOutputField(OutputField) - Method in class net.sourceforge.czt.print.circus.CircusPrintVisitor
 
visitParallelAction(ParallelAction) - Method in class net.sourceforge.czt.print.circus.CircusPrintVisitor
 
visitParallelActionIte(ParallelActionIte) - Method in class net.sourceforge.czt.print.circus.CircusPrintVisitor
 
visitParallelProcess(ParallelProcess) - Method in class net.sourceforge.czt.print.circus.CircusPrintVisitor
 
visitParallelProcessIdx(ParallelProcessIdx) - Method in class net.sourceforge.czt.print.circus.CircusPrintVisitor
 
visitParallelProcessIte(ParallelProcessIte) - Method in class net.sourceforge.czt.print.circus.CircusPrintVisitor
 
visitParamAction(ParamAction) - Method in class net.sourceforge.czt.print.circus.CircusPrintVisitor
 
visitParamProcess(ParamProcess) - Method in class net.sourceforge.czt.print.circus.CircusPrintVisitor
 
visitPrefixingAction(PrefixingAction) - Method in class net.sourceforge.czt.print.circus.CircusPrintVisitor
 
visitProcessPara(ProcessPara) - Method in class net.sourceforge.czt.print.circus.AstToPrintTreeVisitor
 
visitProcessPara(ProcessPara) - Method in class net.sourceforge.czt.print.circus.CircusPrintVisitor
The AstToPrintTreeVisitor must have changed OnTheFly paragraphs from ProcessPara to a special form of action call.
visitProcessSignature(ProcessSignature) - Method in class net.sourceforge.czt.print.circus.CircusPrintVisitor
 
visitProcessTransformerPred(ProcessTransformerPred) - Method in class net.sourceforge.czt.print.circus.CircusPrintVisitor
 
visitProcessType(ProcessType) - Method in class net.sourceforge.czt.print.circus.CircusPrintVisitor
 
visitQualifiedDecl(QualifiedDecl) - Method in class net.sourceforge.czt.print.circus.CircusPrintVisitor
 
visitRenameProcess(RenameProcess) - Method in class net.sourceforge.czt.print.circus.CircusPrintVisitor
 
visitSchExprAction(SchExprAction) - Method in class net.sourceforge.czt.print.circus.CircusPrintVisitor
 
visitSeqAction(SeqAction) - Method in class net.sourceforge.czt.print.circus.CircusPrintVisitor
 
visitSeqActionIte(SeqActionIte) - Method in class net.sourceforge.czt.print.circus.CircusPrintVisitor
 
visitSeqProcess(SeqProcess) - Method in class net.sourceforge.czt.print.circus.CircusPrintVisitor
 
visitSeqProcessIdx(SeqProcessIdx) - Method in class net.sourceforge.czt.print.circus.CircusPrintVisitor
 
visitSeqProcessIte(SeqProcessIte) - Method in class net.sourceforge.czt.print.circus.CircusPrintVisitor
 
visitSigmaExpr(SigmaExpr) - Method in class net.sourceforge.czt.print.circus.CircusPrintVisitor
 
visitSkipAction(SkipAction) - Method in class net.sourceforge.czt.print.circus.CircusPrintVisitor
 
visitSpecStmtCommand(SpecStmtCommand) - Method in class net.sourceforge.czt.print.circus.CircusPrintVisitor
 
visitStopAction(StopAction) - Method in class net.sourceforge.czt.print.circus.CircusPrintVisitor
 
visitSubstitutionAction(SubstitutionAction) - Method in class net.sourceforge.czt.print.circus.CircusPrintVisitor
 
visitTransformation(Transformation, Model) - Method in class net.sourceforge.czt.print.circus.CircusPrintVisitor
 
visitTransformerPara(TransformerPara) - Method in class net.sourceforge.czt.print.circus.CircusPrintVisitor
Others
visitVarDeclCommand(VarDeclCommand) - Method in class net.sourceforge.czt.print.circus.CircusPrintVisitor
Command related

W

warn(CircusPrintMessage, Object...) - Method in class net.sourceforge.czt.print.circus.WarningManager
 
warnBadParagraphFor(String, Para, BasicProcess) - Method in class net.sourceforge.czt.print.circus.WarningManager
 
warnDuplicatedState(Term) - Method in class net.sourceforge.czt.print.circus.WarningManager
 
WarningManager - Class in net.sourceforge.czt.print.circus
 
WarningManager() - Constructor for class net.sourceforge.czt.print.circus.WarningManager
 
WarningManager(Class<?>) - Constructor for class net.sourceforge.czt.print.circus.WarningManager
Creates a new instance of WarningManager
warningManager_ - Static variable in class net.sourceforge.czt.print.circus.PrintUtils
 
warnLocalOnTheFly(Term, BasicProcess) - Method in class net.sourceforge.czt.print.circus.WarningManager
 
warnMissingFor(String, BasicProcess) - Method in class net.sourceforge.czt.print.circus.WarningManager
 
WHERE - Static variable in class net.sourceforge.czt.print.circus.Sym
 
WORD_MARKUP - Static variable in class net.sourceforge.czt.print.circus.Sym
 
write(String) - Method in class net.sourceforge.czt.print.circus.Unicode2Latex
 

X

XmlPrinterCommand - Class in net.sourceforge.czt.print.circus
 
XmlPrinterCommand() - Constructor for class net.sourceforge.czt.print.circus.XmlPrinterCommand
 

Y

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

Z

Z - Static variable in class net.sourceforge.czt.parser.circus.ContextFreeScanner
 
Z - Static variable in class net.sourceforge.czt.print.circus.ContextFreeScanner
 
ZCOMP - Static variable in class net.sourceforge.czt.parser.circus.Sym
 
ZED - Static variable in class net.sourceforge.czt.parser.circus.Latex2Unicode
 
ZED - Static variable in class net.sourceforge.czt.parser.circus.Sym
 
ZED - Static variable in class net.sourceforge.czt.print.circus.Sym
 
ZHIDE - Static variable in class net.sourceforge.czt.parser.circus.Sym
 
ZmlScanner - Class in net.sourceforge.czt.print.circus
This Scanner uses the print visitor to tokenize a given Z/Circus term.
ZmlScanner(Term, WarningManager) - Constructor for class net.sourceforge.czt.print.circus.ZmlScanner
Creates a new ZML scanner.
ZPIPE - Static variable in class net.sourceforge.czt.parser.circus.Sym
 
ZPRE - Static variable in class net.sourceforge.czt.parser.circus.Sym
 
ZPROJ - Static variable in class net.sourceforge.czt.parser.circus.Sym
 

_

_action_table - Static variable in class net.sourceforge.czt.parser.circus.Parser
Parse-action table.
_action_table - Static variable in class net.sourceforge.czt.print.circus.Unicode2Latex
Parse-action table.
_APPLICATION - Static variable in class net.sourceforge.czt.parser.circus.Sym
 
_CIRCGUARD - Static variable in class net.sourceforge.czt.parser.circus.Sym
 
_CIRCIF - Static variable in class net.sourceforge.czt.parser.circus.Sym
 
_production_table - Static variable in class net.sourceforge.czt.parser.circus.Parser
Production table.
_production_table - Static variable in class net.sourceforge.czt.print.circus.Unicode2Latex
Production table.
_reduce_table - Static variable in class net.sourceforge.czt.parser.circus.Parser
reduce_goto table.
_reduce_table - Static variable in class net.sourceforge.czt.print.circus.Unicode2Latex
reduce_goto table.
_RENAME - Static variable in class net.sourceforge.czt.parser.circus.Sym
 
_REPSEQ - Static variable in class net.sourceforge.czt.parser.circus.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 _
Overview  Package  Class  Use  Tree  Deprecated   Index  Help 
 PREV   NEXT FRAMES    NO FRAMES    
Copyright © 2003-2007 Community Z Tools Project. All Rights Reserved.