コンポーネントパスカル

Module =  MODULE ident ";"  
           [ ImportList ]  DeclSeq 
           [ BEGIN StatementSeq ]  
           [ CLOSE StatementSeq ]  
         END ident "." .

ImportList =  IMPORT [ ident ":=" ]  ident { ","  [ ident ":=" ]  ident }  ";" 。

DeclSeq =  {  CONST { ConstDecl ";"  }  
          |  TYPE { TypeDecl ";" }  
          |  VAR { VarDecl ";" }}  
          {  ProcDecl ";"  |  ForwardDecl ";" }。

ConstDecl =  IdentDef "="  ConstExpr です。

TypeDecl =  IdentDef "=" タイプ。

VarDecl =  IdentList ":" タイプ。

ProcDecl =  PROCEDURE [ Receiver ]  IdentDef [ FormalPars ]  MethAttributes 
           [ ";"  DeclSeq [ BEGIN StatementSeq ]  
           END ident ]。

MethAttributes =  [ ","  NEW ]  [ ","  ( ABSTRACT |  EMPTY |  EXTENSIBLE )].

ForwardDecl =  PROCEDURE "^"  [ Receiver ]  IdentDef [ FormalPars ]  MethAttributes 。

FormalPars =  "("  [ FPSection { ";"  FPSection }]  ")"  [ ":" タイプ]。

FPSection =  [ VAR |  IN |  OUT ]  ident { ","  ident }  ":" タイプ。

受信者=  "("  [ VAR |  IN ]  ident ":"  ident ")" 。

Type =  Qualident 
    |  ARRAY [ ConstExpr { ","  ConstExpr }]  OF Type 
    |  [ ABSTRACT |  EXTENSIBLE |  LIMITED ]  RECORD [ "(" Qualident ")" ]  FieldList { ";"  FieldList }  END 
    |  POINTER TO Type 
    |  PROCEDURE [ FormalPars ]。

FieldList =  [ IdentList ":" タイプ]。

StatementSeq = ステートメント{ ";" ステートメント}。

Statement =  [  Designator ":="  Expr 
    |  Designator [ "("  [ ExprList ]  ")" ] 
    |  IF Expr THEN StatementSeq 
        { ELSIF Expr THEN StatementSeq } 
        [ ELSE StatementSeq ]  
      END 
    |  CASE Expr OF 
        Case { "|"  Case } 
        [ ELSE StatementSeq ]  
      END 
    |  WHILE Expr DO StatementSeq END 
    |  REPEAT StatementSeq UNTIL Expr 
    |  FOR ident ":="  Expr TO Expr [ BY ConstExpr ]  DO StatementSeq END 
    |  LOOP StatementSeq END 
    |  WITH [  Guard DO StatementSeq ]  
       { "|"  [  Guard DO StatementSeq ]  }  
       [ ELSE StatementSeq ]  
      END 
    |  EXIT 
    |  RETURN [ Expr ] 
    ]。

Case =  [ CaseLabels { ", "  CaseLabels }  ":"  StatementSeq ].

CaseLabels =  ConstExpr [ ".."  ConstExpr ]。

Guard =  Qualident ":"  Qualident 。

ConstExpr =  Expr 。

Expr =  SimpleExpr [関係 SimpleExpr ]。

SimpleExpr =  [ "+"  |  "-" ] 項{ AddOp 項}。

項= 係数{ MulOp 係数}。

係数= 指定子| 数値| 文字| 文字列|  NIL | 設定|  "("  Expr ")"  |  " ~ " 係数。

=  "{"  [要素{ ", " 要素}]  "}"を設定します。

要素=  Expr [ ".."  Expr ]。

関係=  "="  |  "#"  |  "<"  |  "<="  |  ">"  |  ">="  |  IN |  IS .

AddOp =  "+"  |  "-"  | または.

MulOp =  "*"  |  "/"  | ディビジョン|  MOD |  「＆」。

指定子= 修飾子{ "."  ID 
             |  "["  ExprList "]"  
             |  "^"  
             |  "(" 資格")"  
             |  "("  [ ExprList ]  ")" }  [  "$"  ]。

ExprList =  Expr { ","  Expr }.

IdentList =  IdentDef { ","  IdentDef }.

qualident =  [ ident "." ] アイデンティティ。

IdentDef =  ident [ "*"  |  "-" ]。