ABS | LENGTH | EXISTS | SUBSET | READ | READNEW | WRITE | WRITEF |

  ( COUNT | VALUE | SEEK ) bindingDifferentiator1?

localAliases := privateAliases ;

#3.2 More Import/Re-Export Libraries \

#31 Private Import   syntax diagram

privateImport :=

  IMPORT importLib ( ',' moreImportLibs | ALIAS privateAliases )?

#31.1 Import Library   syntax diagram

importLib := Ident ; @]

#31.2 More Import Libraries   syntax diagram

moreImportLibs := identList ;

#31.3 Private Aliases   syntax diagram

privateAliases := identList | '*' ;

#32 Block   syntax diagram

block :=
  declaration* ( BEGIN statementSequence )? END
  ;

#33 Declaration   syntax diagram

declaration :=
  CONST ( Ident '=' constExpression ';' )+ |
  TYPE ( typeDeclaration ';' )+ |
  VAR ( variableDeclaration ';' )+ |
  ALIAS localAliases FOR origin ';'
  procedureHeader ';' block Ident ';'
  ;

#33.1 Local Aliases   syntax diagram

localAliases := identList | '*' ;

#33.2 Origin   syntax diagram

[@ origin := ( Ident '.' )+ '*' ;

  ( import ';' )* definition*

#3 Import   syntax diagram

import :=

  IMPORT impexLib ( ',' moreImpexLibs | ALIAS unqualifiedAliases )? |
  libGenDirective

#3.1 Import/Re-Export Library   syntax diagram

impexLib :=

  Ident reExport?

#3.2 M Ore? Import/Re-Export Libraries   syntax diagram

moreImpexLibs :=

  impexLib ( ',' impexLib )*
  ;

#3.3 Re-Export Tag   syntax diagram

reExport := '+' ;

#3.4 Unqualified Aliases   syntax diagram

unqualifiedAliases := identList ;

#4 Library Generation Directive   syntax diagram

libGenDirective :=

  GENLIB libIdent FROM template FOR templateParamList END
  ;

#4.1 Library Identifier, Template, Placeholder   syntax diagram

libIdent := Ident ;

template := Ident ;

placeholder := Ident ;

#4.2 Replacement   syntax diagram

replacement :=

  Number Literal? | String Literal? | Chevron Text?

#5 Identifier List   syntax diagram

identList :=

    Ident ( ',' Ident )*
    ;

#6 Definition   syntax diagram

definition :=

  CONST ( constDefinition ';' )+ |
  TYPE ( typeDefinition ';' )+ |
  VAR ( identList '=' typeIdent ';' )+ |
  procedureHeader ';'
  ;

#6.1 Type Identifier   syntax diagram

typeIdent := qualident ;

#7 Constant Definition   syntax diagram

constDefinition :=

  ( '[' propertyToBindTo ']' | restrictedExport )?
  Ident '=' constExpression

#7.1 Constant Expression   syntax diagram

constExpression := expression ;

#7.2 Restricted Export   syntax diagram

restrictedExport := '*' ;

#8 Type Definition   syntax diagram

typeDefinition :=

  restrictedExport? Ident '=' ( type | OPAQUE )
  ;

#9 Qualified Identifier   syntax diagram

qualident :=

  Ident ( '.' Ident )*

#10 Type   syntax diagram

type :=

  derivedType | equivType | subrangeType | enumType | setType |
  arrayType | recordType | pointerType | coroutineType | procedureType
  ;

#10.1 Derived Type   syntax diagram

derivedType := typeIdent ;

#10.2 Equivalence Type   syntax diagram

equivType :=

  ALIAS OF typeIdent | CONST dynamicTypeIdent
  ;

#10.3 Dynamic Type Identifier   syntax diagram

dynamicTypeIdent := typeIdent ;

#11 Subrange Type   syntax diagram

subrangeType :=

  range OF ordinalOrScalarType
  ;

#11.1 Range   syntax diagram

range :=

  '[' greaterThan? constExpression '..' lessThan? constExpression ']'

#11.2 Greater Than   syntax diagram

greaterThan := '>' ;

#11.3 Less Than   syntax diagram

lessThan := '<' ;

#11.4 Ordinal Or Scalar Type   syntax diagram

ordinalOrScalarType := typeIdent ;

#12 Enumeration Type   syntax diagram

enumType :=

  '(' ( '+' enumTypeToExtend )? identList ')'
  ;

#12.1 Enumeration Type To Extend   syntax diagram

enumTypeToExtend := typeIdent ;

#12.2 Enumeration Type Identifier   syntax diagram

enumTypeIdent := typeIdent ;

#13 Set Type \

#14 Array Type \

#14.1 Value Count \

#15 Record Type \

#15.1 Field List \

#15.2 Record Type To Extend \

#16 Pointer Type \

#17 Coroutine Type \

#17.1 Associated Procedure Type \

#18 Procedure Type \

#18.1 Formal Type \

#19 Simple Formal Type \

#19.1 Casting Formal Type \

#19.2 Address Type Identifier \

#20 Attributed Formal Type \

#21 Simple Variadic Formal Type \

#21.1 Required Number Of Arguments \

#21.2 Argument List Terminator \

#21.3 Constant Qualified Identifier \

#22 Variadic Formal Type \

#23 Non-Variadic Formal Type \

#24 Procedure Header \

#25 Procedure Signature \

#26 Formal Parameters \

#27 Attributed Formal Parameters \

#28 Variadic Formal Parameters \

#29 Non-Variadic Formal Parameters \

#30 Implementation Or Program Module \

  ( privateImport ';' )* block moduleIdent '.'

  ( importList ';' )* definition*

  VAR ( identList '=' typeIdent ';' )+ |

#10 Identifier List   syntax diagram

identList :=

    Ident ( ',' Ident )*
    ;

#11 Type   syntax diagram

type :=

  derivedType | equivType | subrangeType | enumType | setType |
  arrayType | recordType | pointerType | coroutineType | procedureType
  ;

#11.1 Derived Type   syntax diagram

derivedType := typeIdent ;

#11.2 Equivalence Type   syntax diagram

equivType :=

  ALIAS OF typeIdent | CONST dynamicTypeIdent
  ;

#11.3 Dynamic Type Identifier   syntax diagram

dynamicTypeIdent := typeIdent ;

#12 Subrange Type   syntax diagram

subrangeType :=

  range OF ordinalOrScalarType

#12.1 Range   syntax diagram

range :=

  '[' greaterThan? constExpression '..' lessThan? constExpression ']'
  ;

#12.2 Greater Than   syntax diagram

greaterThan := '>' ;

#12.3 Less Than   syntax diagram

lessThan := '<' ;

#12.4 Ordinal Or Scalar Type \

#13 Enumeration Type \

#13.1 Enumeration Type To Extend \

#14 Set Type \

#15 Array Type \

#15.1 Value Count \

#16 Record Type \

#16.1 Field List \

#16.2 Record Type To Extend \

#17 Pointer Type \

#18 Coroutine Type \

#18.1 Associated Procedure Type \

#19 Procedure Type \

#19.1 Formal Type \

#20 Simple Formal Type \

#20.1 Casting Formal Type \

#20.2 Address Type Identifier \

#21 Attributed Formal Type \

#22 Simple Variadic Formal Type \

#22.1 Required Number Of Arguments \

#22.2 Argument List Terminator \

#22.3 Constant Qualified Identifier \

#23 Variadic Formal Type \

#24 Non-Variadic Formal Type \

#25 Procedure Header \

#26 Procedure Signature \

#27 Formal Parameters \

#28 Attributed Formal Parameters \

#29 Variadic Formal Parameters \

#30 Non-Variadic Formal Parameters \

#31 Implementation Or Program Module \

#32 Block \

#33 Declaration \

#34 Type Declaration \

#34.1 Indeterminate Record Type \

#34.2 Indeterminate Field \

#34.3 Discriminant Field Identifier \

@]

