[Prog] beperkingen EBNF

[domi]

ik weet dat ge de beperkingen (semantische) van de EBNF terug vind in Report.Txt

maar nu is mn vraag.: waar staan die?

is da zoiets als : er staat nergens in de EBNF dat de begin en eind identifier de zelfde moeten zijn.

Of

is da zoiets als : same types, equal types, type inclusion/extension?

help me out here :s

tis toch een veel voorkomende examenvraag e

[EagleEye812]

Ja da is bijvoorbeeld inderdaad dit

A procedure declaration consists of a procedure heading and a procedure body. The heading specifies the procedure identifier and the formal parameters. For type-bound procedures it also specifies the receiver parameter. The body contains declarations and statements. The procedure identifier is repeated at the end of the procedure declaration.

[sammyke007]

Das ook de enige dak vind, dat uwen IDENT bij MODULE en END. hetzelfde moet zijn...
Voor de rest vind ik nie echt zo veel ze.

[WiDeCr0w]

Is die uitzondering 'char' er ook geen in de EBNF beschrijving (die sta ook bij de discussiesessie)?

[Yo_rik]

Nog een paar:

Comments may be inserted between any two symbols in a program. They are arbitrary character sequences opened by the bracket (* and closed by *). Comments may be nested. They do not affect the meaning of a program.

Every identifier occurring in a program must be introduced by a declaration, unless it is a predeclared identifier.

No identifier may denote more than one object within a given scope (i.e. no identifier may be declared twice in a block).

Case labels are constants, and no value must occur more than once. If the value of the expression does not occur as a label of any case, the statement sequence following the symbol ELSE is selected, if there is one, otherwise the program is aborted.

De compatibiliteitsregels zijn ook uitvoeringsbesluiten (zie slide 144 )!

Nog andere: de manier waarop lussen werken (WHILE = stopt als voorwaarde vals is, REPEAT stopt als voorwaarde waar is ...); kortsluitingsevaluatie bij logische uitdrukkigen ...

Eigenlijk is bijna alles dat in die Report staat een uitvoeringsbesluit (behalve de EBNF zelf) .

[Shinta]

ja das wel iets handig da document

[domi]

zouden we de report.txt niet gewoon mogen meepakken naar t exames en dan op ouderwetse manier met de schaar en lijm de stukken die we nodig hebben op de exames plakken

[Arawn]

tjah en dat verklaart net de nutteloosheid van dit vak =D>

[domi]

lol

[EagleEye812]

Hij gaat zoiets vragen van: geef alle semantische beperkingen van de assignment, en dan moet gij alle compatibiliteitsregels opsommen van assignmentcompatibility , of geef alle semantische beperkingen van een procedure-declaratie. dan moet ge alles zeggen wat er niet letterlijk in de ebnf staat over procedures =P~

[Norfolk]

Hij gaat zoiets vragen van: geef alle semantische beperkingen van de assignment, en dan moet gij alle compatibiliteitsregels opsommen van assignmentcompatibility , of geef alle semantische beperkingen van een procedure-declaratie. dan moet ge alles zeggen wat er niet letterlijk in de ebnf staat over procedures =P~

of van de case instructie

[sammyke007]

Olle mo*ders als die da vraagt

[EagleEye812]

Olle mo*ders als die da vraagt

En toch!

[Norfolk]

De eerste vraag lijkt er wel hard op vind ik

[Krikke]

tjah en dat verklaart net de nutteloosheid van dit vak =D>

bwa, en pointers dan?