Package net.sourceforge.czt.parser.util

Contains utility classes needed by the different kinds of parsers.

See:
Description

Interface Summary

CztError	An error that contains enough information to be helpful to a user, that is, somebody who processes Z specification using CZT tools.
CztErrorList
CztScanner
DefinitionTable.DefinitionVisitor<T>	This interface allows visitors to visit definitions.
Lexer
LocInfo	Information about location in a source document, like source location, line and column number, etc.
LocToken
ParsePropertiesKeys	Contains String constants for the keys used in parse properties.
Token	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.

Class Summary

AbstractVisitor
CztErrorImpl	An abstract CztError that can be localised.
CztReader	A reader for a list of tokens.
DebugUtils	Utilities for handling symbols generated by java_cup.
Decorword	Note that the wordpart of a decorword can be empty, which does not represent a DECORWORD in the ISO Z standard.
DefinitionTable	A definition table stores all the definitions of a section.
DefinitionTable.Definition	This defines a definition, but without the name.
DefinitionTableService	A visitor that computes a DefinitionTable from a given Z Section.
DefinitionTableVisitor	A visitor that computes a DefinitionTable from a given Z Section.
DeleteAnnVisitor	A visitor that deletes all annotations from an AST.
LatexCommand	A latex command for Zed markup together with its rendering information.
LatexMarkupCommand
LatexMarkupFunction
LatexMarkupFunctionVisitor
LocInfoImpl
LocInt
LocString
LocTokenImpl
MarkupDirective
OperatorTokenType	Tokens for an operator word.
OpTable	An operator table manages all the operator definitions of a section.
OpTable.OpInfo	An operator info.
OpTableCommand	A command to compute the operator table (class OpTable) of a Z section.
OpTableService
OpTableVisitor
Pair<X,Y>
ParseExceptionCommand
PrecedenceHandlingVisitor	A PrecedenceHandler re-arranges infix operator expressions so that applications and references to operators of higher precedence are further down in the AST.
TermCommand
TokenImpl
TokenStack	A stack of tokens that is initialised with the tokens provided by a scanner.
WarningManager

Enum Summary

ErrorType
LatexSym	Symbols used by the latex to unicode scanner.

Exception Summary

MarkupException	This exception can be thrown by a markup converter.
OpTable.OperatorException
ParseException	A parse exception.
ScanException	This exception can be thrown by a scanner when unexpected tokens are encountered.

Package net.sourceforge.czt.parser.util Description

Contains utility classes needed by the different kinds of parsers.