#35 Variable Declaration   syntax diagram

[@ variableDeclaration :=

  identList ':' ( ( ARRAY valueCount OF )? typeIdent | subrangeType )
  ;

  Number Literal? | String Literal? | structuredValue |
  designatorOrFuncCall | '(' expression ')'

  designator ( '(' expressionList? ')' )?

  Number Literal? | String Literal? | structuredValue | designatorOrFuncCall | '(' expression ')'

#54.1 Designator Or Function Call   syntax diagram

designatorOrFuncCall :=

  term ( operL2 term )* | '-' simpleFactor

  ALIAS OF typeIdent | CONST dynamicTypeIdent

  derivedType | equivType | subrangeType | enumType | setType |
  arrayType | recordType | pointerType | coroutineType | procedureType

#13.1 Derived Type   syntax diagram

derivedType := typeIdent ;

#13.2 Equivalence Type   syntax diagram

equivType :=

  ALIAS OF typeIdent |
  CONST dynamicTypeIdent
  ;

#13.3 Subrange Type   syntax diagram

subrangeType :=

  range OF ordinalOrScalarType

#13.4 Dynamic Type Identifier, Ordinal Or Scalar Type   syntax diagram

dynamicTypeIdent := typeIdent ;

ordinalOrScalarType := typeIdent ;

#14 Enumeration Type   syntax diagram

enumType :=

  '(' ( '+' enumTypeToExtend )? identList ')'

#14.1 Enumeration Type To Extend   syntax diagram

enumTypeToExtend := typeIdent ;

#15 Set Type   syntax diagram

setType :=

  SET OF enumTypeIdent
  ;

#16 Array Type   syntax diagram

arrayType :=

  ARRAY lessThan? valueCount ( ',' valueCount )* OF typeIdent

#16.1 Value Count   syntax diagram

valueCount := constExpression ;

#17 Record Type   syntax diagram

recordType :=

  RECORD ( '(' recTypeToExtend ')' )? fieldList ( ';' fieldList )* )
  ;

#17.1 Field List   syntax diagram

fieldList :

  restrictedExport? variableDeclaration ( '=' constExpression )?

#17.2 Record Type To Extend   syntax diagram

recTypeToExtend := typeIdent ;

#18 Pointer Type   syntax diagram

pointerType :=

  POINTER TO CONST? typeIdent
  ;

#19 Coroutine Type   syntax diagram

coroutineType :=

  COROUTINE '(' assocProcType ')'

#19.1 Associated Procedure Type   syntax diagram

assocProcType : typeIdent ;

#20 Procedure Type   syntax diagram

procedureType :=

  PROCEDURE ( formalType ( ',' formalType )* )? ( ':' returnedType )?

#20.1 Formal Type   syntax diagram

formalType :=

  simpleFormalType | attributedFormalType | variadicFormalType

#21 Simple Formal Type   syntax diagram

simpleFormalType :=

  ( ARRAY OF )? typeIdent | castingFormalType

#21.1 Casting Formal Type   syntax diagram

castingFormalType :=

  CAST ( ARRAY OF OCTET | addressTypeIdent )

#21.2 Address Type Identifier   syntax diagram

addressTypeIdent :=

  ( UNSAFE '.' )? ADDRESS

#22 Attributed Formal Type   syntax diagram

attributedFormalType :=

  ( CONST | NEW | VAR ) ( simpleFormalType | simpleVariadicFormalType )

#23 Simple Variadic Formal Type   syntax diagram

simpleVariadicFormalType :=

  ARGLIST reqNumOfArgs? OF simpleFormalType terminator?

