Grundlagen der Informatik I “Programmierung”

Manifest string ::= "Simple string"
Simple string ::= Siehe Abschnitt 4.4
Parents ::= Parent [ ; Parents ]
Parent ::= Class type [ Feature adaption ]
Feature adaption ::= [ rename [ Rename pairs ] ] Umbenennung geerbter features
[ export [ New exports ] ] Export geerbter features
[ undefine [ Features ] ] Aufschieben einer geerbten Implementierung
[ redefine [ Features ] ] Redefinition einer geerbten Implementierung
[ select [ Features ] ] Auswahl eines doppelt geerbten features
end
Rename pairs ::= Feature name as Feature name [ ; Rename pairs ]
New exports ::= [ Clients ] Feature set [ ; New exports ]
Feature set ::= [ Features ] | all
Features ::= Feature name [ ; Features ]
Feature name ::= Identifier | Prefix | Infix
Prefix ::= prefix "Prefix Operator"
Infix ::= infix "Infix Operator"
Prefix Operator ::= Siehe Abschnitt 4.4
Infix Operator ::= Siehe Abschnitt 4.4
Clients ::= { [ Classes ] }
Classes ::= Class name [ , Classes ]
Creation clauses ::= Creation clause [ creation Creation clauses ]
Creation clause ::= [ Clients ] [ Comment ] [ Features ]
Comment ::= -- [ Simple string Comment break Comment ]
Comment break ::= New line [ Blank or tabs ] --
Feature clauses ::= Feature clause [ feature Feature clauses ]
Feature clause ::= [ Clients ] [ Comment ] [ Feature declarations ]
Feature declarations ::= Feature declaration [ ; Feature declaration list ]
Feature declaration ::= Feature names
[ ( [ Entity declarations ] )]
[ : Type ]
[ is Feature value ] Vereinbarung der neuen Namen
Feature names ::= [ frozen ] Feature name [ , Feature names ]
Feature value ::= Routine Definition von Prozedur oder Funktion
| Manifest constant Konstantendefinition
| unique
Entity declarations ::= Identifiers : Type [ ; Entity declarations ]
Identifiers ::= Identifier [ , Identifier list ]
Type ::= Class Type
| expanded Class type
| Identifier formaler generischer Parameter
| like Anchor Assoziation
| BIT Constant
| INTEGER | REAL | DOUBLE | CHARACTER | BOOLEAN
Class type ::= Class name [ [ [ Types ] ] ]
Types ::= Type [ , Types ]
Anchor ::= Identifier | Current