[Prog] semantische aanvulling

[j0lle]

kan er iemand een vb geven van een semantische aanvulling?
is dit bvb dat een DeclSeq meerdere keren in het declaratiegedeelte van een module kan voorkomen?

[Norfolk]

kan er iemand een vb geven van een semantische aanvulling?
is dit bvb dat een DeclSeq meerdere keren in het declaratiegedeelte van een module kan voorkomen?

DelSeq komt maar 1 keer voor

Een semantische aanvulling is dat bijvoorbeeld de identifier bij

Code: Select all

MODULE ident;
...
BEGIN

END ident.

hetzelfde moet zijn.

Of voor de toekenning zijn de semantische aanvullingen de toekenningscompatibiliteits regels

[j0lle]

DelSeq komt maar 1 keer voor

Een DeclSeq daarentegen (die eigenlijk in zijn
geheel eveneens optioneel is: waaraan merk je dat?) kan binnen
het declaratie gedeelte van een module veelvuldig voorkomen.

thx
kheb et wel door.. kzou het gewoon 2x moeten lezen

[EagleEye812]

= semantische beperkingen waarover al een thread is

[j0lle]

= semantische beperkingen waarover al een thread is

idd.. das't gene da ik mij afvroeg

[EagleEye812]

Een DeclSeq daarentegen (die eigenlijk in zijn
geheel eveneens optioneel is: waaraan merk je dat?) kan binnen
het declaratie gedeelte van een module veelvuldig voorkomen.

thx
kheb et wel door.. kzou het gewoon 2x moeten lezen

Hmm bedoelen ze dan dat DeclSeq voorkomt in de procedures? Want dan heb je meerdere declseqs in je declaratiegedeelte

[domi]

ik kan me vergissen maar volgens mij is da zo ... type decl, const decl, var decl, procedure declaratie.... das al 4 keer

[EagleEye812]

ik kan me vergissen maar volgens mij is da zo ... type decl, const decl, var decl, procedure declaratie.... das al 4 keer

Kijk uw ebnf dan maar nog eens na

Code: Select all

              +---------+   /-\
              |ConstDecl|->| ; |
              +---------+   \-/
              ^              |
              |              v +-----+
          /<-------------------|CONST|<---\
          |                    +-----+    ^
          |                               |
          |   +--------+    /-\           |
          |   |TypeDecl|-->| ; |          |
          |   +--------+    \-/           |
          |   ^              |            |
          |   |              v  +----+    |
          /<--------------------|TYPE|<---\
          |                     +----+    |
          |                               |       /-\   +-----------+
          |   +-------+     /-\           |  /<--| ; |<-|ForwardDecl|<---\
          |   |VarDecl|--->| ; |          |  |    \-/   +-----------+    ^
          |   +-------+     \-/           |  |                           |
          |   ^ 	     |            |  |                           |
          |   |              v   +---+    |  |    /-\      +--------+    |
          /<---------------------|VAR|<---\  /<--| ; |<----|ProcDecl|<---\
          |                      +---+    |  |    \-/      +--------+    |
          v                               |  v                           |
DeclSeq---------------------------------------------------------------------->  

één (1) declseq bevat mogelijks al die elementen al

[Norfolk]

jup dermee dacht ik " maar 1 declseq"

[Nickman]

Ja, per procedure in een module heb je natuurlijk terug een DeclSeq...