#23.1 Required Number Of Arguments   syntax diagram

reqNumOfArgs :=

  greaterThan? constExpression
  ;

#23.2 Argument List Terminator   syntax diagram

terminator :=

  '|' constQualident

#23.3 Constant Qualified Identifier   syntax diagram

constQualident := qualident ;

#24 Variadic Formal Type   syntax diagram

variadicFormalType :=

  ARGLIST reqNumOfArgs? OF
    ( '{' nonVariadicFormalType ( ';' nonVariadicFormalType )* '}' |
      simpleFormalType ) terminator?

#25 Non-Variadic Formal Type   syntax diagram

nonVariadicFormalType :=

  ( CONST | NEW | VAR )? simpleFormalType

#26 Procedure Header   syntax diagram

procedureHeader :=

  PROCEDURE ( '[' ( entityToBindTo | COROUTINE ) ']' | restrictedExport )?
  procedureSignature

#27 Procedure Signature   syntax diagram

procedureSignature :=

  Ident ( '(' formalParams ( ';' formalParams )* ')' )? ( ':' returnedType )?

#28 Formal Parameters   syntax diagram

formalParams :=

  identList ':' ( simpleFormalType | variadicFormalParams ) |
  attributedFormalParams

#29 Attributed Formal Parameters   syntax diagram

attributedFormalParams :=

  ( CONST | NEW | VAR ) identList ':'
  ( simpleFormalType | simpleVariadicFormalType )

#30 Variadic Formal Parameters   syntax diagram

variadicFormalParams :=

  ARGLIST reqNumOfArgs? OF
    ( ( '{' nonVariadicFormalParams ( ';' nonVariadicFormalParams )* '}') |
      simpleFormalType ) terminator?

#31 Non-Variadic Formal Parameters   syntax diagram

nonVariadicFormalParams :=

  ( CONST | NEW | VAR )? identList ':' simpleFormalType

Implementation And Program Module Syntax

#32 Implementation Or Program Module   syntax diagram

implOrPrgmModule :=

  IMPLEMENTATION? MODULE moduleIdent ';'
  ( importList ';' )* block moduleIdent '.'

#33 Block   syntax diagram

block :=

  declaration* ( BEGIN statementSequence )? END

#34 Declaration   syntax diagram

declaration :=

  CONST ( Ident '=' constExpression ';' )+ |
  TYPE ( typeDeclaration ';' )+ |
  VAR ( variableDeclaration ';' )+ |
  procedureHeader ';' block Ident ';'

#35 Type Declaration   syntax diagram

typeDeclaration :=

  Ident '=' ( type | indeterminateRecType )

#35.1 Indeterminate Record Type   syntax diagram

indeterminateRecType :=

  '~' RECORD ( variableDeclaration ';' )+ indeterminateField END
  ;

#35.2 Indeterminate Field   syntax diagram

indeterminateRecType :=

  ' Ident ':' ARRAY ' discriminantFieldIdent OF typeIdent END

#35.3 Discriminant Field Identifier   syntax diagram

discriminantFieldIdent := Ident ;

#36 Statement Sequence   syntax diagram

statementSequence :=

  statement ( ';' statement )*

#37 Statement   syntax diagram

statement :=

  memMgtOperation | updateOrProcCall | ifStatement | caseStatement |
  loopStatement | whileStatement | repeatStatement | forStatement | EXIT
  ;

#38 Memory Management Operation   syntax diagram

memMgtOperation :=

  NEW designator ( OF initSize | := initValue )? |
  RETAIN designator |
  RELEASE designator

#38.1 Initialisation Size, Initialisation Value   syntax diagram

initSize := expression ;

initValue := expression ;

#39 Update Or Procedure Call   syntax diagram

updateOrProcCall :=

  designator ( incOrDecSuffix | ':=' expression | '(' expressionList ')' )? |
  COPY designator ':=' expression

#39.1 Increment Or Decrement Suffix   syntax diagram

incOrDecSuffix :=

   | 

#40 Return Or Yield Statement   syntax diagram

returnStatement :=

  ( RETURN | YIELD ) expression?
  ;

#41 IF Statement   syntax diagram

ifStatement :=

  IF boolExpression THEN statementSequence
  ( ELSIF boolExpression THEN statementSequence )?
  ( ELSE statementSequence )?
  END

#41.1 Boolean Expression   syntax diagram

boolExpression := expression ;

#42 CASE Statement   syntax diagram

caseStatement :=

  CASE expression OF ( '|' case  )+ ( ELSE statementSequence )? END

#42.1 Case   syntax diagram

case :=

  caseLabels ( ',' caseLabels )* ':' statementSequence

#42.2 Case Labels   syntax diagram

caseLabels :=

  constExpression ( '..' constExpression )?

#43 LOOP Statement   syntax diagram

loopStatement :=

  LOOP statementSequence END

#44 WHILE Statement   syntax diagram

whileStatement :=

  WHILE boolExpression DO statementSequence END

#45 REPEAT Statement   syntax diagram

repeatStatement :=

  REPEAT statementSequence UNTIL boolExpression

#46 FOR Statement   syntax diagram

forStatement :=

  FOR forLoopVariants IN iterableExpr DO statementSequence END
  ;

#46.1 FOR Loop Variants   syntax diagram

forLoopVariants :=

  accessor ascOrDesc? ( ',' value )? |
  VALUE value ascOrDesc?
  ;

@]

#46.2 Accessor, Value   syntax diagram

accessor := Ident ;

value := Ident ;

#46.3 Iterable Expression   syntax diagram

