net.sourceforge.czt.z.util (CZT Corejava Z 1.6-SNAPSHOT API)

Interface Summary
Interface	Description
ConcreteSyntaxSymbolVisitor.Utils
IsEmptyNameList
SyntaxSymbolVisitor.Utils
Version	Defines version and XML Schema file location information.
ZString	An interface for commonly used Z characters.

Class Summary
Class	Description
ConcreteSyntaxSymbolVisitor	This visitor classifies a given AST node as a concrete syntax symbol `ConcreteSyntaxSymbol`.
ConcreteSyntaxSymbolVisitor.UtilsImpl
CreateVisitor	A copy visitor.
DeleteMarkupParaVisitor
DeleteNarrVisitor	A visitor that removes all narrative paragraphs and sections from a specification.
Factory	An object factory for the AST.
FlyweightFactory	A flyweight object factory for the AST.
LongDescriptionResourceBundle	This resource bundle translates ConcreteSyntaxSymbol elements into long human-readable descriptions.
OperatorName	An operator name.
PrintVisitor	A convenience class for printing SIMPLE terms as strings.
ShortDescriptionResourceBundle	This resource bundle translates `ConcreteSyntaxSymbol` elements into short descriptions.
StandardZ
SyntaxSymbolVisitor	This visitor classifies a given AST node as a concrete syntax symbol `ConcreteSyntaxSymbol`.
SyntaxSymbolVisitor.UtilsImpl
TermSelector	This class provides methods to select terms in an AST based on the location annotations of the terms and a given position, which is usually the position of a pointing device like a caret.
WarningManager
ZChar	Commonly used Z characters and helper methods for Z characters.
ZConcreteSyntaxDescriptionVisitor	This class is useful for creating human-readable summaries of AST nodes.
ZGetNameVisitor
ZUtils

Enum Summary
Enum	Description
ConcreteSyntaxSymbol	An enumeration of concrete syntax symbols.
Fixity
WarningManager.WarningOutput
ZUtils.ZExprKind	Enumerated type used to distinguish what kind of Z Expr is.

Exception Summary
Exception	Description
OperatorName.OperatorNameException

Package net.sourceforge.czt.z.util Description

Utilities for the AST for Standard Z.