| Interface | 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).
|
| 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.
|
| Enum | Description |
|---|---|
| And |
A(n) And enumeration.
|
| Assoc |
A(n) Assoc enumeration.
|
| Box |
A(n) Box enumeration.
|
| Cat |
A(n) Cat enumeration.
|
| DirectiveType |
A(n) DirectiveType enumeration.
|
Interfaces of the AST for Standard Z.
See net.sourceforge.czt.base.ast for an overview over the AST for Z.
These interfaces represent the AST for Standard Z proposed in [ZML]. The letters and numbers in brackets given within the interface description refer to the corresponding chapters in [ZST] where those Z constructs are discussed in more detail.
[ZML] Mark Utting, Ian Toyn, Jing Sun, Andrew Martin, Jin Song Dong, Nicholas Daley, and David Currie. ZML: XML Support for Standard Z. In: The 3rd International Conference of B and Z Users (ZB 2003), 4-6 June 2003, Turku, Finland.
[ZST] ISO/IEC 13568:2002. Information Technology---Z Formal Specification Notation---Syntax, Type System and Semantics
Copyright © 2003–2016 Community Z Tools Project. All rights reserved.