Discussion :

[mima_mine]

bonjour tous le monde

j'ai une grammaire delphi qui définit la syntaxe suivante:

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
 
  (library | program) identificateur ';' [usesSection] [ExportsBlock] CompoundStmt [ExportsBlock]  '.'

j'ai essayé de parser un exemple de code en suivant cette définition:

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
 
program Program1;
 
uses windows;
 
type
      IdProgram = class (herit)
 
	              id1, id2 : string;
		  public 
		  idPub, IdPub2 : char;
    end;
 
exports ident name '522', ident2 index '480';
 
 
begin 
 
	if g < length(tab) then   continue;
end 
 
exports identApres name '522', ident2Apres index '480';
 
.

ça m'a paru illogique , il manque pas un end avant le '.' ???

merci de me repondre

[Paul TOTH]

il me parait douteux de mettre quoi que ce soit entre le END final et son point.

[mima_mine]

oui j'ai meme vu deux grammaires différentes, j'ai trouvé que c'est la meme syntaxe
enfin pour régler le probleme j'ai ajouté un [end] optinnelle avant le '.' mais chui pas sur s'il est vrai

SVP ceux qui connaissent bien delphi, aidez moi

[Paul TOTH]

oui j'ai meme vu deux grammaires différentes, j'ai trouvé que c'est la meme syntaxe
enfin pour régler le probleme j'ai ajouté un [end] optinnelle avant le '.' mais chui pas sur s'il est vrai

SVP ceux qui connaissent bien delphi, aidez moi

c'est supposé être quoi "CompoundStmt" ?

voici le programme minimal sous Delphi

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
4
 
program Project1;
 
end.

[Kaféine]

Je vois plutôt un truc du genre:

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
4
5
6
7
8
9
10
11
 
program Toto;
 
 
begin ------
  for i ...    | 
  while..     |---CompoundStmt 
               |
end -------  
 
.

[mima_mine]

c'est supposé être quoi "CompoundStmt" ?

un compound statement est un block de statement

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
4
 
Begin
  List Statement
End

voici le programme minimal sous Delphi

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
4
 
program Project1;
 
end.

mais dans ma grammaire le block statement est obligatoire?

[mima_mine]

Je vois plutôt un truc du genre:

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
4
5
6
7
8
9
10
11
 
program Toto;
 
 
begin ------
  for i ...    | 
  while..     |---CompoundStmt 
               |
end -------  
 
.

oui c'est ce que j'ai trouvé mais elle m'a parru bizzar cette syntaxe !!

[Paul TOTH]

ce qui me chagrine dans ta grammaire, c'est que si l'exports peut se trouver à plusieurs endroit c'est également le cas de TYPE CONST, VAR, PROCEDURE et FUNCTION qui n'apparaissent pas

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
 
program p1;
 
const
  c1=1;
 
type
  t1=integer;
 
procedure f1;
begin
end;
 
var
  v1:t1;
 
exports
  f1;
 
function f2:Integer;
begin
end;
 
type
  t2=word;
 
exports
  f2;
 
var
 v1:char;
 
const 
 c2=2;
 
begin // NB: dans ce cas Delphi (5) réclame un begin/end
end.

et en tout état de cause, rien entre le end et son point final.

[Kaféine]

Salut,

Je ne pense pas qu'il faille à tout prix chercher une quelconque concordance de cette grammaire avec celle de delphi. A l'instar d'une vielle pub pour une boisson gazeuse que j'aime pas..., ça a la couleur de delphi mais c'est pas du delphi!

Les sections "UsesSection" et les "ExportsBlock" étant optionnelles, le programme minimal suivant cette grammaire doit être:

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
4
5
6
7
8
9
 
program Toto;
 
[UseSection]
 
[ExportBlock]
 
begin
end [ExportsBlock] .

ce qui me chagrine dans ta grammaire, c'est que si l'exports peut se trouver à plusieurs endroit c'est également le cas de TYPE CONST, VAR, PROCEDURE et FUNCTION qui n'apparaissent pas