[@ iterableExpr :=

  designator | '[' expression '..' expression ']' OF ordinalType

#13.2 Dynamic Type Identifier, Ordinal Or Scalar Type \

subType :=

  typeIdent | subType | enumType | setType | arrayType |

#13.1 Sub-Type   syntax diagram

  CONST dynamicTypeIdent |
  range OF ordinalOrScalarType

dynamicTypeIdent := typeIdent ;

  loopStatement | whileStatement | repeatStatement | forStatement | EXIT

#40 Return Or Yield Statement   syntax diagram

returnStatement :=

  ( RETURN | YIELD ) expression?

#41 IF Statement   syntax diagram

ifStatement :=

  IF boolExpression THEN statementSequence
  ( ELSIF boolExpression THEN statementSequence )?
  ( ELSE statementSequence )?
  END
  ;

#41.1 Boolean Expression   syntax diagram

boolExpression := expression ;

#42 CASE Statement   syntax diagram

caseStatement :=

  CASE expression OF ( '|' case  )+ ( ELSE statementSequence )? END

#42.1 Case   syntax diagram

case :=

  caseLabels ( ',' caseLabels )* ':' statementSequence

#42.2 Case Labels   syntax diagram

caseLabels :=

  constExpression ( '..' constExpression )?

#43 LOOP Statement   syntax diagram

loopStatement :=

  LOOP statementSequence END

#44 WHILE Statement   syntax diagram

whileStatement :=

  WHILE boolExpression DO statementSequence END

#45 REPEAT Statement   syntax diagram

repeatStatement :=

  REPEAT statementSequence UNTIL boolExpression

#46 FOR Statement   syntax diagram

forStatement :=

  FOR forLoopVariants IN iterableEntity DO statementSequence END

#46.1 FOR Loop Variants   syntax diagram

forLoopVariants :=

  accessor ascOrDesc? ( ',' value )? |
  VALUE value ascOrDesc?
  ;

#46.2 Accessor, Value   syntax diagram

accessor := Ident ;

value := Ident ;

#46.3 Iterable Entity   syntax diagram

iterableEntity :=

  designator | range OF ordinalType
  ;

#46.4 Ascender Or Descender   syntax diagram

ascOrDesc := incOrDecSuffix ;

#46.5 Ordinal Type   syntax diagram

ordinalType := typeIdent ;

#47 Designator   syntax diagram

designator :=

  qualident designatorTail?

#47.1 Designator Tail   syntax diagram

designatorTail :=

  ( ( '[' exprListOrSlice ']' | '^' ) ( '.' Ident )* )+

#47.2 Expression List Or Slice   syntax diagram

exprListOrSlice :=

  expression ( ( ',' expression )* | '..' expression? )

#48 Expression List   syntax diagram

expressionList :=

  expression ( ',' expression )*

#49 Expression   syntax diagram

expression :=

  simpleExpression ( operL1 simpleExpression )?

#49.1 Level-1 Operator   syntax diagram

operL1 :=

  '=' | '#' | '<' | '<=' | '>' | '>=' | IN | identityOp
  ;

#49.2 Identity Operator   syntax diagram

identityOp := '==' ;

#50 Simple Expression   syntax diagram

simpleExpression :=

  ( '+' | '-' )? term ( operL2 term )*

#50.1 Level-2 Operator   syntax diagram

operL2 :=

  '+' | '-' | OR | concatOp
  ;

#49.2 Concatenation Operator   syntax diagram

concatOp := '&' ;

#51 Term   syntax diagram

term :=

  simpleTerm ( operL3 simpleTerm )*

#51.1 Level-3 Operator   syntax diagram

operL3 :=

  '*' | '/' | DIV | MOD | AND | setDiffOp
  ;

#51.2 Set Difference Operator   syntax diagram

setDiffOp := '\' ;

#52 Simple Term   syntax diagram

simpleTerm :=

  NOT? factorOrTypeConv

#53 Factor   syntax diagram

factor :=

  simpleFactor ( typeConvOp typeIdent )?
  ;

#53.1 Type Conversion Operator   syntax diagram

typeConvOp := '::' ;

#54 Simple Factor   syntax diagram

simpleFactor :=

  Number Literal? | String Literal? | structuredValue | functionCall | '(' expression ')'

#54.1 Function Call   syntax diagram

functionCall :=

  designator '(' expressionList? ')'

#54.2 Structured Value   syntax diagram

structuredValue :=

  '{' valueComponent ( ',' valueComponent )* '}'

#54.3 Value Component   syntax diagram

valueComponent :=
  constExpression (( BY | '..' )? constExpression )? | runtimeExpression
  ;

#54.4 Runtime Expression \

  restrictedExport? variableDeclaration ( '=' constExpression )?

  '+' | '-' | '*' | '/' | '\' | '=' | '<' | '>' | '::' |
  IN | DIV | MOD | unaryMinus

  ':' (  |  )

  '+' | '-' | '*' | '/' | '\' | '=' | '<' | '>' | '::' | IN | DIV | MOD | unaryMinus

  ':' '#'

  ':' ( ',' | '#' | '*' )

  ':' ( ',' | '*' )

  simpleFactor ( typeConvOp typeIdent )?

@]

#52.1 Type Conversion Operator   syntax diagram

