Uses of Package
net.sourceforge.czt.z.ast

Packages that use net.sourceforge.czt.z.ast

Package	Description
net.sourceforge.czt.z.ast	Interfaces of the AST for Standard Z.
net.sourceforge.czt.z.impl	Implementation classes of the AST for Standard Z.
net.sourceforge.czt.z.jaxb	Provides classes enabling validation as well as reading and writing XML using Jaxb generated classes.
net.sourceforge.czt.z.util	Utilities for the AST for Standard Z.
net.sourceforge.czt.z.util.collector
net.sourceforge.czt.z.visitor	Visitors for the AST for Standard Z.

Classes in net.sourceforge.czt.z.ast used by net.sourceforge.czt.z.ast

Class and Description
And A(n) And enumeration.
AndExpr A schema conjunction expression (C.6.11).
AndPred A conjunction (C.5.5, C.5.6, C.5.10).
Ann This empty class is the base class for all 'official' annotations -- those defined for standard Z and the various extensions of standard Z.
ApplExpr A function application (C.6.21, C.6.22).
Assoc A(n) Assoc enumeration.
AxPara A (generic) axiomatic paragraph, (generic) schema definition, or (generic) horizontal definition C.4.3 (Axiomatic description) and C.4.5 (Generic description).
BindExpr A binding extension expression (C.6.35).
BindSelExpr A binding selection expression (C.6.25).
Box A(n) Box enumeration.
Branch A branch of a free type (C.4.10).
BranchList An abstract branch list.
Cat A(n) Cat enumeration.
CompExpr A schema composition expression (C.6.14).
CondExpr A conditional expression (C.6.13).
ConjPara A (generic) conjecture paragraph (C.4.11, C.4.12).
ConstDecl A constant declaration (C.7).
Decl An abstract declaration.
DeclList An abstract declaration list (12.2.7.2).
DecorExpr A schema decoration expression (C.6.23).
Directive A latex markup directive.
DirectiveType A(n) DirectiveType enumeration.
Exists1Expr A schema unique existential quantification (C.6.4).
Exists1Pred An unique existential quantification (C.5.4).
ExistsExpr A schema existential quantification (C.6.3).
ExistsPred An existential quantification (C.5.3).
Expr An abstract expression (C.6).
Expr0N An abstract expression containing 0..N expressions.
Expr1 An abstract unary expression.
Expr2 An abstract binary expression.
Expr2N An abstract expression containing 2..N expressions.
ExprList An abstract expression list.
ExprPred A schema predicate.
Fact An abstract superclass for constant true/false facts.
FalsePred Falsity (C.5.15).
ForallExpr A schema univeral quantification expression (C.6.2).
ForallPred An universal quantification (C.5.2).
FreePara A free types paragraph (C.4.10).
Freetype A free type (C.4.10).
FreetypeList An abstract freetype list.
GenericType A generic type.
GenParamType A generic parameter type.
GivenPara A given types paragraph (C.4.2).
GivenType A given type.
HideExpr A schema hiding expression (C.6.16).
IffExpr A schema equivalence expression (C.6.8).
IffPred An equivalence (C.5.7).
ImpliesExpr A schema implication expression (C.6.9).
ImpliesPred An implication (C.5.8).
InclDecl An include declaration (C.7).
InStroke The stroke "?".
LambdaExpr A function construction expression (C.6.5).
LatexMarkupPara A latex markup paragraph.
LetExpr A substitution expression (C.6.7).
LocAnn Location annotations define the source-code location of a construct.
MemPred A relation operator application (C.5.12).
MuExpr A (characteristic) definite description expression (C.6.6, C.6.37).
Name An abstract name.
NameList An abstract name list.
NameSectTypeTriple A tuple consisting of a name, a section, and a type.
NameTypePair A pair of a name and a type.
NarrPara A narrative paragraph.
NarrSect Narrative before or after sections.
NegExpr A schema negation expression (C.6.12).
NegPred A negation (C.5.11).
NewOldPair A pair of two names.
NextStroke The stroke "'".
Numeral An abstract numeral.
NumExpr A number literal expression (C.6.30).
NumStroke A digit stroke.
Oper Abstract parent of Operator/Operand.
Operand An Operator Argument, used within an Operator Template.
Operator An Operator Token, used within an Operator Template.
OptempPara An operator template paragraph (C.4.13).
OrExpr A schema disjunction expression (C.6.10).
OrPred A disjunction (C.5.9).
OutStroke The stroke "!".
Para An abstract paragraph (C.4).
ParaList An abstract paragraph list.
ParenAnn This means unnecessary parentheses surrounded the annotated element.
Parent The parents of a section.
PipeExpr A schema piping expression (C.6.15).
PowerExpr A powerset expression (C.6.20).
PowerType A powerset type.
Pred An abstract predicate (C.5).
Pred2 An abstract binary predicate.
PreExpr A schema precondition expression (C.6.18).
ProdExpr A Cartesian product expression (C.6.19).
ProdType A Cartesian product type.
ProjExpr A schema projection expression (C.6.17).
Qnt1Expr An abstract quantifier-like expression with compulsory expression.
QntExpr An abstract quantifier-like expression.
QntPred An abstract quantifier like predicate.
RefExpr A reference expression (C.6.21, C.6.28, C.6.29).
RenameExpr A schema renaming expression (C.6.24).
RenameList An abstract rename list.
SchemaType A schema type.
SchExpr A schema construction expression (C.6.34).
SchExpr2 An abstract binary schema expression.
SchText An abstract schema text (C.7).
Sect An abstract section.
SectTypeEnvAnn A section-type environment (4.4 Table 22).
SetCompExpr A (characteristic) set comprehension expression (C.6.32, C.6.33).
SetExpr A set extension expression (C.6.31).
Signature A signature (3.14).
SignatureAnn A signature annotation.
Spec A specification (C.2).
Stroke An abstract stroke.
StrokeList An abstract stroke list.
ThetaExpr A binding construction expression (C.6.27).
TruePred Truth (C.5.14).
TupleExpr A tuple extension expression (C.6.36).
TupleSelExpr A tuple selection expression (C.6.26).
Type An abstract base type.
Type2 An abstract type which can occur in other types.
TypeAnn A type annotation.
UnparsedPara A completely unparsed paragraph.
UnparsedZSect A completely unparsed section.
VarDecl A variable declaration (C.7).
ZBranchList A branch list.
ZDeclList A declaration list (12.2.7.2).
ZExprList An expression list (12.2.12).
ZFreetypeList A freetype list.
ZName A Z name.
ZNameList A name list.
ZNumeral A Z numeral.
ZParaList A paragraph list.
ZRenameList A rename list.
ZSchText A schema text (C.7).
ZSect A concrete section (C.3).
ZStrokeList A stroke list.