Il n'y a pas dans la grammaire donnée de définition pour une section "type" ou une section "implementation".
Pas de définition non plus pour les procédures et fonctions.
Les statements de CompoundStmt doivent seulement être IfThen, For, While, Try...
Mais bon ca reste de la spéculation, il faudrais la définition complète de CompoundStmt et plus particulièrement, la définition de la "Liste de Statement" et d'un Statement, compris entre le begin et le end du CompoundStmt pour être sûr.

[mima_mine]

Les sections "UsesSection" et les "ExportsBlock" étant optionnelles, le programme minimal suivant cette grammaire doit être:

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
4
5
6
7
8
9
 
program Toto;
 
[UseSection]
 
[ExportBlock]
 
begin
end [ExportsBlock] .

mais dans l'exportsBlock j'ai un ";" obligatoire à la fin, en quelques sorte le code doit etre

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
4
5
6
7
8
9
 
program Toto;
 
[UsesSection]
 
[ExportsBlock ";"]
 
begin
end [ExportsBlock ";" ] "."

et là je pense pas qu'il est vrai !!!!

Mais bon ca reste de la spéculation, il faudrais la définition complète de CompoundStmt et plus particulièrement, la définition de la "Liste de Statement" et d'un Statement, compris entre le begin et le end du CompoundStmt pour être sûr.

Liste de Statement : Statement() ( ";" Statement() )*
(* equiv (0..n )occurence)
statement peut etre if, while., goto, AssignmentStmt ....

[Kaféine]

mais dans l'exportsBlock j'ai un ";" obligatoire à la fin, en quelques sorte le code doit etre

Et bien oui....si le ";" est dans la définition de exportblock... où est le problème?

[mima_mine]

Et bien oui....si le ";" est dans la définition de exportblock... où est le problème?

le problème est dans l'exemple que j'ai exposé la 1ere fois

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
 
program Program1;
 
uses windows;
 
type
      IdProgram = class (herit)
 
	              id1, id2 : string;
		  public 
		  idPub, IdPub2 : char;
    end;
 
exports ident name '522', ident2 index '480';
 
 
begin 
 
	if g < length(tab) then   continue;
end 
 
exports identApres name '522', ident2Apres index '480';
 
.

dans ce cas il manque un end avant le point ????
et le problème c'est que ma grammaire accepte ce code, qu'il m'a parru incomplet !!

[Kaféine]

dans ce cas il manque un end avant le point ????
et le problème c'est que ma grammaire accepte ce code, qu'il m'a parru incomplet !!

Bah non, il manque un end pour delphi mais pas pour ta grammaire.

en plus ta grammaire ne prend pas en compte cette portion normalement :

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
4
5
6
7
8
 
type
      IdProgram = class (herit)
 
	              id1, id2 : string;
		  public 
		  idPub, IdPub2 : char;
    end;

[mima_mine]

Bah non, il manque un end pour Delphi mais pas pour ta grammaire.

mais ma grammaire traite le langage Delphi !!! et elle parse (parsing) des codes compiler sous delphi, donc si on aura un code qui contient un "end" avant le point et on le parse ça va pas marcher, il nous signale une erreur
vous me comprenez ?!!

en plus ta grammaire ne prend pas en compte cette portion normalement :

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
4
5
6
7
8
 
type
      IdProgram = class (herit)
 
	              id1, id2 : string;
		  public 
		  idPub, IdPub2 : char;
    end;

oui dans ce cas, on aura une erreur parce qu'il manque le "block Statement" qu'il est obligatoire !!

[mima_mine]

dans ma grammaire les codes qui commence par Library ou Program, ont presque la meme syntaxe

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
4
 
Library Name ";"
 
[UsesSection] [OptExportBlock()] CompoundStmt() [OptExportBlock()] "."

les crochet [] veut dire que c'est optionnelle
donc la partie CompoundStmt est obligatoire