[@ typeConvOp := '::' ;

#52 Factor \

#37 Statement \

#38 Memory Management Operation \

#38.1 Initialisation Size, Initialisation Value \

#39 Update Or Procedure Call \

#39.1 Increment Or Decrement Suffix \

#40 IF Statement \

#40.1 Boolean Expression \

#41 CASE Statement \

#41.1 Case \

#41.2 Case Labels \

#42 LOOP Statement \

#43 WHILE Statement \

#44 REPEAT Statement \

#45 FOR Statement \

#45.1 FOR Loop Variants \

#45.2 Accessor, Value \

#45.3 Iterable Entity \

#45.4 Ascender Or Descender \

#45.5 Ordinal Type \

#46 Designator \

#46.1 Designator Tail \

#46.2 Expression List Or Slice \

#47 Expression List   syntax diagram

expressionList :=

  expression ( ',' expression )*

#48 Expression   syntax diagram

expression :=

  simpleExpression ( operL1 simpleExpression )?

#48.1 Level-1 Operator   syntax diagram

operL1 :=

  '=' | '#' | '<' | '<=' | '>' | '>=' | IN | identityOp
  ;

#48.2 Identity Operator   syntax diagram

identityOp := '==' ;

#49 Simple Expression   syntax diagram

simpleExpression :=

  ( '+' | '-' )? term ( operL2 term )*

#49.1 Level-2 Operator   syntax diagram

operL2 :=

  '+' | '-' | OR | concatOp
  ;

#49.2 Concatenation Operator   syntax diagram

concatOp := '&' ;

#50 Term   syntax diagram

term :=

  simpleTerm ( operL3 simpleTerm )*

#50.1 Level-3 Operator   syntax diagram

operL3 :=

  '*' | '/' | DIV | MOD | AND | setDiffOp
  ;

#50.2 Set Difference Operator   syntax diagram

setDiffOp := '\' ;

#51 Simple Term   syntax diagram

simpleTerm :=

  NOT? factorOrTypeConv

#52 \

  simpleFactor ( '::' typeIdent )?

#53 Simple Factor   syntax diagram

simpleFactor :=

  Number Literal? | String Literal? | structuredValue | functionCall | '(' expression ')'

#53.1 Function Call   syntax diagram

functionCall :=

  designator '(' expressionList? ')'

  TYPE ( typeDeclaration ';' )+ |

#35 Type Declaration   syntax diagram

typeDeclaration :=

  Ident '=' ( type | indeterminateRecType )

#35.1 Indeterminate Record Type \

#35.2 Indeterminate Field \

#35.3 Discriminant Field Identifier \

  designator ( incOrDecSuffix | ':=' expression | '(' expressionList ')' )? |

  ' Ident ':' ARRAY ' discriminantFieldIdent OF typeIdent END

  '~' RECORD ( variableDeclaration ';' )+ indeterminateField END

  ~ Ident ':' ARRAY ~ discriminantFieldIdent OF typeIdent END

  RECORD ( '(' recTypeToExtend ')' )? fieldList ( ';' fieldList )* )

#18 Pointer Type   syntax diagram

pointerType :=

  POINTER TO CONST? typeIdent

#19 Coroutine Type   syntax diagram

coroutineType :=

  COROUTINE '(' assocProcType ')'
  ;

#19.1 Associated Procedure Type   syntax diagram

assocProcType : typeIdent ;

#20 Procedure Type   syntax diagram

procedureType :=

  PROCEDURE ( formalType ( ',' formalType )* )? ( ':' returnedType )?

#20.1 Formal Type   syntax diagram

formalType :=

  simpleFormalType | attributedFormalType | variadicFormalType
  ;

#21 Simple Formal Type   syntax diagram

simpleFormalType :=

  ( ARRAY OF )? typeIdent | castingFormalType

#21.1 Casting Formal Type   syntax diagram

castingFormalType :=

  CAST ( ARRAY OF OCTET | addressTypeIdent )

#21.2 Address Type Identifier   syntax diagram

addressTypeIdent :=

  ( UNSAFE '.' )? ADDRESS

#22 Attributed Formal Type   syntax diagram

attributedFormalType :=

  ( CONST | NEW | VAR ) ( simpleFormalType | simpleVariadicFormalType )

#23 Simple Variadic Formal Type   syntax diagram

simpleVariadicFormalType :=

  ARGLIST reqNumOfArgs? OF simpleFormalType terminator?

#23.1 Required Number Of Arguments   syntax diagram

reqNumOfArgs :=

  greaterThan? constExpression

#23.2 Argument List Terminator   syntax diagram

terminator :=

  '|' constQualident

#23.3 Constant Qualified Identifier   syntax diagram

constQualident := qualident ;

#24 Variadic Formal Type   syntax diagram

variadicFormalType :=

  ARGLIST reqNumOfArgs? OF
    ( '{' nonVariadicFormalType ( ';' nonVariadicFormalType )* '}' |
      simpleFormalType ) terminator?

#25 Non-Variadic Formal Type   syntax diagram

nonVariadicFormalType :=

  ( CONST | NEW | VAR )? simpleFormalType
  ;

#26 Procedure Header   syntax diagram

procedureHeader :=

  PROCEDURE ( '[' ( entityToBindTo | COROUTINE ) ']' | restrictedExport )?
  procedureSignature

#27 Procedure Signature   syntax diagram

procedureSignature :=

  Ident ( '(' formalParams ( ';' formalParams )* ')' )? ( ':' returnedType )?

#28 Formal Parameters   syntax diagram

formalParams :=

  identList ':' ( simpleFormalType | variadicFormalParams ) |
  attributedFormalParams

#29 Attributed Formal Parameters   syntax diagram

attributedFormalParams :=

  ( CONST | NEW | VAR ) identList ':'
  ( simpleFormalType | simpleVariadicFormalType )

#30 Variadic Formal Parameters   syntax diagram

variadicFormalParams :=

  ARGLIST reqNumOfArgs? OF
    ( ( '{' nonVariadicFormalParams ( ';' nonVariadicFormalParams )* '}') |
      simpleFormalType ) terminator?

#31 Non-Variadic Formal Parameters   syntax diagram

nonVariadicFormalParams :=

  ( CONST | NEW | VAR )? identList ':' simpleFormalType

Implementation And Program Module Syntax

#32 Implementation Or Program Module   syntax diagram