Classes in net.sourceforge.czt.z.ast used by net.sourceforge.czt.z.impl

Class and Description
And A(n) And enumeration.
AndExpr A schema conjunction expression (C.6.11).
AndPred A conjunction (C.5.5, C.5.6, C.5.10).
Ann This empty class is the base class for all 'official' annotations -- those defined for standard Z and the various extensions of standard Z.
ApplExpr A function application (C.6.21, C.6.22).
Assoc A(n) Assoc enumeration.
AxPara A (generic) axiomatic paragraph, (generic) schema definition, or (generic) horizontal definition C.4.3 (Axiomatic description) and C.4.5 (Generic description).
BindExpr A binding extension expression (C.6.35).
BindSelExpr A binding selection expression (C.6.25).
Box A(n) Box enumeration.
Branch A branch of a free type (C.4.10).
BranchList An abstract branch list.
Cat A(n) Cat enumeration.
CompExpr A schema composition expression (C.6.14).
CondExpr A conditional expression (C.6.13).
ConjPara A (generic) conjecture paragraph (C.4.11, C.4.12).
ConstDecl A constant declaration (C.7).
Decl An abstract declaration.
DeclList An abstract declaration list (12.2.7.2).
DecorExpr A schema decoration expression (C.6.23).
Directive A latex markup directive.
DirectiveType A(n) DirectiveType enumeration.
Exists1Expr A schema unique existential quantification (C.6.4).
Exists1Pred An unique existential quantification (C.5.4).
ExistsExpr A schema existential quantification (C.6.3).
ExistsPred An existential quantification (C.5.3).
Expr An abstract expression (C.6).
Expr0N An abstract expression containing 0..N expressions.
Expr1 An abstract unary expression.
Expr2 An abstract binary expression.
Expr2N An abstract expression containing 2..N expressions.
ExprList An abstract expression list.
ExprPred A schema predicate.
Fact An abstract superclass for constant true/false facts.
FalsePred Falsity (C.5.15).
ForallExpr A schema univeral quantification expression (C.6.2).
ForallPred An universal quantification (C.5.2).
FreePara A free types paragraph (C.4.10).
Freetype A free type (C.4.10).
FreetypeList An abstract freetype list.
GenericType A generic type.
GenParamType A generic parameter type.
GivenPara A given types paragraph (C.4.2).
GivenType A given type.
HideExpr A schema hiding expression (C.6.16).
IffExpr A schema equivalence expression (C.6.8).
IffPred An equivalence (C.5.7).
ImpliesExpr A schema implication expression (C.6.9).
ImpliesPred An implication (C.5.8).
InclDecl An include declaration (C.7).
InStroke The stroke "?".
LambdaExpr A function construction expression (C.6.5).
LatexMarkupPara A latex markup paragraph.
LetExpr A substitution expression (C.6.7).
LocAnn Location annotations define the source-code location of a construct.
MemPred A relation operator application (C.5.12).
MuExpr A (characteristic) definite description expression (C.6.6, C.6.37).
Name An abstract name.
NameList An abstract name list.
NameSectTypeTriple A tuple consisting of a name, a section, and a type.
NameTypePair A pair of a name and a type.
NarrPara A narrative paragraph.
NarrSect Narrative before or after sections.
NegExpr A schema negation expression (C.6.12).
NegPred A negation (C.5.11).
NewOldPair A pair of two names.
NextStroke The stroke "'".
Numeral An abstract numeral.
NumExpr A number literal expression (C.6.30).
NumStroke A digit stroke.
Oper Abstract parent of Operator/Operand.
Operand An Operator Argument, used within an Operator Template.
Operator An Operator Token, used within an Operator Template.
OptempPara An operator template paragraph (C.4.13).
OrExpr A schema disjunction expression (C.6.10).
OrPred A disjunction (C.5.9).
OutStroke The stroke "!".
Para An abstract paragraph (C.4).
ParaList An abstract paragraph list.
ParenAnn This means unnecessary parentheses surrounded the annotated element.
Parent The parents of a section.
PipeExpr A schema piping expression (C.6.15).
PowerExpr A powerset expression (C.6.20).
PowerType A powerset type.
Pred An abstract predicate (C.5).
Pred2 An abstract binary predicate.
PreExpr A schema precondition expression (C.6.18).
ProdExpr A Cartesian product expression (C.6.19).
ProdType A Cartesian product type.
ProjExpr A schema projection expression (C.6.17).
Qnt1Expr An abstract quantifier-like expression with compulsory expression.
QntExpr An abstract quantifier-like expression.
QntPred An abstract quantifier like predicate.
RefExpr A reference expression (C.6.21, C.6.28, C.6.29).
RenameExpr A schema renaming expression (C.6.24).
RenameList An abstract rename list.
SchemaType A schema type.
SchExpr A schema construction expression (C.6.34).
SchExpr2 An abstract binary schema expression.
SchText An abstract schema text (C.7).
Sect An abstract section.
SectTypeEnvAnn A section-type environment (4.4 Table 22).
SetCompExpr A (characteristic) set comprehension expression (C.6.32, C.6.33).
SetExpr A set extension expression (C.6.31).
Signature A signature (3.14).
SignatureAnn A signature annotation.
Spec A specification (C.2).
Stroke An abstract stroke.
StrokeList An abstract stroke list.
ThetaExpr A binding construction expression (C.6.27).
TruePred Truth (C.5.14).
TupleExpr A tuple extension expression (C.6.36).
TupleSelExpr A tuple selection expression (C.6.26).
Type An abstract base type.
Type2 An abstract type which can occur in other types.
TypeAnn A type annotation.
UnparsedPara A completely unparsed paragraph.
UnparsedZSect A completely unparsed section.
VarDecl A variable declaration (C.7).
ZBranchList A branch list.
ZDeclList A declaration list (12.2.7.2).
ZExprList An expression list (12.2.12).
ZFactory The object factory for the AST.
ZFreetypeList A freetype list.
ZName A Z name.
ZNameList A name list.
ZNumeral A Z numeral.
ZParaList A paragraph list.
ZRenameList A rename list.
ZSchText A schema text (C.7).
ZSect A concrete section (C.3).
ZStrokeList A stroke list.

