Package net.sourceforge.czt.z.impl

Implementation classes of the AST for Standard Z.

See: Description

Class Summary

Class	Description
AndExprImpl	An implementation of the interface AndExpr.
AndPredImpl	An implementation of the interface AndPred.
AnnImpl	An implementation of the interface Ann.
ApplExprImpl	An implementation of the interface ApplExpr.
AxParaImpl	An implementation of the interface AxPara.
BindExprImpl	An implementation of the interface BindExpr.
BindSelExprImpl	An implementation of the interface BindSelExpr.
BranchImpl	An implementation of the interface Branch.
BranchListImpl	An implementation of the interface BranchList.
CompExprImpl	An implementation of the interface CompExpr.
CondExprImpl	An implementation of the interface CondExpr.
ConjParaImpl	An implementation of the interface ConjPara.
ConstDeclImpl	An implementation of the interface ConstDecl.
DeclImpl	An implementation of the interface Decl.
DeclListImpl	An implementation of the interface DeclList.
DecorExprImpl	An implementation of the interface DecorExpr.
DirectiveImpl	An implementation of the interface Directive.
Exists1ExprImpl	An implementation of the interface Exists1Expr.
Exists1PredImpl	An implementation of the interface Exists1Pred.
ExistsExprImpl	An implementation of the interface ExistsExpr.
ExistsPredImpl	An implementation of the interface ExistsPred.
Expr0NImpl	An implementation of the interface Expr0N.
Expr1Impl	An implementation of the interface Expr1.
Expr2Impl	An implementation of the interface Expr2.
Expr2NImpl	An implementation of the interface Expr2N.
ExprImpl	An implementation of the interface Expr.
ExprListImpl	An implementation of the interface ExprList.
ExprPredImpl	An implementation of the interface ExprPred.
FactImpl	An implementation of the interface Fact.
FalsePredImpl	An implementation of the interface FalsePred.
ForallExprImpl	An implementation of the interface ForallExpr.
ForallPredImpl	An implementation of the interface ForallPred.
FreeParaImpl	An implementation of the interface FreePara.
FreetypeImpl	An implementation of the interface Freetype.
FreetypeListImpl	An implementation of the interface FreetypeList.
GenericTypeImpl	An implementation of the interface GenericType.
GenParamTypeImpl	An implementation of the interface GenParamType.
GivenParaImpl	An implementation of the interface GivenPara.
GivenTypeImpl	An implementation of the interface GivenType.
HideExprImpl	An implementation of the interface HideExpr.
IffExprImpl	An implementation of the interface IffExpr.
IffPredImpl	An implementation of the interface IffPred.
ImpliesExprImpl	An implementation of the interface ImpliesExpr.
ImpliesPredImpl	An implementation of the interface ImpliesPred.
InclDeclImpl	An implementation of the interface InclDecl.
InStrokeImpl	An implementation of the interface InStroke.
LambdaExprImpl	An implementation of the interface LambdaExpr.
LatexMarkupParaImpl	An implementation of the interface LatexMarkupPara.
LetExprImpl	An implementation of the interface LetExpr.
LocAnnImpl	An implementation of the interface LocAnn.
MemPredImpl	An implementation of the interface MemPred.
MuExprImpl	An implementation of the interface MuExpr.
NameImpl	An implementation of the interface Name.
NameListImpl	An implementation of the interface NameList.
NameSectTypeTripleImpl	An implementation of the interface NameSectTypeTriple.
NameTypePairImpl	An implementation of the interface NameTypePair.
NarrParaImpl	An implementation of the interface NarrPara.
NarrSectImpl	An implementation of the interface NarrSect.
NegExprImpl	An implementation of the interface NegExpr.
NegPredImpl	An implementation of the interface NegPred.
NewOldPairImpl	An implementation of the interface NewOldPair.
NextStrokeImpl	An implementation of the interface NextStroke.
NumeralImpl	An implementation of the interface Numeral.
NumExprImpl	An implementation of the interface NumExpr.
NumStrokeImpl	An implementation of the interface NumStroke.
OperandImpl	An implementation of the interface Operand.
OperatorImpl	An implementation of the interface Operator.
OperImpl	An implementation of the interface Oper.
OptempParaImpl	An implementation of the interface OptempPara.
OrExprImpl	An implementation of the interface OrExpr.
OrPredImpl	An implementation of the interface OrPred.
OutStrokeImpl	An implementation of the interface OutStroke.
ParaImpl	An implementation of the interface Para.
ParaListImpl	An implementation of the interface ParaList.
ParenAnnImpl	An implementation of the interface ParenAnn.
ParentImpl	An implementation of the interface Parent.
PipeExprImpl	An implementation of the interface PipeExpr.
PowerExprImpl	An implementation of the interface PowerExpr.
PowerTypeImpl	An implementation of the interface PowerType.
Pred2Impl	An implementation of the interface Pred2.
PredImpl	An implementation of the interface Pred.
PreExprImpl	An implementation of the interface PreExpr.
ProdExprImpl	An implementation of the interface ProdExpr.
ProdTypeImpl	An implementation of the interface ProdType.
ProjExprImpl	An implementation of the interface ProjExpr.
Qnt1ExprImpl	An implementation of the interface Qnt1Expr.
QntExprImpl	An implementation of the interface QntExpr.
QntPredImpl	An implementation of the interface QntPred.
RefExprImpl	An implementation of the interface RefExpr.
RenameExprImpl	An implementation of the interface RenameExpr.
RenameListImpl	An implementation of the interface RenameList.
SchemaTypeImpl	An implementation of the interface SchemaType.
SchExpr2Impl	An implementation of the interface SchExpr2.
SchExprImpl	An implementation of the interface SchExpr.
SchTextImpl	An implementation of the interface SchText.
SectImpl	An implementation of the interface Sect.
SectTypeEnvAnnImpl	An implementation of the interface SectTypeEnvAnn.
SetCompExprImpl	An implementation of the interface SetCompExpr.
SetExprImpl	An implementation of the interface SetExpr.
SignatureAnnImpl	An implementation of the interface SignatureAnn.
SignatureImpl	An implementation of the interface Signature.
SpecImpl	An implementation of the interface Spec.
StrokeImpl	An implementation of the interface Stroke.
StrokeListImpl	An implementation of the interface StrokeList.
ThetaExprImpl	An implementation of the interface ThetaExpr.
TruePredImpl	An implementation of the interface TruePred.
TupleExprImpl	An implementation of the interface TupleExpr.
TupleSelExprImpl	An implementation of the interface TupleSelExpr.
Type2Impl	An implementation of the interface Type2.
TypeAnnImpl	An implementation of the interface TypeAnn.
TypeImpl	An implementation of the interface Type.
UnparsedParaImpl	An implementation of the interface UnparsedPara.
UnparsedZSectImpl	An implementation of the interface UnparsedZSect.
VarDeclImpl	An implementation of the interface VarDecl.
ZBranchListImpl	An implementation of the interface ZBranchList.
ZDeclListImpl	An implementation of the interface ZDeclList.
ZExprListImpl	An implementation of the interface ZExprList.
ZFactoryImpl	An implementation of the object factory for constructing concrete Z terms.
ZFreetypeListImpl	An implementation of the interface ZFreetypeList.
ZNameImpl	An implementation of the interface ZName.
ZNameListImpl	An implementation of the interface ZNameList.
ZNumeralImpl	An implementation of the interface ZNumeral.
ZParaListImpl	An implementation of the interface ZParaList.
ZRenameListImpl	An implementation of the interface ZRenameList.
ZSchTextImpl	An implementation of the interface ZSchText.
ZSectImpl	An implementation of the interface ZSect.
ZStrokeListImpl	An implementation of the interface ZStrokeList.

Package net.sourceforge.czt.z.impl Description

Implementation classes of the AST for Standard Z.

This package provides implementations of the interfaces in net.sourceforge.czt.z.ast. As an application programmer, you should ONLY use the object factory provided in this package explicitly. Use the interfaces in net.sourceforge.czt.z.ast and the ZFactoryImpl when using the AST for Standard Z.