implOrPrgmModule :=

  IMPLEMENTATION? MODULE moduleIdent ';'
  ( importList ';' )* block moduleIdent '.'

#33 Block   syntax diagram

block :=

  declaration* ( BEGIN statementSequence )? END

#34 Declaration   syntax diagram

declaration :=

  CONST ( Ident '=' constExpression ';' )+ |
  TYPE ( Ident '=' typeDeclTail ';' )+ |
  VAR ( variableDeclaration ';' )+ |
  procedureHeader ';' block Ident ';'

#34.1 Type Declaration Tail   syntax diagram

typeDeclTail :=

  type | indeterminateRecType

#35 Indeterminate Record Type   syntax diagram

indeterminateRecType :=

  '~' RECORD variableDeclaration ( ';" variableDeclaration )* indeterminateField END

#35.1 Indeterminate Field   syntax diagram

indeterminateRecType :=

  Ident ':' ARRAY discriminantFieldIdent OF typeIdent END

#35.2 Discriminant Field Identifier   syntax diagram

discriminantFieldIdent := Ident ;

#36 Statement Sequence   syntax diagram

statementSequence :=

  statement ( ';' statement )*

#34.1 Type Declaration Tail   syntax diagram

typeDeclTail :=

  type | indeterminateRecType

#35 Indeterminate Record Type   syntax diagram

indeterminateRecType :=

  '~' RECORD variableDeclaration ( ';" variableDeclaration )* indeterminateField END

#35.1 Indeterminate Field   syntax diagram

indeterminateRecType :=

  Ident ':' ARRAY discriminantFieldIdent OF typeIdent END

#35.2 Discriminant Field Identifier   syntax diagram

discriminantFieldIdent := Ident ;

#36 Statement   syntax diagram

statement :=

  memMgtOperation | updateOrProcCall | ifStatement | caseStatement |
  loopStatement | whileStatement | repeatStatement | forStatement |
  ( RETURN | YIELD ) expression? | EXIT

#37 Memory Management Operation   syntax diagram

memMgtOperation :=

  NEW designator ( OF initSize | := initValue )? |
  RETAIN designator |
  RELEASE designator

#37.1 Initialisation Size, Initialisation Value   syntax diagram

initSize := expression ;

initValue := expression ;

#38 Update Or Procedure Call   syntax diagram

updateOrProcCall :=

  designator ( ':=' expression | incOrDecSuffix | actualParameters )? |
  COPY designator ':=' expression
  ;

#38.1 Increment Or Decrement Suffix   syntax diagram

incOrDecSuffix :=

   | 

#39 IF Statement   syntax diagram

ifStatement :=

  IF boolExpression THEN statementSequence
  ( ELSIF boolExpression THEN statementSequence )?
  ( ELSE statementSequence )?
  END

#39.1 Boolean Expression   syntax diagram

boolExpression := expression ;

#40 CASE Statement   syntax diagram

caseStatement :=

  CASE expression OF ( '|' case  )+ ( ELSE statementSequence )? END

#40.1 Case   syntax diagram

case :=

  caseLabels ( ',' caseLabels )* ':' statementSequence

#40.2 Case Labels   syntax diagram

caseLabels :=

  constExpression ( '..' constExpression )?

#41 LOOP Statement   syntax diagram

loopStatement :=

  LOOP statementSequence END

#42 WHILE Statement   syntax diagram

whileStatement :=

  WHILE boolExpression DO statementSequence END

#43 REPEAT Statement   syntax diagram

repeatStatement :=

  REPEAT statementSequence UNTIL boolExpression
  ;

#44 FOR Statement   syntax diagram

forStatement :=

  FOR forLoopVariants IN iterableEntity DO statementSequence END

#44.1 FOR Loop Variants   syntax diagram

forLoopVariants :=

  accessor ascOrDesc? ( ',' value )? |
  VALUE value ascOrDesc?
  ;

#44.2 Accessor, Value   syntax diagram

accessor := Ident ;

value := Ident ;

#44.3 Iterable Entity   syntax diagram

iterableEntity :=

  designator | range OF ordinalType

#44.4 Ascender Or Descender   syntax diagram

ascOrDesc := incOrDecSuffix ;

#44.5 Ordinal Type   syntax diagram

ordinalType := typeIdent ;

#45 Designator   syntax diagram

designator :=

  qualident designatorTail?

#45.1 Designator Tail   syntax diagram

designatorTail :=

  ( ( '[' exprListOrSlice ']' | '^' ) ( '.' Ident )* )+

#45.2 Expression List Or Slice   syntax diagram

exprListOrSlice :=

  expression ( ( ',' expression )* | '..' expression? )
  ;

#46 Expression   syntax diagram

expression :=

  simpleExpression ( operL1 simpleExpression )?

#46.1 Level-1 Operator   syntax diagram

operL1 :=

  '=' | '#' | '<' | '<=' | '>' | '>=' | IN | identityOp

#46.2 Identity Operator   syntax diagram

identityOp := '==' ;

#47 Simple Expression   syntax diagram

simpleExpression :=

  ( '+' | '-' )? term ( operL2 term )*

#47.1 Level-2 Operator   syntax diagram

operL2 :=

  '+' | '-' | OR | concatOp

#47.2 Concatenation Operator   syntax diagram

concatOp := '&' ;

#48 Term   syntax diagram

term :=

  simpleTerm ( operL3 simpleTerm )*

#48.1 Level-3 Operator   syntax diagram

operL3 :=

  '*' | '/' | DIV | MOD | AND | setDiffOp

#48.2 Set Difference Operator   syntax diagram

setDiffOp := '\' ;

#49 Simple Term   syntax diagram

simpleTerm :=

  NOT? factorOrTypeConv

#50 Factor Or Type Conversion   syntax diagram

factorOrTypeConv :=

  factor ( '::' typeIdent )?

#51 Factor   syntax diagram

factor :=

  Number Literal? | String Literal? | structuredValue |
  '(' expression ')' | designator actualParameters?

#52 Actual Parameters   syntax diagram

actualParameters :=

  '(' expressionList ')'

#53 Expression List   syntax diagram

expressionList :=

  expression ( ',' expression )*
  ;

#54 Structured Value   syntax diagram

structuredValue :=

  '{' valueComponent ( ',' valueComponent )* '}'

#54.1 Value Component   syntax diagram

valueComponent :=

  constExpression (( BY | '..' )? constExpression )? | runtimeExpression
  ;

#54.2 Runtime Expression   syntax diagram

runtimeExpression := expression ;

Blueprint Syntax

#55 Blueprint   syntax diagram

blueprint :=

  BLUEPRINT blueprintIdent ( '[' blueprintToRefine ']' )?
  ( FOR blueprintForTypeToExtend )? ';' ( REFERENTIAL identList ';' )?
  MODULE TYPE '=' ( typeClassification ( ';' literalCompatibility)? | NONE ) ';'
  ( constraint ';' )* ( requirement ';' )* END blueprintIdent '.'

#55.1 Blueprint Identifier   syntax diagram

blueprintIdent := Ident ;

#55.2 Blueprint To Refine, Blueprint For Type To Extend   syntax diagram

blueprintToRefine := blueprintIdent ;

blueprintForTypeToExtend := blueprintIdent ;

#56 Type Classification   syntax diagram

typeClassification :=

  '{' determinedClassification ( ';' refinableClassification )? ( ';' '*' )? '}'
  | '*'
  ;

#56.1 Determined Classification   syntax diagram

determinedClassification :=

  classificationIdent ( ',' classificationIdent )*

#56.2 Refinable Classification   syntax diagram

refinableClassification :=

  ' classificationIdent ( ',' ' classificationIdent )*

#56.3 Classification Identifier   syntax diagram

classificationIdent := Ident ;

#57 Literal Compatibility   syntax diagram

literalCompatibility :=

  TLITERAL '=' protoLiteral ( '|' protoLiteral )*

#57.1 Proto-Literal   syntax diagram

protoLiteral :=

  protoLiteralIdent | structuredProtoLiteral

#57.2 Proto-Literal Identifier   syntax diagram

protoLiteralIdent := Ident ;

#58 Structured Proto-Literal   syntax diagram

structuredProtoLiteral :=

  '{'
    ( ARGLIST reqValueCount? OF
        ( '{' builtinOrReferential ( ',' builtinOrReferential )* '}' |
          builtinOrReferential ) ) |
    builtinOrReferential '}'
  ;

#58.1 Required Value Count   syntax diagram

reqValueCount :=

  greaterThan? wholeNumber
  ;

#58.2 Greater Than   syntax diagram

greaterThan := '>' ;

#58.3 Whole Number   syntax diagram

wholeNumber : Number Literal? ;

#58.4 Built-in Type Or Referential Identifier   syntax diagram

builtinOrReferential := Ident ;

#59 Constraint   syntax diagram

constraint :=

  constraintTerm ( oneWayDependency | mutualDependencyOrExclusion )

#59.1 Constraint Term   syntax diagram

constraintTerm :=

  '(' classificationOrFlagIdent ')' |
  '[' bindableEntityOrProperty ']'

#59.2 Bindable Entity Or Property   syntax diagram

bindableEntityOrProperty :=

  entityToBindTo | propertyToBindTo

#59.3 One-Way Dependency   syntax diagram

oneWayDependency :=

  '->' termList ( '|' termList )*
  ;

#59.4 Mutual Dependency Or Exclusion   syntax diagram

mutualDependencyOrExclusion :=

  ( '<>' | '><' ) termList

#59.5 Term List   syntax diagram

termList :=

  constraintTerm ( ',' constraintTerm )*

#59.6 Classification Or Flag Identifier   syntax diagram

classificationOrFlagIdent := Ident ;

#60 Requirement   syntax diagram

requirement :=

  condition '->' ( typeRequirement | constRequirement | procRequirement )

#60.1 Condition   syntax diagram

condition :=

  NOT? boolConstIdent

#60.2 Boolean Constant Identifier   syntax diagram

boolConstIdent := Ident ;

#60.3 Type Requirement   syntax diagram

typeRequirement :=

  TYPE typeDefinition
  ;

#61 Constant Requirement   syntax diagram

constRequirement :=

  CONST
    ( '[' propertyToBindTo ']' ( simpleConstRequirement | '=' NONE ) |
      restrictedExport? simpleConstRequirement )
  ;

#61.1 Simple Constant Requirement   syntax diagram

simpleConstRequirement :=

  Ident ( '=' constExpression | ':' builtinTypeIdent )
  ;

#61.2 Constant Expression   syntax diagram

constExpression := expression ;

#61.3 Built-in Type Identifier   syntax diagram

builtinTypeIdent := Ident ;

#61.4 Restricted Export   syntax diagram

restrictedExport := '*' ;

#62 Property To Bind To   syntax diagram

propertyToBindTo :=

  memMgtProperty | collectionProperty | scalarProperty | TFLAGS

#62.1 Memory Management Property   syntax diagram

memMgtProperty :=

  TDYN | TREFC

#62.2 Collection Property   syntax diagram

collectionProperty :=

  TORDERED | TSORTED | TLIMIT

#62.3 Scalar Property   syntax diagram

scalarProperty :=

  TSCALAR | TMAX | TMIN

#63 Procedure Requirement   syntax diagram

procRequirement :=

  PROCEDURE
    ( '[' ( entityToBindTo | COROUTINE ) ']' ( procedureSignature | '=' NONE ) |
      restrictedExport? procedureSignature )

#64 Entity To Bind To   syntax diagram

entityToBindTo :=

  bindableResWord | bindableOperator | bindableMacro

#64.1 Bindable Reserved Word   syntax diagram

bindableResWord :=

  NEW | RETAIN | RELEASE | COPY | bindableFor

#64.2 Bindable FOR   syntax diagram

bindableFor :=

  FOR forBindingDifferentiator?
  ;

#64.3 FOR Binding Differentiator   syntax diagram

forBindingDifferentiator :=

  '|' (  |  )

#64.4 Bindable Operator   syntax diagram

bindableOperator :=

  '+' | '-' | '*' | '/' | '\' | '=' | '<' | '>' | '*.' | '::'
  IN | DIV | MOD | unaryMinus

#64.5 Unary Minus   syntax diagram

unaryMinus := '+/-' ;

#64.6 Bindable Macro   syntax diagram

bindableMacro :=

  ABS | LENGTH | EXISTS | SEEK | SUBSET | READ | READNEW | WRITE | WRITEF |
  SXF | VAL | multiBindableMacro1 | multiBindableMacro2 | multiBindableMacro3

#64.7 Multi-Bindable Macro 1   syntax diagram

multiBindableMacro1 :=

  ( COUNT | VALUE ) bindingDifferentiator1?

#64.8 Binding Differentiator 1   syntax diagram

bindingDifferentiator1 :=

  '|' '#'

#64.9 Multi-Bindable Macro 2   syntax diagram

multiBindableMacro2 :=

  ( STORE | INSERT | REMOVE ) bindingDifferentiator2?

#64.10 Binding Differentiator 2   syntax diagram

bindingDifferentiator2 :=
  '|' ( ',' | '#' | '*' )
  ;

#64.11 Multi-Bindable Macro 3   syntax diagram

multiBindableMacro3 :=
  APPEND bindingDifferentiator3?
  ;

#64.12 Binding Differentiator 3   syntax diagram

bindingDifferentiator3 :=
  '|' ( ',' | '*' )
  ;

#16.1 Value Count \

valueCount := constExpression ;

  ARRAY lessThan? valueCount ( ',' valueCount )* OF typeIdent

  syntax diagram

  TYPE ( Ident '=' typeDeclTail ';' )+ |

  '*' | '/' | DIV | MOD | AND | setDiffOp

  '=' | '#' | '<' | '<=' | '>' | '>=' | IN | identityOp

#46.2 Identity Operator   syntax diagram

identityOp := '==' ;

#47 Simple Expression   syntax diagram

simpleExpression :=

  ( '+' | '-' )? term ( operL2 term )*
  ;

#47.1 Level-2 Operator   syntax diagram

operL2 :=

  '+' | '-' | OR | concatOp

#47.2 Concatenation Operator   syntax diagram

concatOp := '&' ;

compilationUnit :=

definitionModule :=

moduleIdent := Ident ;

blueprintIdent := Ident ;

typeToExtend := Ident ;

blueprintToObey := blueprintIdent ;

importList :=

libGenDirective :=

libIdent := Ident ;

template := Ident ;

placeholder := Ident ;

replacement :=

importDirective :=

enumTypeIdent := typeIdent ;

typeIdent := qualident ;

identifiersToImport :=

modulesToImport := identifiersToImport ;

reExport := '+' ;

importAll := '*' ;

qualident :=

definition :=

constDefinition :=

constExpression := expression ;

restrictedExport := '*' ;

typeDefinition :=

variableDeclaration :=

identList :=

range :=

greaterThan := '>' ;

lessThan := '<' ;

type :=

derivedSubType :=

ordinalOrScalarType := typeIdent ;

dynamicTypeIdent := typeIdent ;

enumType :=

enumTypeToExtend := typeIdent ;

setType :=

arrayType :=

componentCount := constExpression ;

recordType :=

recTypeToExtend := typeIdent ;

indeterminateField :=

discriminantFieldIdent := Ident ;

pointerType :=

coroutineType :=

procedureType :=

formalType :=

simpleFormalType :=

castingFormalType :=

addressTypeIdent :=

attributedFormalType :=

simpleVariadicFormalType :=

reqNumOfArgs :=

terminator :=

constQualident := qualident ;

variadicFormalType :=

nonVariadicFormalType :=

procedureHeader :=

procedureSignature :=

formalParams :=

attributedFormalParams :=

variadicFormalParams :=

nonVariadicFormalParams :=

implOrPrgmModule :=

block :=

declaration :=

statementSequence :=

statement :=

memMgtOperation :=

initSize := expression ;

initValue := expression ;

updateOrProcCall :=

incOrDecSuffix :=

ifStatement :=

boolExpression := expression ;

caseStatement :=

case :=

caseLabels :=

loopStatement :=

whileStatement :=

repeatStatement :=

forStatement :=

forLoopVariants :=

accessor := Ident ;

value := Ident ;

iterableEntity :=

ascOrDesc := incOrDecSuffix ;

ordinalType := typeIdent ;

designator :=

designatorTail :=

exprListOrSlice :=

expression :=

operL1 :=

concatOp := '&' ;

identityOp := '==' ;

simpleExpression :=

operL2 :=

term :=

operL3 :=

setDiffOp := '\' ;

dotProductOp := '*.' ;

simpleTerm :=

factorOrTypeConv :=

factor :=

actualParameters :=

expressionList :=

structuredValue :=

valueComponent :=

runtimeExpression := expression ;

blueprint :=

blueprintIdent := Ident ;

blueprintToRefine := blueprintIdent ;

blueprintForTypeToExtend := blueprintIdent ;

typeClassification :=

determinedClassification :=