Classes in net.sourceforge.czt.z.ast used by net.sourceforge.czt.z.jaxb

Class and Description
AndExpr A schema conjunction expression (C.6.11).
AndPred A conjunction (C.5.5, C.5.6, C.5.10).
ApplExpr A function application (C.6.21, C.6.22).
AxPara A (generic) axiomatic paragraph, (generic) schema definition, or (generic) horizontal definition C.4.3 (Axiomatic description) and C.4.5 (Generic description).
BindExpr A binding extension expression (C.6.35).
BindSelExpr A binding selection expression (C.6.25).
Branch A branch of a free type (C.4.10).
CompExpr A schema composition expression (C.6.14).
CondExpr A conditional expression (C.6.13).
ConjPara A (generic) conjecture paragraph (C.4.11, C.4.12).
ConstDecl A constant declaration (C.7).
DecorExpr A schema decoration expression (C.6.23).
Directive A latex markup directive.
Exists1Expr A schema unique existential quantification (C.6.4).
Exists1Pred An unique existential quantification (C.5.4).
ExistsExpr A schema existential quantification (C.6.3).
ExistsPred An existential quantification (C.5.3).
ExprPred A schema predicate.
FalsePred Falsity (C.5.15).
ForallExpr A schema univeral quantification expression (C.6.2).
ForallPred An universal quantification (C.5.2).
FreePara A free types paragraph (C.4.10).
Freetype A free type (C.4.10).
GenericType A generic type.
GenParamType A generic parameter type.
GivenPara A given types paragraph (C.4.2).
GivenType A given type.
HideExpr A schema hiding expression (C.6.16).
IffExpr A schema equivalence expression (C.6.8).
IffPred An equivalence (C.5.7).
ImpliesExpr A schema implication expression (C.6.9).
ImpliesPred An implication (C.5.8).
InclDecl An include declaration (C.7).
InStroke The stroke "?".
LambdaExpr A function construction expression (C.6.5).
LatexMarkupPara A latex markup paragraph.
LetExpr A substitution expression (C.6.7).
LocAnn Location annotations define the source-code location of a construct.
MemPred A relation operator application (C.5.12).
MuExpr A (characteristic) definite description expression (C.6.6, C.6.37).
NameSectTypeTriple A tuple consisting of a name, a section, and a type.
NameTypePair A pair of a name and a type.
NarrPara A narrative paragraph.
NarrSect Narrative before or after sections.
NegExpr A schema negation expression (C.6.12).
NegPred A negation (C.5.11).
NewOldPair A pair of two names.
NextStroke The stroke "'".
NumExpr A number literal expression (C.6.30).
NumStroke A digit stroke.
Operand An Operator Argument, used within an Operator Template.
Operator An Operator Token, used within an Operator Template.
OptempPara An operator template paragraph (C.4.13).
OrExpr A schema disjunction expression (C.6.10).
OrPred A disjunction (C.5.9).
OutStroke The stroke "!".
ParenAnn This means unnecessary parentheses surrounded the annotated element.
Parent The parents of a section.
PipeExpr A schema piping expression (C.6.15).
PowerExpr A powerset expression (C.6.20).
PowerType A powerset type.
PreExpr A schema precondition expression (C.6.18).
ProdExpr A Cartesian product expression (C.6.19).
ProdType A Cartesian product type.
ProjExpr A schema projection expression (C.6.17).
RefExpr A reference expression (C.6.21, C.6.28, C.6.29).
RenameExpr A schema renaming expression (C.6.24).
SchemaType A schema type.
SchExpr A schema construction expression (C.6.34).
SectTypeEnvAnn A section-type environment (4.4 Table 22).
SetCompExpr A (characteristic) set comprehension expression (C.6.32, C.6.33).
SetExpr A set extension expression (C.6.31).
Signature A signature (3.14).
SignatureAnn A signature annotation.
Spec A specification (C.2).
ThetaExpr A binding construction expression (C.6.27).
TruePred Truth (C.5.14).
TupleExpr A tuple extension expression (C.6.36).
TupleSelExpr A tuple selection expression (C.6.26).
TypeAnn A type annotation.
UnparsedPara A completely unparsed paragraph.
UnparsedZSect A completely unparsed section.
VarDecl A variable declaration (C.7).
ZBranchList A branch list.
ZDeclList A declaration list (12.2.7.2).
ZExprList An expression list (12.2.12).
ZFactory The object factory for the AST.
ZFreetypeList A freetype list.
ZName A Z name.
ZNameList A name list.
ZNumeral A Z numeral.
ZParaList A paragraph list.
ZRenameList A rename list.
ZSchText A schema text (C.7).
ZSect A concrete section (C.3).
ZStrokeList A stroke list.