dans le net j'ai trouvé l'exemple suivant

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
 
 
library DFRSEPSdev;
 
  uses
  ComServ,
  DFrSEPS in 'DFrSEPS.pas';
 
  exports
  DllGetClassObject,
  DllCanUnloadNow,
  DllRegisterServer,
  DllUnregisterServer;
 
 
  {$r PropSRES.res}
 
 
  begin
  end.

donc on doit mettre le compoundStatement même s'il est à vide,
alors c'est le même cas pour Program?? n'est pas !!!

[Paul TOTH]

comme dit plus haut ceci est valide sous Delphi 5

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
4
 
library Project1;
 
end.

mais ceci ne l'est pas !!!!

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
4
5
6
7
8
9
10
11
12
13
 
libray project1;
 
exports
  p1;
 
begin
end
 
exports
  p2;
 
.

ton second OptExportBlock est donc faux.

[mima_mine]

merci pour votre reponse
mais juste pour delphi 5, mais la grammaire doit etre pour toutes les versions de delphi (jusqu'a les dernière version) !!

[Dr.Who]

la syntaxe ne varie pas de D5 a D2010 (ou presque pas)!

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
unit ...; // obligatoire
 
interface // obligatoire dans unité
 
~ uses ...; // facultatif mais doit etre rencontré aprés interface
 
* const | type | function | procedure | var // melange de ceci
 
implementation // obligatoire doit etre rencontré aprés declarations interface
 
~ uses ...; // facultatif mais doit etre rencontré aprés implementation
 
* const | type | function | procedure | var // melange de ceci
 
~ initialization ... // facultatif, obligatoir si finalization 
 
finalization ... // obligatoire aprés finalization mais doit figurer en amont du End. 
 
end. // obligatoire en fin d'unité

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
4
5
6
7
8
9
10
program ...; // obligatoire
 
uses ...; // facultatif mais doit figurer aprés program
 
* const | type | function | procedure | var // un melange de ceci
 
 
begin // obligatoire doit figurer en amont du end.
 
end. // obligatoire en fin de programme

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
4
5
6
7
8
9
10
library ...; // obligatoire
 
uses ...; // facultatif mais doit figurer aprés library
 
* const | type | function | procedure | var | exports  // une melange de ceci
 
 
begin // obligatoire, doit figurer en amont du end.
 
end. // obligatoire

(hors commentaire et directives de compilation)

règles pour Unit, Program, Library :
- syntaxe : [unit|program|library] [nom];
- portée : globale debut fichier
- obligatoire
- doit se trouver au début du fichier

Règles pour interface :
- syntaxe : unit...; interface {...}
- portée : globale debut fichier
- obligatoire dans unit, interdit dans program et library
- doit figurer après Unit

Règles pour implementation :
- syntaxe : unit...; interface {...} implementation {...}
- portée : globale milieu de fichier
- obligatoire même si vide avec unit, interdit dans program et library
- doit figurer après les déclarations d'interface

Règles pour end. :
- syntaxe : [unit [implementation {...}]|program{...}begin{...}|library{...}begin{...}] end.
- portée : globale fin de fichier
- obligatoire en fin de fichier
- doit figurer après toutes déclarations
- déclarations interdites entre END et . et aprés END.

Règles pour Uses :
- syntaxe : uses [nom[, nom, ...]];
- portée : globale, globale interface/implementation, debut/milieu de fichier
- facultatif
- doit se trouver immédiatement après les mots clefs Program, Library, Interface ou Implementation


Régles pour Exports :
- syntaxe : exports [nom[,nom[, nom name nom]]];
- portée : globale aprés uses, implementation, interface ...
- facultatif dans unit, program et library

Régles pour initialization, finalization :
- syntaxe : {...} initialization {...} finalization {...} end.
- facultatif
- portée : globale, fin de fichier




voila, ça doit etre ça si je n'ai pas fait d'erreur.

[mima_mine]

merci pour votre reponse
dans ce cas, on enleve le ExportsBlock qui est situé après le Block Begin-End ?
thanks