Package net.sourceforge.czt.parser.circus

Interface Summary
LatexMarkupParser.LatexLexer  
 

Class Summary
CircusParseError A parse error.
CircusParseResources  
ContextFreeScanner The context-free lexer for Circus specifications in unicode format.
KeywordScanner This is a keyword lexer (part of context-sensitive lexis) for Circus specifications in unicode format.
Latex2Unicode The low-level latex to unicode scanner for Z Circus .
LatexMarkupParser A latex markup parser that looks like a scanner.
LatexParser A parser for LaTeX mark-up.
LatexScanner A latex scanner for Z and Circus specifications.
LatexToUnicode The high-level latex to unicode converter for Z and Circus.
NewlineScanner This is a NL lexer (part of context-sensitive lexis) for Circus specifications in unicode format.
OperatorScanner This is an operator lexer (part of context-sensitive lexis) for Circus specifications in unicode format.
Parser CUP v0.11a beta 20060608 generated parser.
ParserState  
ParseUtils Utilities for parsing Z and Circus specifications.
SpecialLatexParser A parser for LaTeX mark-up.
SpecialLatexParser.SimpleFormatterForCircus  
Sym CUP generated class containing symbol constants.
SymMap  
UnicodeParser A parser for unicode.
UnicodeScanner A scanner for lexing Circus specifications in unicode format.
 

Enum Summary
CircusKeyword 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).
CircusParseMessage  
CircusToken These tokens are for the ContextFreeScanner that occurs before decorwords are translated into keywords, so that the context sensitive lexing can take place.
 



Copyright © 2003-2007 Community Z Tools Project. All Rights Reserved.