Classes in net.sourceforge.czt.z.ast used by net.sourceforge.czt.z.util

Class and Description
And A(n) And enumeration.
AndExpr A schema conjunction expression (C.6.11).
AndPred A conjunction (C.5.5, C.5.6, C.5.10).
ApplExpr A function application (C.6.21, C.6.22).
Assoc A(n) Assoc enumeration.
AxPara A (generic) axiomatic paragraph, (generic) schema definition, or (generic) horizontal definition C.4.3 (Axiomatic description) and C.4.5 (Generic description).
BindExpr A binding extension expression (C.6.35).
BindSelExpr A binding selection expression (C.6.25).
Box A(n) Box enumeration.
Branch A branch of a free type (C.4.10).
BranchList An abstract branch list.
Cat A(n) Cat enumeration.
CompExpr A schema composition expression (C.6.14).
CondExpr A conditional expression (C.6.13).
ConjPara A (generic) conjecture paragraph (C.4.11, C.4.12).
ConstDecl A constant declaration (C.7).
Decl An abstract declaration.
DeclList An abstract declaration list (12.2.7.2).
DecorExpr A schema decoration expression (C.6.23).
Directive A latex markup directive.
DirectiveType A(n) DirectiveType enumeration.
Exists1Expr A schema unique existential quantification (C.6.4).
Exists1Pred An unique existential quantification (C.5.4).
ExistsExpr A schema existential quantification (C.6.3).
ExistsPred An existential quantification (C.5.3).
Expr An abstract expression (C.6).
ExprList An abstract expression list.
ExprPred A schema predicate.
FalsePred Falsity (C.5.15).
ForallExpr A schema univeral quantification expression (C.6.2).
ForallPred An universal quantification (C.5.2).
FreePara A free types paragraph (C.4.10).
Freetype A free type (C.4.10).
FreetypeList An abstract freetype list.
GenericType A generic type.
GenParamType A generic parameter type.
GivenPara A given types paragraph (C.4.2).
GivenType A given type.
HideExpr A schema hiding expression (C.6.16).
IffExpr A schema equivalence expression (C.6.8).
IffPred An equivalence (C.5.7).
ImpliesExpr A schema implication expression (C.6.9).
ImpliesPred An implication (C.5.8).
InclDecl An include declaration (C.7).
InStroke The stroke "?".
LambdaExpr A function construction expression (C.6.5).
LatexMarkupPara A latex markup paragraph.
LetExpr A substitution expression (C.6.7).
LocAnn Location annotations define the source-code location of a construct.
MemPred A relation operator application (C.5.12).
MuExpr A (characteristic) definite description expression (C.6.6, C.6.37).
Name An abstract name.
NameList An abstract name list.
NameSectTypeTriple A tuple consisting of a name, a section, and a type.
NameTypePair A pair of a name and a type.
NarrPara A narrative paragraph.
NarrSect Narrative before or after sections.
NegExpr A schema negation expression (C.6.12).
NegPred A negation (C.5.11).
NewOldPair A pair of two names.
NextStroke The stroke "'".
Numeral An abstract numeral.
NumExpr A number literal expression (C.6.30).
NumStroke A digit stroke.
Oper Abstract parent of Operator/Operand.
Operand An Operator Argument, used within an Operator Template.
Operator An Operator Token, used within an Operator Template.
OptempPara An operator template paragraph (C.4.13).
OrExpr A schema disjunction expression (C.6.10).
OrPred A disjunction (C.5.9).
OutStroke The stroke "!".
Para An abstract paragraph (C.4).
ParaList An abstract paragraph list.
ParenAnn This means unnecessary parentheses surrounded the annotated element.
Parent The parents of a section.
PipeExpr A schema piping expression (C.6.15).
PowerExpr A powerset expression (C.6.20).
PowerType A powerset type.
Pred An abstract predicate (C.5).
PreExpr A schema precondition expression (C.6.18).
ProdExpr A Cartesian product expression (C.6.19).
ProdType A Cartesian product type.
ProjExpr A schema projection expression (C.6.17).
RefExpr A reference expression (C.6.21, C.6.28, C.6.29).
RenameExpr A schema renaming expression (C.6.24).
RenameList An abstract rename list.
SchemaType A schema type.
SchExpr A schema construction expression (C.6.34).
SchText An abstract schema text (C.7).
Sect An abstract section.
SectTypeEnvAnn A section-type environment (4.4 Table 22).
SetCompExpr A (characteristic) set comprehension expression (C.6.32, C.6.33).
SetExpr A set extension expression (C.6.31).
Signature A signature (3.14).
SignatureAnn A signature annotation.
Spec A specification (C.2).
Stroke An abstract stroke.
StrokeList An abstract stroke list.
ThetaExpr A binding construction expression (C.6.27).
TruePred Truth (C.5.14).
TupleExpr A tuple extension expression (C.6.36).
TupleSelExpr A tuple selection expression (C.6.26).
Type An abstract base type.
Type2 An abstract type which can occur in other types.
TypeAnn A type annotation.
UnparsedPara A completely unparsed paragraph.
UnparsedZSect A completely unparsed section.
VarDecl A variable declaration (C.7).
ZBranchList A branch list.
ZDeclList A declaration list (12.2.7.2).
ZExprList An expression list (12.2.12).
ZFactory The object factory for the AST.
ZFreetypeList A freetype list.
ZName A Z name.
ZNameList A name list.
ZNumeral A Z numeral.
ZParaList A paragraph list.
ZRenameList A rename list.
ZSchText A schema text (C.7).
ZSect A concrete section (C.3).
ZStrokeList A stroke list.

