Die Grammatik von Oberon III

 [Vorheriges Kapitel]  [Vorherige Seite]  [Inhaltsverzeichnis]  [Nächste Seite]  [Nächstes Kapitel]

*Produktionsregeln P (in EBNF, Fortsetzung):
⟨ ConstantDeclaration ⟩---> ⟨ Ident ⟩ ``='' ⟨ ConstExpression ⟩
⟨ ConstExpression ⟩---> ⟨ Expression ⟩
⟨ TypeDeclaration ⟩---> ⟨ Ident ⟩ ``='' ⟨ Type ⟩
⟨ VariableDeclaration ⟩---> ⟨ IdentList ⟩ ``:'' ⟨ Type ⟩
⟨ IdentList ⟩---> ⟨ Ident ⟩ { ``,'' ⟨ Ident ⟩ }
⟨ ProcedureDeclaration ⟩---> ⟨ ProcedureHeading ⟩ ``;''
⟨ ProcedureBody ⟩ ⟨ Ident ⟩
⟨ ProcedureHeading ⟩---> ``PROCEDURE'' [``*''] ⟨ Ident ⟩
[⟨ FormalParameters ⟩]
⟨ ForwardDeclaration ⟩---> ``PROCEDURE'' `` ^ '' ⟨ Ident ⟩
[⟨ FormalParameters ⟩]
⟨ FormalParameters ⟩---> ``('' [ ⟨ FPSection ⟩
{ ``;'' ⟨ FPSection ⟩ } ] ``)''
[``:'' ⟨ QualIdent ⟩]
⟨ FPSection ⟩---> [ ``VAR''] ⟨ IdentList ⟩ ``:'' ⟨ FormalType ⟩
⟨ FormalType ⟩---> { ``ARRAY'' ``OF'' } ⟨ QualIdent ⟩
⟨ QualIdent ⟩---> [⟨ Ident ⟩ ``.''] ⟨ Ident ⟩
⟨ ProcedureBody ⟩---> ⟨ DeclarationSequence ⟩
[``BEGIN'' ⟨ StatementSequence ⟩]
``END''

 

 [Vorheriges Kapitel]  [Vorherige Seite]  [Inhaltsverzeichnis]  [Nächste Seite]  [Nächstes Kapitel]
Copyright © 2004, 2005 Andreas Borchert, in HTML konvertiert am 18.02.2005