Classes in net.sourceforge.czt.z.ast used by net.sourceforge.czt.z.util.collector

Class and Description
AxPara A (generic) axiomatic paragraph, (generic) schema definition, or (generic) horizontal definition C.4.3 (Axiomatic description) and C.4.5 (Generic description).
Branch A branch of a free type (C.4.10).
ConjPara A (generic) conjecture paragraph (C.4.11, C.4.12).
ConstDecl A constant declaration (C.7).
Expr An abstract expression (C.6).
FreePara A free types paragraph (C.4.10).
GivenPara A given types paragraph (C.4.2).
InclDecl An include declaration (C.7).
LatexMarkupPara A latex markup paragraph.
NarrPara A narrative paragraph.
OptempPara An operator template paragraph (C.4.13).
QntExpr An abstract quantifier-like expression.
SchExpr A schema construction expression (C.6.34).
UnparsedPara A completely unparsed paragraph.
VarDecl A variable declaration (C.7).
ZDeclList A declaration list (12.2.7.2).
ZName A Z name.
ZNameList A name list.
ZSchText A schema text (C.7).
ZSect A concrete section (C.3).

Classes in net.sourceforge.czt.z.ast used by net.sourceforge.czt.z.visitor

Class and Description
AndExpr A schema conjunction expression (C.6.11).
AndPred A conjunction (C.5.5, C.5.6, C.5.10).
Ann This empty class is the base class for all 'official' annotations -- those defined for standard Z and the various extensions of standard Z.
ApplExpr A function application (C.6.21, C.6.22).
AxPara A (generic) axiomatic paragraph, (generic) schema definition, or (generic) horizontal definition C.4.3 (Axiomatic description) and C.4.5 (Generic description).
BindExpr A binding extension expression (C.6.35).
BindSelExpr A binding selection expression (C.6.25).
Branch A branch of a free type (C.4.10).
BranchList An abstract branch list.
CompExpr A schema composition expression (C.6.14).
CondExpr A conditional expression (C.6.13).
ConjPara A (generic) conjecture paragraph (C.4.11, C.4.12).
ConstDecl A constant declaration (C.7).
Decl An abstract declaration.
DeclList An abstract declaration list (12.2.7.2).
DecorExpr A schema decoration expression (C.6.23).
Directive A latex markup directive.
Exists1Expr A schema unique existential quantification (C.6.4).
Exists1Pred An unique existential quantification (C.5.4).
ExistsExpr A schema existential quantification (C.6.3).
ExistsPred An existential quantification (C.5.3).
Expr An abstract expression (C.6).
Expr0N An abstract expression containing 0..N expressions.
Expr1 An abstract unary expression.
Expr2 An abstract binary expression.
Expr2N An abstract expression containing 2..N expressions.
ExprList An abstract expression list.
ExprPred A schema predicate.
Fact An abstract superclass for constant true/false facts.
FalsePred Falsity (C.5.15).
ForallExpr A schema univeral quantification expression (C.6.2).
ForallPred An universal quantification (C.5.2).
FreePara A free types paragraph (C.4.10).
Freetype A free type (C.4.10).
FreetypeList An abstract freetype list.
GenericType A generic type.
GenParamType A generic parameter type.
GivenPara A given types paragraph (C.4.2).
GivenType A given type.
HideExpr A schema hiding expression (C.6.16).
IffExpr A schema equivalence expression (C.6.8).
IffPred An equivalence (C.5.7).
ImpliesExpr A schema implication expression (C.6.9).
ImpliesPred An implication (C.5.8).
InclDecl An include declaration (C.7).
InStroke The stroke "?".
LambdaExpr A function construction expression (C.6.5).
LatexMarkupPara A latex markup paragraph.
LetExpr A substitution expression (C.6.7).
LocAnn Location annotations define the source-code location of a construct.
MemPred A relation operator application (C.5.12).
MuExpr A (characteristic) definite description expression (C.6.6, C.6.37).
Name An abstract name.
NameList An abstract name list.
NameSectTypeTriple A tuple consisting of a name, a section, and a type.
NameTypePair A pair of a name and a type.
NarrPara A narrative paragraph.
NarrSect Narrative before or after sections.
NegExpr A schema negation expression (C.6.12).
NegPred A negation (C.5.11).
NewOldPair A pair of two names.
NextStroke The stroke "'".
Numeral An abstract numeral.
NumExpr A number literal expression (C.6.30).
NumStroke A digit stroke.
Oper Abstract parent of Operator/Operand.
Operand An Operator Argument, used within an Operator Template.
Operator An Operator Token, used within an Operator Template.
OptempPara An operator template paragraph (C.4.13).
OrExpr A schema disjunction expression (C.6.10).
OrPred A disjunction (C.5.9).
OutStroke The stroke "!".
Para An abstract paragraph (C.4).
ParaList An abstract paragraph list.
ParenAnn This means unnecessary parentheses surrounded the annotated element.
Parent The parents of a section.
PipeExpr A schema piping expression (C.6.15).
PowerExpr A powerset expression (C.6.20).
PowerType A powerset type.
Pred An abstract predicate (C.5).
Pred2 An abstract binary predicate.
PreExpr A schema precondition expression (C.6.18).
ProdExpr A Cartesian product expression (C.6.19).
ProdType A Cartesian product type.
ProjExpr A schema projection expression (C.6.17).
Qnt1Expr An abstract quantifier-like expression with compulsory expression.
QntExpr An abstract quantifier-like expression.
QntPred An abstract quantifier like predicate.
RefExpr A reference expression (C.6.21, C.6.28, C.6.29).
RenameExpr A schema renaming expression (C.6.24).
RenameList An abstract rename list.
SchemaType A schema type.
SchExpr A schema construction expression (C.6.34).
SchExpr2 An abstract binary schema expression.
SchText An abstract schema text (C.7).
Sect An abstract section.
SectTypeEnvAnn A section-type environment (4.4 Table 22).
SetCompExpr A (characteristic) set comprehension expression (C.6.32, C.6.33).
SetExpr A set extension expression (C.6.31).
Signature A signature (3.14).
SignatureAnn A signature annotation.
Spec A specification (C.2).
Stroke An abstract stroke.
StrokeList An abstract stroke list.
ThetaExpr A binding construction expression (C.6.27).
TruePred Truth (C.5.14).
TupleExpr A tuple extension expression (C.6.36).
TupleSelExpr A tuple selection expression (C.6.26).
Type An abstract base type.
Type2 An abstract type which can occur in other types.
TypeAnn A type annotation.
UnparsedPara A completely unparsed paragraph.
UnparsedZSect A completely unparsed section.
VarDecl A variable declaration (C.7).
ZBranchList A branch list.
ZDeclList A declaration list (12.2.7.2).
ZExprList An expression list (12.2.12).
ZFreetypeList A freetype list.
ZName A Z name.
ZNameList A name list.
ZNumeral A Z numeral.
ZParaList A paragraph list.
ZRenameList A rename list.
ZSchText A schema text (C.7).
ZSect A concrete section (C.3).
ZStrokeList A stroke list.