diff --git a/Lex/a.out b/Lex/a.out deleted file mode 100755 index 2854794..0000000 Binary files a/Lex/a.out and /dev/null differ diff --git a/Lex/analyse_lexicale.lex b/Lex/analyse_lexicale.lex deleted file mode 100644 index 5a0715b..0000000 --- a/Lex/analyse_lexicale.lex +++ /dev/null @@ -1,80 +0,0 @@ -ADD "+" -SUB "-" -MUL "*" -DIV "/" -tPO "(" -tPF ")" -tAO "{" -tAF "}" -EOL "\n" -EOI ";" -SPACE " " -TAB "\t" -VIRGULE "," -EGAL "=" -LT "<" -GT ">" -tINT "int" -tMAIN "main" -tPRINT "printf" -tRETURN "return" -tIF "if" -tELSE "else" -tWHILE "while" -tNOT "!" -tAND "&&" -tOR "||" -DIGIT [0-9] -VARIABLE [A-Za-z0-9_]+ -DECIMAL {DIGIT}+ -EXPONENTIEL {DIGIT}+"^"{DIGIT}+ -ENTIER {DECIMAL}|{EXPONENTIEL} -OPERATION {ADD}|{SUB}|{MUL}|{DIV} -COMPARATEUR {EGAL}|{LT}|{GT} -SEPARATOR {SPACE}|{TAB} - -%% - -{ADD} {printf("tADD ");} -{SUB} {printf("tSUB ");} -{MUL} {printf("tMUL ");} -{DIV} {printf("tDIV ");} - -{tPO} {printf("tPO ");} -{tPF} {printf("tPF ");} -{tAO} {printf("tAO ");} -{tAF} {printf("tAF ");} - -{EOI} {printf("tPV ");} -{SEPARATOR} {} -{EOL} {} -{VIRGULE} {printf("tVIRGULE ");} - -{EGAL} {printf("tEGAL ");} -{LT} {printf("tLT ");} -{GT} {printf("tGT ");} - -{tMAIN} {printf("tMAIN ");} -{tINT} {printf("tINT ");} -{tPRINT} {printf("tPRINT ");} -{tRETURN} {printf("tRETURN ");} - -{tOR} {printf("tOR ");} -{tAND} {printf("tAND ");} - -{tIF} {printf("tIF ");} -{tELSE} {printf("tELSE ");} -{tWHILE} {printf("tWHILE ");} - -{ENTIER} {printf("tENTIER ");} -{VARIABLE} {printf("tVAR ");} - -%% -int yywrap(void){ - return 1; -} -int main(void){ - yylex(); -} - - diff --git a/Lex/Makefile b/Makefile similarity index 100% rename from Lex/Makefile rename to Makefile diff --git a/analyse_lexicale.lex b/analyse_lexicale.lex new file mode 100644 index 0000000..0b672fc --- /dev/null +++ b/analyse_lexicale.lex @@ -0,0 +1,93 @@ +ADD "+" +SUB "-" +MUL "*" +DIV "/" +tPO "(" +tPF ")" +tAO "{" +tAF "}" +EOL "\n" +EOI ";" +SPACE " " +TAB "\t" +VIRGULE "," +AFFECTATION "=" +EQUAL "==" +LT "<" +GT ">" +LTE "<=" +GTE ">=" +tINT "int" +tMAIN "main" +tPRINT "printf" +tRETURN "return" +tIF "if" +tELSE "else" +tWHILE "while" +tNOT "!" +tAND "&&" +tOR "||" +tDIFF "!=" +DIGIT [0-9] +VARIABLE [A-Za-z0-9_]+ +CONST "const" +DECIMAL {DIGIT}+ +EXPONENTIEL {DIGIT}+"^"{DIGIT}+ +ENTIER {DECIMAL}|{EXPONENTIEL} +OPERATION {ADD}|{SUB}|{MUL}|{DIV} +COMPARATEUR {EGAL}|{LT}|{GT} +SEPARATOR {SPACE}|{TAB} + +%% + +{ADD} {return tADD ;} +{SUB} {return tSUB ;} +{MUL} {return tMUL ;} +{DIV} {return tDIV ;} + +{tPO} {return tPO ;} +{tPF} {return tPF ;} +{tAO} {return tAO ;} +{tAF} {return tAF ;} + +{EOI} {return tPV ;} +{SEPARATOR} {} +{EOL} {} +{VIRGULE} {return tVIRGULE ;} + +{AFFECTATION} {return tAFFECTATION ;} + +{EQUAL} {return tEGAL ;} +{tDIFF} {return tDIFF ;} +{LT} {return tLT ;} +{GT} {return tGT ;} +{LTE} {return tLTE ;} +{GTE} {return tGTE ;} +{tNOT} {return tNOT ;} + + +{tMAIN} {return tMAIN ;} +{tINT} {return tINT ;} +{tPRINT} {return tPRINT ;} +{tRETURN} {return tRETURN ;} + +{tOR} {return tOR ;} +{tAND} {return tAND ;} + +{tIF} {return tIF ;} +{tELSE} {return tELSE ;} +{tWHILE} {return tWHILE ;} + +{CONST} {return tCONST ;} +{ENTIER} {return tENTIER ;} +{VARIABLE} {return tVAR ;} + +%% +int yywrap(void){ + return 1; +} +//int main(void){ +// yylex(); +//} + + diff --git a/analyse_syntaxique.output b/analyse_syntaxique.output new file mode 100644 index 0000000..2c1bb8e --- /dev/null +++ b/analyse_syntaxique.output @@ -0,0 +1,1452 @@ +Non-terminaux inutiles dans la grammaire + + Arg + SuiteArgs + RETURN + + +Terminaux inutilisés dans la grammaire + + tERROR + + +Règles inutiles dans la grammaire + + 57 Args: Arg SuiteArgs + + 58 Arg: tVAR + + 59 SuiteArgs: tVIRGULE Arg SuiteArgs + + 60 RETURN: tRETURN E tPV + + +La règle est inutile dans l'analyseur à cause de conflits + + 3 Fonctions: Fonction + 4 | %empty + + +État 0 conflits: 1 décalage/réduction +État 4 conflits: 1 décalage/réduction, 1 réduction/réduction +État 71 conflits: 2 décalage/réduction +État 73 conflits: 2 décalage/réduction +État 93 conflits: 2 décalage/réduction +État 94 conflits: 2 décalage/réduction +État 95 conflits: 4 décalage/réduction +État 96 conflits: 4 décalage/réduction +État 104 conflits: 2 décalage/réduction +État 105 conflits: 2 décalage/réduction + + +Grammaire + + 0 $accept: C $end + + 1 C: Fonctions Main + + 2 Fonctions: Fonction Fonctions + 3 | Fonction + 4 | %empty + + 5 Fonction: tINT tVAR tPO Params tPF Body + + 6 Main: tINT tMAIN tPO tPF Body + + 7 Params: %empty + 8 | Param SuiteParams + + 9 Param: tINT tVAR + + 10 SuiteParams: tVIRGULE Param SuiteParams + 11 | %empty + + 12 Body: tAO Instructions tAF + + 13 Instructions: Instruction Instructions + 14 | %empty + + 15 Instruction: Aff + 16 | If + 17 | While + 18 | tRETURN + 19 | Print + 20 | Decl + 21 | Invocation tPV + + 22 Decl: Type Valeur SuiteDecl tPV + + 23 SuiteDecl: tVIRGULE Valeur SuiteDecl + 24 | %empty + + 25 Type: tINT + 26 | tCONST tINT + + 27 Valeur: tVAR + 28 | Affbis + + 29 Affbis: tVAR tAFFECTATION E + + 30 Aff: Affbis tPV + + 31 E: tENTIER + 32 | tVAR + 33 | E tADD E + 34 | E tMUL E + 35 | E tSUB E + 36 | E tDIV E + 37 | Invocation + 38 | tPO E tPF + 39 | tSUB E + + 40 If: tIF tPO Cond tPF Body Else + + 41 Else: %empty + 42 | tELSE Body + 43 | tELSE tIF tPO Cond tPF Body Else + + 44 While: tWHILE tPO Cond tPF Body + + 45 Cond: Cond tAND Cond + 46 | Cond tOR Cond + 47 | E tEGAL E + 48 | E tDIFF E + 49 | E tLT E + 50 | E tGT E + 51 | E tLTE E + 52 | E tGTE E + 53 | tNOT Cond + + 54 Print: tPRINT tPO tVAR tPF tPV + + 55 Invocation: tVAR tPO Args tPF + + 56 Args: %empty + + +Terminaux, suivis des règles où ils apparaissent + +$end (0) 0 +error (256) +tENTIER (258) 31 +tADD (259) 33 +tSUB (260) 35 39 +tMUL (261) 34 +tDIV (262) 36 +tPO (263) 5 6 38 40 43 44 54 55 +tPF (264) 5 6 38 40 43 44 54 55 +tAO (265) 12 +tAF (266) 12 +tERROR (267) +tPV (268) 21 22 30 54 +tVIRGULE (269) 10 23 +tAFFECTATION (270) 29 +tEGAL (271) 47 +tDIFF (272) 48 +tLT (273) 49 +tGT (274) 50 +tGTE (275) 52 +tLTE (276) 51 +tMAIN (277) 6 +tINT (278) 5 6 9 25 26 +tPRINT (279) 54 +tRETURN (280) 18 +tOR (281) 46 +tAND (282) 45 +tIF (283) 40 43 +tELSE (284) 42 43 +tWHILE (285) 44 +tCONST (286) 26 +tVAR (287) 5 9 27 29 32 54 55 +tNOT (288) 53 + + +Non-terminaux, suivis des règles où ils apparaissent + +$accept (34) + à gauche: 0 +C (35) + à gauche: 1, à droite: 0 +Fonctions (36) + à gauche: 2 3 4, à droite: 1 2 +Fonction (37) + à gauche: 5, à droite: 2 3 +Main (38) + à gauche: 6, à droite: 1 +Params (39) + à gauche: 7 8, à droite: 5 +Param (40) + à gauche: 9, à droite: 8 10 +SuiteParams (41) + à gauche: 10 11, à droite: 8 10 +Body (42) + à gauche: 12, à droite: 5 6 40 42 43 44 +Instructions (43) + à gauche: 13 14, à droite: 12 13 +Instruction (44) + à gauche: 15 16 17 18 19 20 21, à droite: 13 +Decl (45) + à gauche: 22, à droite: 20 +SuiteDecl (46) + à gauche: 23 24, à droite: 22 23 +Type (47) + à gauche: 25 26, à droite: 22 +Valeur (48) + à gauche: 27 28, à droite: 22 23 +Affbis (49) + à gauche: 29, à droite: 28 30 +Aff (50) + à gauche: 30, à droite: 15 +E (51) + à gauche: 31 32 33 34 35 36 37 38 39, à droite: 29 33 34 35 36 + 38 39 47 48 49 50 51 52 +If (52) + à gauche: 40, à droite: 16 +Else (53) + à gauche: 41 42 43, à droite: 40 43 +While (54) + à gauche: 44, à droite: 17 +Cond (55) + à gauche: 45 46 47 48 49 50 51 52 53, à droite: 40 43 44 45 46 + 53 +Print (56) + à gauche: 54, à droite: 19 +Invocation (57) + à gauche: 55, à droite: 21 37 +Args (58) + à gauche: 56, à droite: 55 + + +État 0 + + 0 $accept: . C $end + + tINT décalage et aller à l'état 1 + + tINT [réduction par utilisation de la règle 4 (Fonctions)] + + C aller à l'état 2 + Fonctions aller à l'état 3 + Fonction aller à l'état 4 + + +État 1 + + 5 Fonction: tINT . tVAR tPO Params tPF Body + + tVAR décalage et aller à l'état 5 + + +État 2 + + 0 $accept: C . $end + + $end décalage et aller à l'état 6 + + +État 3 + + 1 C: Fonctions . Main + + tINT décalage et aller à l'état 7 + + Main aller à l'état 8 + + +État 4 + + 2 Fonctions: Fonction . Fonctions + 3 | Fonction . + + tINT décalage et aller à l'état 1 + + tINT [réduction par utilisation de la règle 3 (Fonctions)] + tINT [réduction par utilisation de la règle 4 (Fonctions)] + + Fonctions aller à l'état 9 + Fonction aller à l'état 4 + + +État 5 + + 5 Fonction: tINT tVAR . tPO Params tPF Body + + tPO décalage et aller à l'état 10 + + +État 6 + + 0 $accept: C $end . + + $défaut accepter + + +État 7 + + 6 Main: tINT . tMAIN tPO tPF Body + + tMAIN décalage et aller à l'état 11 + + +État 8 + + 1 C: Fonctions Main . + + $défaut réduction par utilisation de la règle 1 (C) + + +État 9 + + 2 Fonctions: Fonction Fonctions . + + $défaut réduction par utilisation de la règle 2 (Fonctions) + + +État 10 + + 5 Fonction: tINT tVAR tPO . Params tPF Body + + tINT décalage et aller à l'état 12 + + $défaut réduction par utilisation de la règle 7 (Params) + + Params aller à l'état 13 + Param aller à l'état 14 + + +État 11 + + 6 Main: tINT tMAIN . tPO tPF Body + + tPO décalage et aller à l'état 15 + + +État 12 + + 9 Param: tINT . tVAR + + tVAR décalage et aller à l'état 16 + + +État 13 + + 5 Fonction: tINT tVAR tPO Params . tPF Body + + tPF décalage et aller à l'état 17 + + +État 14 + + 8 Params: Param . SuiteParams + + tVIRGULE décalage et aller à l'état 18 + + $défaut réduction par utilisation de la règle 11 (SuiteParams) + + SuiteParams aller à l'état 19 + + +État 15 + + 6 Main: tINT tMAIN tPO . tPF Body + + tPF décalage et aller à l'état 20 + + +État 16 + + 9 Param: tINT tVAR . + + $défaut réduction par utilisation de la règle 9 (Param) + + +État 17 + + 5 Fonction: tINT tVAR tPO Params tPF . Body + + tAO décalage et aller à l'état 21 + + Body aller à l'état 22 + + +État 18 + + 10 SuiteParams: tVIRGULE . Param SuiteParams + + tINT décalage et aller à l'état 12 + + Param aller à l'état 23 + + +État 19 + + 8 Params: Param SuiteParams . + + $défaut réduction par utilisation de la règle 8 (Params) + + +État 20 + + 6 Main: tINT tMAIN tPO tPF . Body + + tAO décalage et aller à l'état 21 + + Body aller à l'état 24 + + +État 21 + + 12 Body: tAO . Instructions tAF + + tINT décalage et aller à l'état 25 + tPRINT décalage et aller à l'état 26 + tRETURN décalage et aller à l'état 27 + tIF décalage et aller à l'état 28 + tWHILE décalage et aller à l'état 29 + tCONST décalage et aller à l'état 30 + tVAR décalage et aller à l'état 31 + + $défaut réduction par utilisation de la règle 14 (Instructions) + + Instructions aller à l'état 32 + Instruction aller à l'état 33 + Decl aller à l'état 34 + Type aller à l'état 35 + Affbis aller à l'état 36 + Aff aller à l'état 37 + If aller à l'état 38 + While aller à l'état 39 + Print aller à l'état 40 + Invocation aller à l'état 41 + + +État 22 + + 5 Fonction: tINT tVAR tPO Params tPF Body . + + $défaut réduction par utilisation de la règle 5 (Fonction) + + +État 23 + + 10 SuiteParams: tVIRGULE Param . SuiteParams + + tVIRGULE décalage et aller à l'état 18 + + $défaut réduction par utilisation de la règle 11 (SuiteParams) + + SuiteParams aller à l'état 42 + + +État 24 + + 6 Main: tINT tMAIN tPO tPF Body . + + $défaut réduction par utilisation de la règle 6 (Main) + + +État 25 + + 25 Type: tINT . + + $défaut réduction par utilisation de la règle 25 (Type) + + +État 26 + + 54 Print: tPRINT . tPO tVAR tPF tPV + + tPO décalage et aller à l'état 43 + + +État 27 + + 18 Instruction: tRETURN . + + $défaut réduction par utilisation de la règle 18 (Instruction) + + +État 28 + + 40 If: tIF . tPO Cond tPF Body Else + + tPO décalage et aller à l'état 44 + + +État 29 + + 44 While: tWHILE . tPO Cond tPF Body + + tPO décalage et aller à l'état 45 + + +État 30 + + 26 Type: tCONST . tINT + + tINT décalage et aller à l'état 46 + + +État 31 + + 29 Affbis: tVAR . tAFFECTATION E + 55 Invocation: tVAR . tPO Args tPF + + tPO décalage et aller à l'état 47 + tAFFECTATION décalage et aller à l'état 48 + + +État 32 + + 12 Body: tAO Instructions . tAF + + tAF décalage et aller à l'état 49 + + +État 33 + + 13 Instructions: Instruction . Instructions + + tINT décalage et aller à l'état 25 + tPRINT décalage et aller à l'état 26 + tRETURN décalage et aller à l'état 27 + tIF décalage et aller à l'état 28 + tWHILE décalage et aller à l'état 29 + tCONST décalage et aller à l'état 30 + tVAR décalage et aller à l'état 31 + + $défaut réduction par utilisation de la règle 14 (Instructions) + + Instructions aller à l'état 50 + Instruction aller à l'état 33 + Decl aller à l'état 34 + Type aller à l'état 35 + Affbis aller à l'état 36 + Aff aller à l'état 37 + If aller à l'état 38 + While aller à l'état 39 + Print aller à l'état 40 + Invocation aller à l'état 41 + + +État 34 + + 20 Instruction: Decl . + + $défaut réduction par utilisation de la règle 20 (Instruction) + + +État 35 + + 22 Decl: Type . Valeur SuiteDecl tPV + + tVAR décalage et aller à l'état 51 + + Valeur aller à l'état 52 + Affbis aller à l'état 53 + + +État 36 + + 30 Aff: Affbis . tPV + + tPV décalage et aller à l'état 54 + + +État 37 + + 15 Instruction: Aff . + + $défaut réduction par utilisation de la règle 15 (Instruction) + + +État 38 + + 16 Instruction: If . + + $défaut réduction par utilisation de la règle 16 (Instruction) + + +État 39 + + 17 Instruction: While . + + $défaut réduction par utilisation de la règle 17 (Instruction) + + +État 40 + + 19 Instruction: Print . + + $défaut réduction par utilisation de la règle 19 (Instruction) + + +État 41 + + 21 Instruction: Invocation . tPV + + tPV décalage et aller à l'état 55 + + +État 42 + + 10 SuiteParams: tVIRGULE Param SuiteParams . + + $défaut réduction par utilisation de la règle 10 (SuiteParams) + + +État 43 + + 54 Print: tPRINT tPO . tVAR tPF tPV + + tVAR décalage et aller à l'état 56 + + +État 44 + + 40 If: tIF tPO . Cond tPF Body Else + + tENTIER décalage et aller à l'état 57 + tSUB décalage et aller à l'état 58 + tPO décalage et aller à l'état 59 + tVAR décalage et aller à l'état 60 + tNOT décalage et aller à l'état 61 + + E aller à l'état 62 + Cond aller à l'état 63 + Invocation aller à l'état 64 + + +État 45 + + 44 While: tWHILE tPO . Cond tPF Body + + tENTIER décalage et aller à l'état 57 + tSUB décalage et aller à l'état 58 + tPO décalage et aller à l'état 59 + tVAR décalage et aller à l'état 60 + tNOT décalage et aller à l'état 61 + + E aller à l'état 62 + Cond aller à l'état 65 + Invocation aller à l'état 64 + + +État 46 + + 26 Type: tCONST tINT . + + $défaut réduction par utilisation de la règle 26 (Type) + + +État 47 + + 55 Invocation: tVAR tPO . Args tPF + + $défaut réduction par utilisation de la règle 56 (Args) + + Args aller à l'état 66 + + +État 48 + + 29 Affbis: tVAR tAFFECTATION . E + + tENTIER décalage et aller à l'état 57 + tSUB décalage et aller à l'état 58 + tPO décalage et aller à l'état 59 + tVAR décalage et aller à l'état 60 + + E aller à l'état 67 + Invocation aller à l'état 64 + + +État 49 + + 12 Body: tAO Instructions tAF . + + $défaut réduction par utilisation de la règle 12 (Body) + + +État 50 + + 13 Instructions: Instruction Instructions . + + $défaut réduction par utilisation de la règle 13 (Instructions) + + +État 51 + + 27 Valeur: tVAR . + 29 Affbis: tVAR . tAFFECTATION E + + tAFFECTATION décalage et aller à l'état 48 + + $défaut réduction par utilisation de la règle 27 (Valeur) + + +État 52 + + 22 Decl: Type Valeur . SuiteDecl tPV + + tVIRGULE décalage et aller à l'état 68 + + $défaut réduction par utilisation de la règle 24 (SuiteDecl) + + SuiteDecl aller à l'état 69 + + +État 53 + + 28 Valeur: Affbis . + + $défaut réduction par utilisation de la règle 28 (Valeur) + + +État 54 + + 30 Aff: Affbis tPV . + + $défaut réduction par utilisation de la règle 30 (Aff) + + +État 55 + + 21 Instruction: Invocation tPV . + + $défaut réduction par utilisation de la règle 21 (Instruction) + + +État 56 + + 54 Print: tPRINT tPO tVAR . tPF tPV + + tPF décalage et aller à l'état 70 + + +État 57 + + 31 E: tENTIER . + + $défaut réduction par utilisation de la règle 31 (E) + + +État 58 + + 39 E: tSUB . E + + tENTIER décalage et aller à l'état 57 + tSUB décalage et aller à l'état 58 + tPO décalage et aller à l'état 59 + tVAR décalage et aller à l'état 60 + + E aller à l'état 71 + Invocation aller à l'état 64 + + +État 59 + + 38 E: tPO . E tPF + + tENTIER décalage et aller à l'état 57 + tSUB décalage et aller à l'état 58 + tPO décalage et aller à l'état 59 + tVAR décalage et aller à l'état 60 + + E aller à l'état 72 + Invocation aller à l'état 64 + + +État 60 + + 32 E: tVAR . + 55 Invocation: tVAR . tPO Args tPF + + tPO décalage et aller à l'état 47 + + $défaut réduction par utilisation de la règle 32 (E) + + +État 61 + + 53 Cond: tNOT . Cond + + tENTIER décalage et aller à l'état 57 + tSUB décalage et aller à l'état 58 + tPO décalage et aller à l'état 59 + tVAR décalage et aller à l'état 60 + tNOT décalage et aller à l'état 61 + + E aller à l'état 62 + Cond aller à l'état 73 + Invocation aller à l'état 64 + + +État 62 + + 33 E: E . tADD E + 34 | E . tMUL E + 35 | E . tSUB E + 36 | E . tDIV E + 47 Cond: E . tEGAL E + 48 | E . tDIFF E + 49 | E . tLT E + 50 | E . tGT E + 51 | E . tLTE E + 52 | E . tGTE E + + tADD décalage et aller à l'état 74 + tSUB décalage et aller à l'état 75 + tMUL décalage et aller à l'état 76 + tDIV décalage et aller à l'état 77 + tEGAL décalage et aller à l'état 78 + tDIFF décalage et aller à l'état 79 + tLT décalage et aller à l'état 80 + tGT décalage et aller à l'état 81 + tGTE décalage et aller à l'état 82 + tLTE décalage et aller à l'état 83 + + +État 63 + + 40 If: tIF tPO Cond . tPF Body Else + 45 Cond: Cond . tAND Cond + 46 | Cond . tOR Cond + + tPF décalage et aller à l'état 84 + tOR décalage et aller à l'état 85 + tAND décalage et aller à l'état 86 + + +État 64 + + 37 E: Invocation . + + $défaut réduction par utilisation de la règle 37 (E) + + +État 65 + + 44 While: tWHILE tPO Cond . tPF Body + 45 Cond: Cond . tAND Cond + 46 | Cond . tOR Cond + + tPF décalage et aller à l'état 87 + tOR décalage et aller à l'état 85 + tAND décalage et aller à l'état 86 + + +État 66 + + 55 Invocation: tVAR tPO Args . tPF + + tPF décalage et aller à l'état 88 + + +État 67 + + 29 Affbis: tVAR tAFFECTATION E . + 33 E: E . tADD E + 34 | E . tMUL E + 35 | E . tSUB E + 36 | E . tDIV E + + tADD décalage et aller à l'état 74 + tSUB décalage et aller à l'état 75 + tMUL décalage et aller à l'état 76 + tDIV décalage et aller à l'état 77 + + $défaut réduction par utilisation de la règle 29 (Affbis) + + +État 68 + + 23 SuiteDecl: tVIRGULE . Valeur SuiteDecl + + tVAR décalage et aller à l'état 51 + + Valeur aller à l'état 89 + Affbis aller à l'état 53 + + +État 69 + + 22 Decl: Type Valeur SuiteDecl . tPV + + tPV décalage et aller à l'état 90 + + +État 70 + + 54 Print: tPRINT tPO tVAR tPF . tPV + + tPV décalage et aller à l'état 91 + + +État 71 + + 33 E: E . tADD E + 34 | E . tMUL E + 35 | E . tSUB E + 36 | E . tDIV E + 39 | tSUB E . + + tMUL décalage et aller à l'état 76 + tDIV décalage et aller à l'état 77 + + tMUL [réduction par utilisation de la règle 39 (E)] + tDIV [réduction par utilisation de la règle 39 (E)] + $défaut réduction par utilisation de la règle 39 (E) + + +État 72 + + 33 E: E . tADD E + 34 | E . tMUL E + 35 | E . tSUB E + 36 | E . tDIV E + 38 | tPO E . tPF + + tADD décalage et aller à l'état 74 + tSUB décalage et aller à l'état 75 + tMUL décalage et aller à l'état 76 + tDIV décalage et aller à l'état 77 + tPF décalage et aller à l'état 92 + + +État 73 + + 45 Cond: Cond . tAND Cond + 46 | Cond . tOR Cond + 53 | tNOT Cond . + + tOR décalage et aller à l'état 85 + tAND décalage et aller à l'état 86 + + tOR [réduction par utilisation de la règle 53 (Cond)] + tAND [réduction par utilisation de la règle 53 (Cond)] + $défaut réduction par utilisation de la règle 53 (Cond) + + +État 74 + + 33 E: E tADD . E + + tENTIER décalage et aller à l'état 57 + tSUB décalage et aller à l'état 58 + tPO décalage et aller à l'état 59 + tVAR décalage et aller à l'état 60 + + E aller à l'état 93 + Invocation aller à l'état 64 + + +État 75 + + 35 E: E tSUB . E + + tENTIER décalage et aller à l'état 57 + tSUB décalage et aller à l'état 58 + tPO décalage et aller à l'état 59 + tVAR décalage et aller à l'état 60 + + E aller à l'état 94 + Invocation aller à l'état 64 + + +État 76 + + 34 E: E tMUL . E + + tENTIER décalage et aller à l'état 57 + tSUB décalage et aller à l'état 58 + tPO décalage et aller à l'état 59 + tVAR décalage et aller à l'état 60 + + E aller à l'état 95 + Invocation aller à l'état 64 + + +État 77 + + 36 E: E tDIV . E + + tENTIER décalage et aller à l'état 57 + tSUB décalage et aller à l'état 58 + tPO décalage et aller à l'état 59 + tVAR décalage et aller à l'état 60 + + E aller à l'état 96 + Invocation aller à l'état 64 + + +État 78 + + 47 Cond: E tEGAL . E + + tENTIER décalage et aller à l'état 57 + tSUB décalage et aller à l'état 58 + tPO décalage et aller à l'état 59 + tVAR décalage et aller à l'état 60 + + E aller à l'état 97 + Invocation aller à l'état 64 + + +État 79 + + 48 Cond: E tDIFF . E + + tENTIER décalage et aller à l'état 57 + tSUB décalage et aller à l'état 58 + tPO décalage et aller à l'état 59 + tVAR décalage et aller à l'état 60 + + E aller à l'état 98 + Invocation aller à l'état 64 + + +État 80 + + 49 Cond: E tLT . E + + tENTIER décalage et aller à l'état 57 + tSUB décalage et aller à l'état 58 + tPO décalage et aller à l'état 59 + tVAR décalage et aller à l'état 60 + + E aller à l'état 99 + Invocation aller à l'état 64 + + +État 81 + + 50 Cond: E tGT . E + + tENTIER décalage et aller à l'état 57 + tSUB décalage et aller à l'état 58 + tPO décalage et aller à l'état 59 + tVAR décalage et aller à l'état 60 + + E aller à l'état 100 + Invocation aller à l'état 64 + + +État 82 + + 52 Cond: E tGTE . E + + tENTIER décalage et aller à l'état 57 + tSUB décalage et aller à l'état 58 + tPO décalage et aller à l'état 59 + tVAR décalage et aller à l'état 60 + + E aller à l'état 101 + Invocation aller à l'état 64 + + +État 83 + + 51 Cond: E tLTE . E + + tENTIER décalage et aller à l'état 57 + tSUB décalage et aller à l'état 58 + tPO décalage et aller à l'état 59 + tVAR décalage et aller à l'état 60 + + E aller à l'état 102 + Invocation aller à l'état 64 + + +État 84 + + 40 If: tIF tPO Cond tPF . Body Else + + tAO décalage et aller à l'état 21 + + Body aller à l'état 103 + + +État 85 + + 46 Cond: Cond tOR . Cond + + tENTIER décalage et aller à l'état 57 + tSUB décalage et aller à l'état 58 + tPO décalage et aller à l'état 59 + tVAR décalage et aller à l'état 60 + tNOT décalage et aller à l'état 61 + + E aller à l'état 62 + Cond aller à l'état 104 + Invocation aller à l'état 64 + + +État 86 + + 45 Cond: Cond tAND . Cond + + tENTIER décalage et aller à l'état 57 + tSUB décalage et aller à l'état 58 + tPO décalage et aller à l'état 59 + tVAR décalage et aller à l'état 60 + tNOT décalage et aller à l'état 61 + + E aller à l'état 62 + Cond aller à l'état 105 + Invocation aller à l'état 64 + + +État 87 + + 44 While: tWHILE tPO Cond tPF . Body + + tAO décalage et aller à l'état 21 + + Body aller à l'état 106 + + +État 88 + + 55 Invocation: tVAR tPO Args tPF . + + $défaut réduction par utilisation de la règle 55 (Invocation) + + +État 89 + + 23 SuiteDecl: tVIRGULE Valeur . SuiteDecl + + tVIRGULE décalage et aller à l'état 68 + + $défaut réduction par utilisation de la règle 24 (SuiteDecl) + + SuiteDecl aller à l'état 107 + + +État 90 + + 22 Decl: Type Valeur SuiteDecl tPV . + + $défaut réduction par utilisation de la règle 22 (Decl) + + +État 91 + + 54 Print: tPRINT tPO tVAR tPF tPV . + + $défaut réduction par utilisation de la règle 54 (Print) + + +État 92 + + 38 E: tPO E tPF . + + $défaut réduction par utilisation de la règle 38 (E) + + +État 93 + + 33 E: E . tADD E + 33 | E tADD E . + 34 | E . tMUL E + 35 | E . tSUB E + 36 | E . tDIV E + + tSUB décalage et aller à l'état 75 + tMUL décalage et aller à l'état 76 + tDIV décalage et aller à l'état 77 + + tMUL [réduction par utilisation de la règle 33 (E)] + tDIV [réduction par utilisation de la règle 33 (E)] + $défaut réduction par utilisation de la règle 33 (E) + + +État 94 + + 33 E: E . tADD E + 34 | E . tMUL E + 35 | E . tSUB E + 35 | E tSUB E . + 36 | E . tDIV E + + tMUL décalage et aller à l'état 76 + tDIV décalage et aller à l'état 77 + + tMUL [réduction par utilisation de la règle 35 (E)] + tDIV [réduction par utilisation de la règle 35 (E)] + $défaut réduction par utilisation de la règle 35 (E) + + +État 95 + + 33 E: E . tADD E + 34 | E . tMUL E + 34 | E tMUL E . + 35 | E . tSUB E + 36 | E . tDIV E + + tADD décalage et aller à l'état 74 + tSUB décalage et aller à l'état 75 + tMUL décalage et aller à l'état 76 + tDIV décalage et aller à l'état 77 + + tADD [réduction par utilisation de la règle 34 (E)] + tSUB [réduction par utilisation de la règle 34 (E)] + tMUL [réduction par utilisation de la règle 34 (E)] + tDIV [réduction par utilisation de la règle 34 (E)] + $défaut réduction par utilisation de la règle 34 (E) + + +État 96 + + 33 E: E . tADD E + 34 | E . tMUL E + 35 | E . tSUB E + 36 | E . tDIV E + 36 | E tDIV E . + + tADD décalage et aller à l'état 74 + tSUB décalage et aller à l'état 75 + tMUL décalage et aller à l'état 76 + tDIV décalage et aller à l'état 77 + + tADD [réduction par utilisation de la règle 36 (E)] + tSUB [réduction par utilisation de la règle 36 (E)] + tMUL [réduction par utilisation de la règle 36 (E)] + tDIV [réduction par utilisation de la règle 36 (E)] + $défaut réduction par utilisation de la règle 36 (E) + + +État 97 + + 33 E: E . tADD E + 34 | E . tMUL E + 35 | E . tSUB E + 36 | E . tDIV E + 47 Cond: E tEGAL E . + + tADD décalage et aller à l'état 74 + tSUB décalage et aller à l'état 75 + tMUL décalage et aller à l'état 76 + tDIV décalage et aller à l'état 77 + + $défaut réduction par utilisation de la règle 47 (Cond) + + +État 98 + + 33 E: E . tADD E + 34 | E . tMUL E + 35 | E . tSUB E + 36 | E . tDIV E + 48 Cond: E tDIFF E . + + tADD décalage et aller à l'état 74 + tSUB décalage et aller à l'état 75 + tMUL décalage et aller à l'état 76 + tDIV décalage et aller à l'état 77 + + $défaut réduction par utilisation de la règle 48 (Cond) + + +État 99 + + 33 E: E . tADD E + 34 | E . tMUL E + 35 | E . tSUB E + 36 | E . tDIV E + 49 Cond: E tLT E . + + tADD décalage et aller à l'état 74 + tSUB décalage et aller à l'état 75 + tMUL décalage et aller à l'état 76 + tDIV décalage et aller à l'état 77 + + $défaut réduction par utilisation de la règle 49 (Cond) + + +État 100 + + 33 E: E . tADD E + 34 | E . tMUL E + 35 | E . tSUB E + 36 | E . tDIV E + 50 Cond: E tGT E . + + tADD décalage et aller à l'état 74 + tSUB décalage et aller à l'état 75 + tMUL décalage et aller à l'état 76 + tDIV décalage et aller à l'état 77 + + $défaut réduction par utilisation de la règle 50 (Cond) + + +État 101 + + 33 E: E . tADD E + 34 | E . tMUL E + 35 | E . tSUB E + 36 | E . tDIV E + 52 Cond: E tGTE E . + + tADD décalage et aller à l'état 74 + tSUB décalage et aller à l'état 75 + tMUL décalage et aller à l'état 76 + tDIV décalage et aller à l'état 77 + + $défaut réduction par utilisation de la règle 52 (Cond) + + +État 102 + + 33 E: E . tADD E + 34 | E . tMUL E + 35 | E . tSUB E + 36 | E . tDIV E + 51 Cond: E tLTE E . + + tADD décalage et aller à l'état 74 + tSUB décalage et aller à l'état 75 + tMUL décalage et aller à l'état 76 + tDIV décalage et aller à l'état 77 + + $défaut réduction par utilisation de la règle 51 (Cond) + + +État 103 + + 40 If: tIF tPO Cond tPF Body . Else + + tELSE décalage et aller à l'état 108 + + $défaut réduction par utilisation de la règle 41 (Else) + + Else aller à l'état 109 + + +État 104 + + 45 Cond: Cond . tAND Cond + 46 | Cond . tOR Cond + 46 | Cond tOR Cond . + + tOR décalage et aller à l'état 85 + tAND décalage et aller à l'état 86 + + tOR [réduction par utilisation de la règle 46 (Cond)] + tAND [réduction par utilisation de la règle 46 (Cond)] + $défaut réduction par utilisation de la règle 46 (Cond) + + +État 105 + + 45 Cond: Cond . tAND Cond + 45 | Cond tAND Cond . + 46 | Cond . tOR Cond + + tOR décalage et aller à l'état 85 + tAND décalage et aller à l'état 86 + + tOR [réduction par utilisation de la règle 45 (Cond)] + tAND [réduction par utilisation de la règle 45 (Cond)] + $défaut réduction par utilisation de la règle 45 (Cond) + + +État 106 + + 44 While: tWHILE tPO Cond tPF Body . + + $défaut réduction par utilisation de la règle 44 (While) + + +État 107 + + 23 SuiteDecl: tVIRGULE Valeur SuiteDecl . + + $défaut réduction par utilisation de la règle 23 (SuiteDecl) + + +État 108 + + 42 Else: tELSE . Body + 43 | tELSE . tIF tPO Cond tPF Body Else + + tAO décalage et aller à l'état 21 + tIF décalage et aller à l'état 110 + + Body aller à l'état 111 + + +État 109 + + 40 If: tIF tPO Cond tPF Body Else . + + $défaut réduction par utilisation de la règle 40 (If) + + +État 110 + + 43 Else: tELSE tIF . tPO Cond tPF Body Else + + tPO décalage et aller à l'état 112 + + +État 111 + + 42 Else: tELSE Body . + + $défaut réduction par utilisation de la règle 42 (Else) + + +État 112 + + 43 Else: tELSE tIF tPO . Cond tPF Body Else + + tENTIER décalage et aller à l'état 57 + tSUB décalage et aller à l'état 58 + tPO décalage et aller à l'état 59 + tVAR décalage et aller à l'état 60 + tNOT décalage et aller à l'état 61 + + E aller à l'état 62 + Cond aller à l'état 113 + Invocation aller à l'état 64 + + +État 113 + + 43 Else: tELSE tIF tPO Cond . tPF Body Else + 45 Cond: Cond . tAND Cond + 46 | Cond . tOR Cond + + tPF décalage et aller à l'état 114 + tOR décalage et aller à l'état 85 + tAND décalage et aller à l'état 86 + + +État 114 + + 43 Else: tELSE tIF tPO Cond tPF . Body Else + + tAO décalage et aller à l'état 21 + + Body aller à l'état 115 + + +État 115 + + 43 Else: tELSE tIF tPO Cond tPF Body . Else + + tELSE décalage et aller à l'état 108 + + $défaut réduction par utilisation de la règle 41 (Else) + + Else aller à l'état 116 + + +État 116 + + 43 Else: tELSE tIF tPO Cond tPF Body Else . + + $défaut réduction par utilisation de la règle 43 (Else) diff --git a/analyse_syntaxique.tab.c b/analyse_syntaxique.tab.c new file mode 100644 index 0000000..ff3337a --- /dev/null +++ b/analyse_syntaxique.tab.c @@ -0,0 +1,1543 @@ +/* A Bison parser, made by GNU Bison 3.0.4. */ + +/* Bison implementation for Yacc-like parsers in C + + Copyright (C) 1984, 1989-1990, 2000-2015 Free Software Foundation, Inc. + + This program is free software: you can redistribute it and/or modify + it under the terms of the GNU General Public License as published by + the Free Software Foundation, either version 3 of the License, or + (at your option) any later version. + + This program is distributed in the hope that it will be useful, + but WITHOUT ANY WARRANTY; without even the implied warranty of + MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the + GNU General Public License for more details. + + You should have received a copy of the GNU General Public License + along with this program. If not, see . */ + +/* As a special exception, you may create a larger work that contains + part or all of the Bison parser skeleton and distribute that work + under terms of your choice, so long as that work isn't itself a + parser generator using the skeleton or a modified version thereof + as a parser skeleton. Alternatively, if you modify or redistribute + the parser skeleton itself, you may (at your option) remove this + special exception, which will cause the skeleton and the resulting + Bison output files to be licensed under the GNU General Public + License without this special exception. + + This special exception was added by the Free Software Foundation in + version 2.2 of Bison. */ + +/* C LALR(1) parser skeleton written by Richard Stallman, by + simplifying the original so-called "semantic" parser. */ + +/* All symbols defined below should begin with yy or YY, to avoid + infringing on user name space. This should be done even for local + variables, as they might otherwise be expanded by user macros. + There are some unavoidable exceptions within include files to + define necessary library symbols; they are noted "INFRINGES ON + USER NAME SPACE" below. */ + +/* Identify Bison output. */ +#define YYBISON 1 + +/* Bison version. */ +#define YYBISON_VERSION "3.0.4" + +/* Skeleton name. */ +#define YYSKELETON_NAME "yacc.c" + +/* Pure parsers. */ +#define YYPURE 0 + +/* Push parsers. */ +#define YYPUSH 0 + +/* Pull parsers. */ +#define YYPULL 1 + + + + +/* Copy the first part of user declarations. */ + +#line 67 "analyse_syntaxique.tab.c" /* yacc.c:339 */ + +# ifndef YY_NULLPTR +# if defined __cplusplus && 201103L <= __cplusplus +# define YY_NULLPTR nullptr +# else +# define YY_NULLPTR 0 +# endif +# endif + +/* Enabling verbose error messages. */ +#ifdef YYERROR_VERBOSE +# undef YYERROR_VERBOSE +# define YYERROR_VERBOSE 1 +#else +# define YYERROR_VERBOSE 0 +#endif + +/* In a future release of Bison, this section will be replaced + by #include "analyse_syntaxique.tab.h". */ +#ifndef YY_YY_ANALYSE_SYNTAXIQUE_TAB_H_INCLUDED +# define YY_YY_ANALYSE_SYNTAXIQUE_TAB_H_INCLUDED +/* Debug traces. */ +#ifndef YYDEBUG +# define YYDEBUG 1 +#endif +#if YYDEBUG +extern int yydebug; +#endif + +/* Token type. */ +#ifndef YYTOKENTYPE +# define YYTOKENTYPE + enum yytokentype + { + tENTIER = 258, + tADD = 259, + tSUB = 260, + tMUL = 261, + tDIV = 262, + tPO = 263, + tPF = 264, + tAO = 265, + tAF = 266, + tERROR = 267, + tPV = 268, + tVIRGULE = 269, + tAFFECTATION = 270, + tEGAL = 271, + tDIFF = 272, + tLT = 273, + tGT = 274, + tGTE = 275, + tLTE = 276, + tMAIN = 277, + tINT = 278, + tPRINT = 279, + tRETURN = 280, + tOR = 281, + tAND = 282, + tIF = 283, + tELSE = 284, + tWHILE = 285, + tCONST = 286, + tVAR = 287, + tNOT = 288 + }; +#endif + +/* Value type. */ +#if ! defined YYSTYPE && ! defined YYSTYPE_IS_DECLARED + +union YYSTYPE +{ +#line 1 "analyse_syntaxique.y" /* yacc.c:355 */ + +int nombre; + +#line 145 "analyse_syntaxique.tab.c" /* yacc.c:355 */ +}; + +typedef union YYSTYPE YYSTYPE; +# define YYSTYPE_IS_TRIVIAL 1 +# define YYSTYPE_IS_DECLARED 1 +#endif + + +extern YYSTYPE yylval; + +int yyparse (void); + +#endif /* !YY_YY_ANALYSE_SYNTAXIQUE_TAB_H_INCLUDED */ + +/* Copy the second part of user declarations. */ + +#line 162 "analyse_syntaxique.tab.c" /* yacc.c:358 */ + +#ifdef short +# undef short +#endif + +#ifdef YYTYPE_UINT8 +typedef YYTYPE_UINT8 yytype_uint8; +#else +typedef unsigned char yytype_uint8; +#endif + +#ifdef YYTYPE_INT8 +typedef YYTYPE_INT8 yytype_int8; +#else +typedef signed char yytype_int8; +#endif + +#ifdef YYTYPE_UINT16 +typedef YYTYPE_UINT16 yytype_uint16; +#else +typedef unsigned short int yytype_uint16; +#endif + +#ifdef YYTYPE_INT16 +typedef YYTYPE_INT16 yytype_int16; +#else +typedef short int yytype_int16; +#endif + +#ifndef YYSIZE_T +# ifdef __SIZE_TYPE__ +# define YYSIZE_T __SIZE_TYPE__ +# elif defined size_t +# define YYSIZE_T size_t +# elif ! defined YYSIZE_T +# include /* INFRINGES ON USER NAME SPACE */ +# define YYSIZE_T size_t +# else +# define YYSIZE_T unsigned int +# endif +#endif + +#define YYSIZE_MAXIMUM ((YYSIZE_T) -1) + +#ifndef YY_ +# if defined YYENABLE_NLS && YYENABLE_NLS +# if ENABLE_NLS +# include /* INFRINGES ON USER NAME SPACE */ +# define YY_(Msgid) dgettext ("bison-runtime", Msgid) +# endif +# endif +# ifndef YY_ +# define YY_(Msgid) Msgid +# endif +#endif + +#ifndef YY_ATTRIBUTE +# if (defined __GNUC__ \ + && (2 < __GNUC__ || (__GNUC__ == 2 && 96 <= __GNUC_MINOR__))) \ + || defined __SUNPRO_C && 0x5110 <= __SUNPRO_C +# define YY_ATTRIBUTE(Spec) __attribute__(Spec) +# else +# define YY_ATTRIBUTE(Spec) /* empty */ +# endif +#endif + +#ifndef YY_ATTRIBUTE_PURE +# define YY_ATTRIBUTE_PURE YY_ATTRIBUTE ((__pure__)) +#endif + +#ifndef YY_ATTRIBUTE_UNUSED +# define YY_ATTRIBUTE_UNUSED YY_ATTRIBUTE ((__unused__)) +#endif + +#if !defined _Noreturn \ + && (!defined __STDC_VERSION__ || __STDC_VERSION__ < 201112) +# if defined _MSC_VER && 1200 <= _MSC_VER +# define _Noreturn __declspec (noreturn) +# else +# define _Noreturn YY_ATTRIBUTE ((__noreturn__)) +# endif +#endif + +/* Suppress unused-variable warnings by "using" E. */ +#if ! defined lint || defined __GNUC__ +# define YYUSE(E) ((void) (E)) +#else +# define YYUSE(E) /* empty */ +#endif + +#if defined __GNUC__ && 407 <= __GNUC__ * 100 + __GNUC_MINOR__ +/* Suppress an incorrect diagnostic about yylval being uninitialized. */ +# define YY_IGNORE_MAYBE_UNINITIALIZED_BEGIN \ + _Pragma ("GCC diagnostic push") \ + _Pragma ("GCC diagnostic ignored \"-Wuninitialized\"")\ + _Pragma ("GCC diagnostic ignored \"-Wmaybe-uninitialized\"") +# define YY_IGNORE_MAYBE_UNINITIALIZED_END \ + _Pragma ("GCC diagnostic pop") +#else +# define YY_INITIAL_VALUE(Value) Value +#endif +#ifndef YY_IGNORE_MAYBE_UNINITIALIZED_BEGIN +# define YY_IGNORE_MAYBE_UNINITIALIZED_BEGIN +# define YY_IGNORE_MAYBE_UNINITIALIZED_END +#endif +#ifndef YY_INITIAL_VALUE +# define YY_INITIAL_VALUE(Value) /* Nothing. */ +#endif + + +#if ! defined yyoverflow || YYERROR_VERBOSE + +/* The parser invokes alloca or malloc; define the necessary symbols. */ + +# ifdef YYSTACK_USE_ALLOCA +# if YYSTACK_USE_ALLOCA +# ifdef __GNUC__ +# define YYSTACK_ALLOC __builtin_alloca +# elif defined __BUILTIN_VA_ARG_INCR +# include /* INFRINGES ON USER NAME SPACE */ +# elif defined _AIX +# define YYSTACK_ALLOC __alloca +# elif defined _MSC_VER +# include /* INFRINGES ON USER NAME SPACE */ +# define alloca _alloca +# else +# define YYSTACK_ALLOC alloca +# if ! defined _ALLOCA_H && ! defined EXIT_SUCCESS +# include /* INFRINGES ON USER NAME SPACE */ + /* Use EXIT_SUCCESS as a witness for stdlib.h. */ +# ifndef EXIT_SUCCESS +# define EXIT_SUCCESS 0 +# endif +# endif +# endif +# endif +# endif + +# ifdef YYSTACK_ALLOC + /* Pacify GCC's 'empty if-body' warning. */ +# define YYSTACK_FREE(Ptr) do { /* empty */; } while (0) +# ifndef YYSTACK_ALLOC_MAXIMUM + /* The OS might guarantee only one guard page at the bottom of the stack, + and a page size can be as small as 4096 bytes. So we cannot safely + invoke alloca (N) if N exceeds 4096. Use a slightly smaller number + to allow for a few compiler-allocated temporary stack slots. */ +# define YYSTACK_ALLOC_MAXIMUM 4032 /* reasonable circa 2006 */ +# endif +# else +# define YYSTACK_ALLOC YYMALLOC +# define YYSTACK_FREE YYFREE +# ifndef YYSTACK_ALLOC_MAXIMUM +# define YYSTACK_ALLOC_MAXIMUM YYSIZE_MAXIMUM +# endif +# if (defined __cplusplus && ! defined EXIT_SUCCESS \ + && ! ((defined YYMALLOC || defined malloc) \ + && (defined YYFREE || defined free))) +# include /* INFRINGES ON USER NAME SPACE */ +# ifndef EXIT_SUCCESS +# define EXIT_SUCCESS 0 +# endif +# endif +# ifndef YYMALLOC +# define YYMALLOC malloc +# if ! defined malloc && ! defined EXIT_SUCCESS +void *malloc (YYSIZE_T); /* INFRINGES ON USER NAME SPACE */ +# endif +# endif +# ifndef YYFREE +# define YYFREE free +# if ! defined free && ! defined EXIT_SUCCESS +void free (void *); /* INFRINGES ON USER NAME SPACE */ +# endif +# endif +# endif +#endif /* ! defined yyoverflow || YYERROR_VERBOSE */ + + +#if (! defined yyoverflow \ + && (! defined __cplusplus \ + || (defined YYSTYPE_IS_TRIVIAL && YYSTYPE_IS_TRIVIAL))) + +/* A type that is properly aligned for any stack member. */ +union yyalloc +{ + yytype_int16 yyss_alloc; + YYSTYPE yyvs_alloc; +}; + +/* The size of the maximum gap between one aligned stack and the next. */ +# define YYSTACK_GAP_MAXIMUM (sizeof (union yyalloc) - 1) + +/* The size of an array large to enough to hold all stacks, each with + N elements. */ +# define YYSTACK_BYTES(N) \ + ((N) * (sizeof (yytype_int16) + sizeof (YYSTYPE)) \ + + YYSTACK_GAP_MAXIMUM) + +# define YYCOPY_NEEDED 1 + +/* Relocate STACK from its old location to the new one. The + local variables YYSIZE and YYSTACKSIZE give the old and new number of + elements in the stack, and YYPTR gives the new location of the + stack. Advance YYPTR to a properly aligned location for the next + stack. */ +# define YYSTACK_RELOCATE(Stack_alloc, Stack) \ + do \ + { \ + YYSIZE_T yynewbytes; \ + YYCOPY (&yyptr->Stack_alloc, Stack, yysize); \ + Stack = &yyptr->Stack_alloc; \ + yynewbytes = yystacksize * sizeof (*Stack) + YYSTACK_GAP_MAXIMUM; \ + yyptr += yynewbytes / sizeof (*yyptr); \ + } \ + while (0) + +#endif + +#if defined YYCOPY_NEEDED && YYCOPY_NEEDED +/* Copy COUNT objects from SRC to DST. The source and destination do + not overlap. */ +# ifndef YYCOPY +# if defined __GNUC__ && 1 < __GNUC__ +# define YYCOPY(Dst, Src, Count) \ + __builtin_memcpy (Dst, Src, (Count) * sizeof (*(Src))) +# else +# define YYCOPY(Dst, Src, Count) \ + do \ + { \ + YYSIZE_T yyi; \ + for (yyi = 0; yyi < (Count); yyi++) \ + (Dst)[yyi] = (Src)[yyi]; \ + } \ + while (0) +# endif +# endif +#endif /* !YYCOPY_NEEDED */ + +/* YYFINAL -- State number of the termination state. */ +#define YYFINAL 6 +/* YYLAST -- Last index in YYTABLE. */ +#define YYLAST 130 + +/* YYNTOKENS -- Number of terminals. */ +#define YYNTOKENS 34 +/* YYNNTS -- Number of nonterminals. */ +#define YYNNTS 25 +/* YYNRULES -- Number of rules. */ +#define YYNRULES 57 +/* YYNSTATES -- Number of states. */ +#define YYNSTATES 117 + +/* YYTRANSLATE[YYX] -- Symbol number corresponding to YYX as returned + by yylex, with out-of-bounds checking. */ +#define YYUNDEFTOK 2 +#define YYMAXUTOK 288 + +#define YYTRANSLATE(YYX) \ + ((unsigned int) (YYX) <= YYMAXUTOK ? yytranslate[YYX] : YYUNDEFTOK) + +/* YYTRANSLATE[TOKEN-NUM] -- Symbol number corresponding to TOKEN-NUM + as returned by yylex, without out-of-bounds checking. */ +static const yytype_uint8 yytranslate[] = +{ + 0, 2, 2, 2, 2, 2, 2, 2, 2, 2, + 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, + 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, + 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, + 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, + 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, + 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, + 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, + 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, + 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, + 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, + 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, + 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, + 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, + 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, + 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, + 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, + 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, + 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, + 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, + 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, + 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, + 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, + 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, + 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, + 2, 2, 2, 2, 2, 2, 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 +}; + +#if YYDEBUG + /* YYRLINE[YYN] -- Source line where rule number YYN was defined. */ +static const yytype_uint8 yyrline[] = +{ + 0, 47, 47, 48, 48, 48, 50, 52, 54, 54, + 55, 63, 63, 65, 67, 67, 69, 69, 69, 69, + 69, 69, 69, 71, 73, 73, 75, 75, 77, 77, + 79, 81, 83, 83, 83, 83, 83, 83, 83, 83, + 83, 87, 89, 89, 89, 91, 93, 93, 93, 93, + 93, 93, 93, 93, 93, 95, 97, 99 +}; +#endif + +#if YYDEBUG || YYERROR_VERBOSE || 0 +/* YYTNAME[SYMBOL-NUM] -- String name of the symbol SYMBOL-NUM. + First, the terminals, then, starting at YYNTOKENS, nonterminals. */ +static const char *const yytname[] = +{ + "$end", "error", "$undefined", "tENTIER", "tADD", "tSUB", "tMUL", + "tDIV", "tPO", "tPF", "tAO", "tAF", "tERROR", "tPV", "tVIRGULE", + "tAFFECTATION", "tEGAL", "tDIFF", "tLT", "tGT", "tGTE", "tLTE", "tMAIN", + "tINT", "tPRINT", "tRETURN", "tOR", "tAND", "tIF", "tELSE", "tWHILE", + "tCONST", "tVAR", "tNOT", "$accept", "C", "Fonctions", "Fonction", + "Main", "Params", "Param", "SuiteParams", "Body", "Instructions", + "Instruction", "Decl", "SuiteDecl", "Type", "Valeur", "Affbis", "Aff", + "E", "If", "Else", "While", "Cond", "Print", "Invocation", "Args", YY_NULLPTR +}; +#endif + +# ifdef YYPRINT +/* YYTOKNUM[NUM] -- (External) token number corresponding to the + (internal) symbol number NUM (which must be that of a token). */ +static const yytype_uint16 yytoknum[] = +{ + 0, 256, 257, 258, 259, 260, 261, 262, 263, 264, + 265, 266, 267, 268, 269, 270, 271, 272, 273, 274, + 275, 276, 277, 278, 279, 280, 281, 282, 283, 284, + 285, 286, 287, 288 +}; +# endif + +#define YYPACT_NINF -47 + +#define yypact_value_is_default(Yystate) \ + (!!((Yystate) == (-47))) + +#define YYTABLE_NINF -1 + +#define yytable_value_is_error(Yytable_value) \ + 0 + + /* YYPACT[STATE-NUM] -- Index in YYTABLE of the portion describing + STATE-NUM. */ +static const yytype_int8 yypact[] = +{ + -17, -24, 40, 23, -17, 57, -47, 47, -47, -47, + 43, 71, 48, 73, 72, 78, -47, 83, 43, -47, + 83, 53, -47, 72, -47, -47, 87, -47, 88, 89, + 75, 37, 90, 53, -47, 67, 91, -47, -47, -47, + -47, 92, -47, 68, 11, 11, -47, -47, 15, -47, + -47, 93, 95, -47, -47, -47, 94, -47, 15, 15, + 98, 11, 54, -5, -47, -2, 101, 85, 67, 99, + 100, 4, 44, 36, 15, 15, 15, 15, 15, 15, + 15, 15, 15, 15, 83, 11, 11, 83, -47, 95, + -47, -47, -47, 49, 4, 85, 85, 85, 85, 85, + 85, 85, 85, 82, 36, 36, -47, -47, 29, -47, + 106, -47, 11, 0, 83, 82, -47 +}; + + /* YYDEFACT[STATE-NUM] -- Default reduction number in state STATE-NUM. + Performed when YYTABLE does not specify something else to do. Zero + means the default is an error. */ +static const yytype_uint8 yydefact[] = +{ + 0, 0, 0, 0, 0, 0, 1, 0, 2, 3, + 8, 0, 0, 0, 12, 0, 10, 0, 0, 9, + 0, 15, 6, 12, 7, 26, 0, 19, 0, 0, + 0, 0, 0, 15, 21, 0, 0, 16, 17, 18, + 20, 0, 11, 0, 0, 0, 27, 57, 0, 13, + 14, 28, 25, 29, 31, 22, 0, 32, 0, 0, + 33, 0, 0, 0, 38, 0, 0, 30, 0, 0, + 0, 40, 0, 54, 0, 0, 0, 0, 0, 0, + 0, 0, 0, 0, 0, 0, 0, 0, 56, 25, + 23, 55, 39, 34, 36, 35, 37, 48, 49, 50, + 51, 53, 52, 42, 47, 46, 45, 24, 0, 41, + 0, 43, 0, 0, 0, 42, 44 +}; + + /* YYPGOTO[NTERM-NUM]. */ +static const yytype_int8 yypgoto[] = +{ + -47, -47, 103, -47, -47, -47, 84, 96, -20, 97, + -47, -47, 26, -47, 50, -30, -47, -46, -47, 1, + -47, -44, -47, -18, -47 +}; + + /* YYDEFGOTO[NTERM-NUM]. */ +static const yytype_int8 yydefgoto[] = +{ + -1, 2, 3, 4, 8, 13, 14, 19, 22, 32, + 33, 34, 69, 35, 52, 36, 37, 62, 38, 109, + 39, 63, 40, 64, 66 +}; + + /* YYTABLE[YYPACT[STATE-NUM]] -- What to do in state STATE-NUM. If + positive, shift that token. If negative, reduce the rule whose + number is the opposite. If YYTABLE_NINF, syntax error. */ +static const yytype_uint8 yytable[] = +{ + 24, 65, 67, 41, 84, 53, 1, 87, 5, 114, + 76, 77, 71, 72, 57, 41, 58, 73, 57, 59, + 58, 85, 86, 59, 85, 86, 85, 86, 93, 94, + 95, 96, 97, 98, 99, 100, 101, 102, 53, 21, + 6, 104, 105, 60, 61, 47, 7, 60, 74, 75, + 76, 77, 48, 92, 75, 76, 77, 110, 74, 75, + 76, 77, 85, 86, 103, 10, 12, 106, 113, 11, + 78, 79, 80, 81, 82, 83, 25, 26, 27, 15, + 16, 28, 17, 29, 30, 31, 18, 20, 111, 74, + 75, 76, 77, 21, 115, 43, 44, 45, 46, 51, + 56, 49, 23, 70, 54, 55, 47, 9, 48, 68, + 88, 108, 90, 91, 112, 107, 116, 0, 89, 42, + 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, + 50 +}; + +static const yytype_int8 yycheck[] = +{ + 20, 45, 48, 21, 9, 35, 23, 9, 32, 9, + 6, 7, 58, 59, 3, 33, 5, 61, 3, 8, + 5, 26, 27, 8, 26, 27, 26, 27, 74, 75, + 76, 77, 78, 79, 80, 81, 82, 83, 68, 10, + 0, 85, 86, 32, 33, 8, 23, 32, 4, 5, + 6, 7, 15, 9, 5, 6, 7, 28, 4, 5, + 6, 7, 26, 27, 84, 8, 23, 87, 112, 22, + 16, 17, 18, 19, 20, 21, 23, 24, 25, 8, + 32, 28, 9, 30, 31, 32, 14, 9, 108, 4, + 5, 6, 7, 10, 114, 8, 8, 8, 23, 32, + 32, 11, 18, 9, 13, 13, 8, 4, 15, 14, + 9, 29, 13, 13, 8, 89, 115, -1, 68, 23, + -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, + 33 +}; + + /* YYSTOS[STATE-NUM] -- The (internal number of the) accessing + symbol of state STATE-NUM. */ +static const yytype_uint8 yystos[] = +{ + 0, 23, 35, 36, 37, 32, 0, 23, 38, 36, + 8, 22, 23, 39, 40, 8, 32, 9, 14, 41, + 9, 10, 42, 40, 42, 23, 24, 25, 28, 30, + 31, 32, 43, 44, 45, 47, 49, 50, 52, 54, + 56, 57, 41, 8, 8, 8, 23, 8, 15, 11, + 43, 32, 48, 49, 13, 13, 32, 3, 5, 8, + 32, 33, 51, 55, 57, 55, 58, 51, 14, 46, + 9, 51, 51, 55, 4, 5, 6, 7, 16, 17, + 18, 19, 20, 21, 9, 26, 27, 9, 9, 48, + 13, 13, 9, 51, 51, 51, 51, 51, 51, 51, + 51, 51, 51, 42, 55, 55, 42, 46, 29, 53, + 28, 42, 8, 55, 9, 42, 53 +}; + + /* YYR1[YYN] -- Symbol number of symbol that rule YYN derives. */ +static const yytype_uint8 yyr1[] = +{ + 0, 34, 35, 36, 36, 36, 37, 38, 39, 39, + 40, 41, 41, 42, 43, 43, 44, 44, 44, 44, + 44, 44, 44, 45, 46, 46, 47, 47, 48, 48, + 49, 50, 51, 51, 51, 51, 51, 51, 51, 51, + 51, 52, 53, 53, 53, 54, 55, 55, 55, 55, + 55, 55, 55, 55, 55, 56, 57, 58 +}; + + /* YYR2[YYN] -- Number of symbols on the right hand side of rule YYN. */ +static const yytype_uint8 yyr2[] = +{ + 0, 2, 2, 2, 1, 0, 6, 5, 0, 2, + 2, 3, 0, 3, 2, 0, 1, 1, 1, 1, + 1, 1, 2, 4, 3, 0, 1, 2, 1, 1, + 3, 2, 1, 1, 3, 3, 3, 3, 1, 3, + 2, 6, 0, 2, 7, 5, 3, 3, 3, 3, + 3, 3, 3, 3, 2, 5, 4, 0 +}; + + +#define yyerrok (yyerrstatus = 0) +#define yyclearin (yychar = YYEMPTY) +#define YYEMPTY (-2) +#define YYEOF 0 + +#define YYACCEPT goto yyacceptlab +#define YYABORT goto yyabortlab +#define YYERROR goto yyerrorlab + + +#define YYRECOVERING() (!!yyerrstatus) + +#define YYBACKUP(Token, Value) \ +do \ + if (yychar == YYEMPTY) \ + { \ + yychar = (Token); \ + yylval = (Value); \ + YYPOPSTACK (yylen); \ + yystate = *yyssp; \ + goto yybackup; \ + } \ + else \ + { \ + yyerror (YY_("syntax error: cannot back up")); \ + YYERROR; \ + } \ +while (0) + +/* Error token number */ +#define YYTERROR 1 +#define YYERRCODE 256 + + + +/* Enable debugging if requested. */ +#if YYDEBUG + +# ifndef YYFPRINTF +# include /* INFRINGES ON USER NAME SPACE */ +# define YYFPRINTF fprintf +# endif + +# define YYDPRINTF(Args) \ +do { \ + if (yydebug) \ + YYFPRINTF Args; \ +} while (0) + +/* This macro is provided for backward compatibility. */ +#ifndef YY_LOCATION_PRINT +# define YY_LOCATION_PRINT(File, Loc) ((void) 0) +#endif + + +# define YY_SYMBOL_PRINT(Title, Type, Value, Location) \ +do { \ + if (yydebug) \ + { \ + YYFPRINTF (stderr, "%s ", Title); \ + yy_symbol_print (stderr, \ + Type, Value); \ + YYFPRINTF (stderr, "\n"); \ + } \ +} while (0) + + +/*----------------------------------------. +| Print this symbol's value on YYOUTPUT. | +`----------------------------------------*/ + +static void +yy_symbol_value_print (FILE *yyoutput, int yytype, YYSTYPE const * const yyvaluep) +{ + FILE *yyo = yyoutput; + YYUSE (yyo); + if (!yyvaluep) + return; +# ifdef YYPRINT + if (yytype < YYNTOKENS) + YYPRINT (yyoutput, yytoknum[yytype], *yyvaluep); +# endif + YYUSE (yytype); +} + + +/*--------------------------------. +| Print this symbol on YYOUTPUT. | +`--------------------------------*/ + +static void +yy_symbol_print (FILE *yyoutput, int yytype, YYSTYPE const * const yyvaluep) +{ + YYFPRINTF (yyoutput, "%s %s (", + yytype < YYNTOKENS ? "token" : "nterm", yytname[yytype]); + + yy_symbol_value_print (yyoutput, yytype, yyvaluep); + YYFPRINTF (yyoutput, ")"); +} + +/*------------------------------------------------------------------. +| yy_stack_print -- Print the state stack from its BOTTOM up to its | +| TOP (included). | +`------------------------------------------------------------------*/ + +static void +yy_stack_print (yytype_int16 *yybottom, yytype_int16 *yytop) +{ + YYFPRINTF (stderr, "Stack now"); + for (; yybottom <= yytop; yybottom++) + { + int yybot = *yybottom; + YYFPRINTF (stderr, " %d", yybot); + } + YYFPRINTF (stderr, "\n"); +} + +# define YY_STACK_PRINT(Bottom, Top) \ +do { \ + if (yydebug) \ + yy_stack_print ((Bottom), (Top)); \ +} while (0) + + +/*------------------------------------------------. +| Report that the YYRULE is going to be reduced. | +`------------------------------------------------*/ + +static void +yy_reduce_print (yytype_int16 *yyssp, YYSTYPE *yyvsp, int yyrule) +{ + unsigned long int yylno = yyrline[yyrule]; + int yynrhs = yyr2[yyrule]; + int yyi; + YYFPRINTF (stderr, "Reducing stack by rule %d (line %lu):\n", + yyrule - 1, yylno); + /* The symbols being reduced. */ + for (yyi = 0; yyi < yynrhs; yyi++) + { + YYFPRINTF (stderr, " $%d = ", yyi + 1); + yy_symbol_print (stderr, + yystos[yyssp[yyi + 1 - yynrhs]], + &(yyvsp[(yyi + 1) - (yynrhs)]) + ); + YYFPRINTF (stderr, "\n"); + } +} + +# define YY_REDUCE_PRINT(Rule) \ +do { \ + if (yydebug) \ + yy_reduce_print (yyssp, yyvsp, Rule); \ +} while (0) + +/* Nonzero means print parse trace. It is left uninitialized so that + multiple parsers can coexist. */ +int yydebug; +#else /* !YYDEBUG */ +# define YYDPRINTF(Args) +# define YY_SYMBOL_PRINT(Title, Type, Value, Location) +# define YY_STACK_PRINT(Bottom, Top) +# define YY_REDUCE_PRINT(Rule) +#endif /* !YYDEBUG */ + + +/* YYINITDEPTH -- initial size of the parser's stacks. */ +#ifndef YYINITDEPTH +# define YYINITDEPTH 200 +#endif + +/* YYMAXDEPTH -- maximum size the stacks can grow to (effective only + if the built-in stack extension method is used). + + Do not make this value too large; the results are undefined if + YYSTACK_ALLOC_MAXIMUM < YYSTACK_BYTES (YYMAXDEPTH) + evaluated with infinite-precision integer arithmetic. */ + +#ifndef YYMAXDEPTH +# define YYMAXDEPTH 10000 +#endif + + +#if YYERROR_VERBOSE + +# ifndef yystrlen +# if defined __GLIBC__ && defined _STRING_H +# define yystrlen strlen +# else +/* Return the length of YYSTR. */ +static YYSIZE_T +yystrlen (const char *yystr) +{ + YYSIZE_T yylen; + for (yylen = 0; yystr[yylen]; yylen++) + continue; + return yylen; +} +# endif +# endif + +# ifndef yystpcpy +# if defined __GLIBC__ && defined _STRING_H && defined _GNU_SOURCE +# define yystpcpy stpcpy +# else +/* Copy YYSRC to YYDEST, returning the address of the terminating '\0' in + YYDEST. */ +static char * +yystpcpy (char *yydest, const char *yysrc) +{ + char *yyd = yydest; + const char *yys = yysrc; + + while ((*yyd++ = *yys++) != '\0') + continue; + + return yyd - 1; +} +# endif +# endif + +# ifndef yytnamerr +/* Copy to YYRES the contents of YYSTR after stripping away unnecessary + quotes and backslashes, so that it's suitable for yyerror. The + heuristic is that double-quoting is unnecessary unless the string + contains an apostrophe, a comma, or backslash (other than + backslash-backslash). YYSTR is taken from yytname. If YYRES is + null, do not copy; instead, return the length of what the result + would have been. */ +static YYSIZE_T +yytnamerr (char *yyres, const char *yystr) +{ + if (*yystr == '"') + { + YYSIZE_T yyn = 0; + char const *yyp = yystr; + + for (;;) + switch (*++yyp) + { + case '\'': + case ',': + goto do_not_strip_quotes; + + case '\\': + if (*++yyp != '\\') + goto do_not_strip_quotes; + /* Fall through. */ + default: + if (yyres) + yyres[yyn] = *yyp; + yyn++; + break; + + case '"': + if (yyres) + yyres[yyn] = '\0'; + return yyn; + } + do_not_strip_quotes: ; + } + + if (! yyres) + return yystrlen (yystr); + + return yystpcpy (yyres, yystr) - yyres; +} +# endif + +/* Copy into *YYMSG, which is of size *YYMSG_ALLOC, an error message + about the unexpected token YYTOKEN for the state stack whose top is + YYSSP. + + Return 0 if *YYMSG was successfully written. Return 1 if *YYMSG is + not large enough to hold the message. In that case, also set + *YYMSG_ALLOC to the required number of bytes. Return 2 if the + required number of bytes is too large to store. */ +static int +yysyntax_error (YYSIZE_T *yymsg_alloc, char **yymsg, + yytype_int16 *yyssp, int yytoken) +{ + YYSIZE_T yysize0 = yytnamerr (YY_NULLPTR, yytname[yytoken]); + YYSIZE_T yysize = yysize0; + enum { YYERROR_VERBOSE_ARGS_MAXIMUM = 5 }; + /* Internationalized format string. */ + const char *yyformat = YY_NULLPTR; + /* Arguments of yyformat. */ + char const *yyarg[YYERROR_VERBOSE_ARGS_MAXIMUM]; + /* Number of reported tokens (one for the "unexpected", one per + "expected"). */ + int yycount = 0; + + /* There are many possibilities here to consider: + - If this state is a consistent state with a default action, then + the only way this function was invoked is if the default action + is an error action. In that case, don't check for expected + tokens because there are none. + - The only way there can be no lookahead present (in yychar) is if + this state is a consistent state with a default action. Thus, + detecting the absence of a lookahead is sufficient to determine + that there is no unexpected or expected token to report. In that + case, just report a simple "syntax error". + - Don't assume there isn't a lookahead just because this state is a + consistent state with a default action. There might have been a + previous inconsistent state, consistent state with a non-default + action, or user semantic action that manipulated yychar. + - Of course, the expected token list depends on states to have + correct lookahead information, and it depends on the parser not + to perform extra reductions after fetching a lookahead from the + scanner and before detecting a syntax error. Thus, state merging + (from LALR or IELR) and default reductions corrupt the expected + token list. However, the list is correct for canonical LR with + one exception: it will still contain any token that will not be + accepted due to an error action in a later state. + */ + if (yytoken != YYEMPTY) + { + int yyn = yypact[*yyssp]; + yyarg[yycount++] = yytname[yytoken]; + if (!yypact_value_is_default (yyn)) + { + /* Start YYX at -YYN if negative to avoid negative indexes in + YYCHECK. In other words, skip the first -YYN actions for + this state because they are default actions. */ + int yyxbegin = yyn < 0 ? -yyn : 0; + /* Stay within bounds of both yycheck and yytname. */ + int yychecklim = YYLAST - yyn + 1; + int yyxend = yychecklim < YYNTOKENS ? yychecklim : YYNTOKENS; + int yyx; + + for (yyx = yyxbegin; yyx < yyxend; ++yyx) + if (yycheck[yyx + yyn] == yyx && yyx != YYTERROR + && !yytable_value_is_error (yytable[yyx + yyn])) + { + if (yycount == YYERROR_VERBOSE_ARGS_MAXIMUM) + { + yycount = 1; + yysize = yysize0; + break; + } + yyarg[yycount++] = yytname[yyx]; + { + YYSIZE_T yysize1 = yysize + yytnamerr (YY_NULLPTR, yytname[yyx]); + if (! (yysize <= yysize1 + && yysize1 <= YYSTACK_ALLOC_MAXIMUM)) + return 2; + yysize = yysize1; + } + } + } + } + + switch (yycount) + { +# define YYCASE_(N, S) \ + case N: \ + yyformat = S; \ + break + YYCASE_(0, YY_("syntax error")); + YYCASE_(1, YY_("syntax error, unexpected %s")); + YYCASE_(2, YY_("syntax error, unexpected %s, expecting %s")); + YYCASE_(3, YY_("syntax error, unexpected %s, expecting %s or %s")); + YYCASE_(4, YY_("syntax error, unexpected %s, expecting %s or %s or %s")); + YYCASE_(5, YY_("syntax error, unexpected %s, expecting %s or %s or %s or %s")); +# undef YYCASE_ + } + + { + YYSIZE_T yysize1 = yysize + yystrlen (yyformat); + if (! (yysize <= yysize1 && yysize1 <= YYSTACK_ALLOC_MAXIMUM)) + return 2; + yysize = yysize1; + } + + if (*yymsg_alloc < yysize) + { + *yymsg_alloc = 2 * yysize; + if (! (yysize <= *yymsg_alloc + && *yymsg_alloc <= YYSTACK_ALLOC_MAXIMUM)) + *yymsg_alloc = YYSTACK_ALLOC_MAXIMUM; + return 1; + } + + /* Avoid sprintf, as that infringes on the user's name space. + Don't have undefined behavior even if the translation + produced a string with the wrong number of "%s"s. */ + { + char *yyp = *yymsg; + int yyi = 0; + while ((*yyp = *yyformat) != '\0') + if (*yyp == '%' && yyformat[1] == 's' && yyi < yycount) + { + yyp += yytnamerr (yyp, yyarg[yyi++]); + yyformat += 2; + } + else + { + yyp++; + yyformat++; + } + } + return 0; +} +#endif /* YYERROR_VERBOSE */ + +/*-----------------------------------------------. +| Release the memory associated to this symbol. | +`-----------------------------------------------*/ + +static void +yydestruct (const char *yymsg, int yytype, YYSTYPE *yyvaluep) +{ + YYUSE (yyvaluep); + if (!yymsg) + yymsg = "Deleting"; + YY_SYMBOL_PRINT (yymsg, yytype, yyvaluep, yylocationp); + + YY_IGNORE_MAYBE_UNINITIALIZED_BEGIN + YYUSE (yytype); + YY_IGNORE_MAYBE_UNINITIALIZED_END +} + + + + +/* The lookahead symbol. */ +int yychar; + +/* The semantic value of the lookahead symbol. */ +YYSTYPE yylval; +/* Number of syntax errors so far. */ +int yynerrs; + + +/*----------. +| yyparse. | +`----------*/ + +int +yyparse (void) +{ + int yystate; + /* Number of tokens to shift before error messages enabled. */ + int yyerrstatus; + + /* The stacks and their tools: + 'yyss': related to states. + 'yyvs': related to semantic values. + + Refer to the stacks through separate pointers, to allow yyoverflow + to reallocate them elsewhere. */ + + /* The state stack. */ + yytype_int16 yyssa[YYINITDEPTH]; + yytype_int16 *yyss; + yytype_int16 *yyssp; + + /* The semantic value stack. */ + YYSTYPE yyvsa[YYINITDEPTH]; + YYSTYPE *yyvs; + YYSTYPE *yyvsp; + + YYSIZE_T yystacksize; + + int yyn; + int yyresult; + /* Lookahead token as an internal (translated) token number. */ + int yytoken = 0; + /* The variables used to return semantic value and location from the + action routines. */ + YYSTYPE yyval; + +#if YYERROR_VERBOSE + /* Buffer for error messages, and its allocated size. */ + char yymsgbuf[128]; + char *yymsg = yymsgbuf; + YYSIZE_T yymsg_alloc = sizeof yymsgbuf; +#endif + +#define YYPOPSTACK(N) (yyvsp -= (N), yyssp -= (N)) + + /* The number of symbols on the RHS of the reduced rule. + Keep to zero when no symbol should be popped. */ + int yylen = 0; + + yyssp = yyss = yyssa; + yyvsp = yyvs = yyvsa; + yystacksize = YYINITDEPTH; + + YYDPRINTF ((stderr, "Starting parse\n")); + + yystate = 0; + yyerrstatus = 0; + yynerrs = 0; + yychar = YYEMPTY; /* Cause a token to be read. */ + goto yysetstate; + +/*------------------------------------------------------------. +| yynewstate -- Push a new state, which is found in yystate. | +`------------------------------------------------------------*/ + yynewstate: + /* In all cases, when you get here, the value and location stacks + have just been pushed. So pushing a state here evens the stacks. */ + yyssp++; + + yysetstate: + *yyssp = yystate; + + if (yyss + yystacksize - 1 <= yyssp) + { + /* Get the current used size of the three stacks, in elements. */ + YYSIZE_T yysize = yyssp - yyss + 1; + +#ifdef yyoverflow + { + /* Give user a chance to reallocate the stack. Use copies of + these so that the &'s don't force the real ones into + memory. */ + YYSTYPE *yyvs1 = yyvs; + yytype_int16 *yyss1 = yyss; + + /* Each stack pointer address is followed by the size of the + data in use in that stack, in bytes. This used to be a + conditional around just the two extra args, but that might + be undefined if yyoverflow is a macro. */ + yyoverflow (YY_("memory exhausted"), + &yyss1, yysize * sizeof (*yyssp), + &yyvs1, yysize * sizeof (*yyvsp), + &yystacksize); + + yyss = yyss1; + yyvs = yyvs1; + } +#else /* no yyoverflow */ +# ifndef YYSTACK_RELOCATE + goto yyexhaustedlab; +# else + /* Extend the stack our own way. */ + if (YYMAXDEPTH <= yystacksize) + goto yyexhaustedlab; + yystacksize *= 2; + if (YYMAXDEPTH < yystacksize) + yystacksize = YYMAXDEPTH; + + { + yytype_int16 *yyss1 = yyss; + union yyalloc *yyptr = + (union yyalloc *) YYSTACK_ALLOC (YYSTACK_BYTES (yystacksize)); + if (! yyptr) + goto yyexhaustedlab; + YYSTACK_RELOCATE (yyss_alloc, yyss); + YYSTACK_RELOCATE (yyvs_alloc, yyvs); +# undef YYSTACK_RELOCATE + if (yyss1 != yyssa) + YYSTACK_FREE (yyss1); + } +# endif +#endif /* no yyoverflow */ + + yyssp = yyss + yysize - 1; + yyvsp = yyvs + yysize - 1; + + YYDPRINTF ((stderr, "Stack size increased to %lu\n", + (unsigned long int) yystacksize)); + + if (yyss + yystacksize - 1 <= yyssp) + YYABORT; + } + + YYDPRINTF ((stderr, "Entering state %d\n", yystate)); + + if (yystate == YYFINAL) + YYACCEPT; + + goto yybackup; + +/*-----------. +| yybackup. | +`-----------*/ +yybackup: + + /* Do appropriate processing given the current state. Read a + lookahead token if we need one and don't already have one. */ + + /* First try to decide what to do without reference to lookahead token. */ + yyn = yypact[yystate]; + if (yypact_value_is_default (yyn)) + goto yydefault; + + /* Not known => get a lookahead token if don't already have one. */ + + /* YYCHAR is either YYEMPTY or YYEOF or a valid lookahead symbol. */ + if (yychar == YYEMPTY) + { + YYDPRINTF ((stderr, "Reading a token: ")); + yychar = yylex (); + } + + if (yychar <= YYEOF) + { + yychar = yytoken = YYEOF; + YYDPRINTF ((stderr, "Now at end of input.\n")); + } + else + { + yytoken = YYTRANSLATE (yychar); + YY_SYMBOL_PRINT ("Next token is", yytoken, &yylval, &yylloc); + } + + /* If the proper action on seeing token YYTOKEN is to reduce or to + detect an error, take that action. */ + yyn += yytoken; + if (yyn < 0 || YYLAST < yyn || yycheck[yyn] != yytoken) + goto yydefault; + yyn = yytable[yyn]; + if (yyn <= 0) + { + if (yytable_value_is_error (yyn)) + goto yyerrlab; + yyn = -yyn; + goto yyreduce; + } + + /* Count tokens shifted since error; after three, turn off error + status. */ + if (yyerrstatus) + yyerrstatus--; + + /* Shift the lookahead token. */ + YY_SYMBOL_PRINT ("Shifting", yytoken, &yylval, &yylloc); + + /* Discard the shifted token. */ + yychar = YYEMPTY; + + yystate = yyn; + YY_IGNORE_MAYBE_UNINITIALIZED_BEGIN + *++yyvsp = yylval; + YY_IGNORE_MAYBE_UNINITIALIZED_END + + goto yynewstate; + + +/*-----------------------------------------------------------. +| yydefault -- do the default action for the current state. | +`-----------------------------------------------------------*/ +yydefault: + yyn = yydefact[yystate]; + if (yyn == 0) + goto yyerrlab; + goto yyreduce; + + +/*-----------------------------. +| yyreduce -- Do a reduction. | +`-----------------------------*/ +yyreduce: + /* yyn is the number of a rule to reduce with. */ + yylen = yyr2[yyn]; + + /* If YYLEN is nonzero, implement the default value of the action: + '$$ = $1'. + + Otherwise, the following line sets YYVAL to garbage. + This behavior is undocumented and Bison + users should not rely upon it. Assigning to YYVAL + unconditionally makes the parser a bit smaller, and it avoids a + GCC warning that YYVAL may be used uninitialized. */ + yyval = yyvsp[1-yylen]; + + + YY_REDUCE_PRINT (yyn); + switch (yyn) + { + +#line 1315 "analyse_syntaxique.tab.c" /* yacc.c:1646 */ + default: break; + } + /* User semantic actions sometimes alter yychar, and that requires + that yytoken be updated with the new translation. We take the + approach of translating immediately before every use of yytoken. + One alternative is translating here after every semantic action, + but that translation would be missed if the semantic action invokes + YYABORT, YYACCEPT, or YYERROR immediately after altering yychar or + if it invokes YYBACKUP. In the case of YYABORT or YYACCEPT, an + incorrect destructor might then be invoked immediately. In the + case of YYERROR or YYBACKUP, subsequent parser actions might lead + to an incorrect destructor call or verbose syntax error message + before the lookahead is translated. */ + YY_SYMBOL_PRINT ("-> $$ =", yyr1[yyn], &yyval, &yyloc); + + YYPOPSTACK (yylen); + yylen = 0; + YY_STACK_PRINT (yyss, yyssp); + + *++yyvsp = yyval; + + /* Now 'shift' the result of the reduction. Determine what state + that goes to, based on the state we popped back to and the rule + number reduced by. */ + + yyn = yyr1[yyn]; + + yystate = yypgoto[yyn - YYNTOKENS] + *yyssp; + if (0 <= yystate && yystate <= YYLAST && yycheck[yystate] == *yyssp) + yystate = yytable[yystate]; + else + yystate = yydefgoto[yyn - YYNTOKENS]; + + goto yynewstate; + + +/*--------------------------------------. +| yyerrlab -- here on detecting error. | +`--------------------------------------*/ +yyerrlab: + /* Make sure we have latest lookahead translation. See comments at + user semantic actions for why this is necessary. */ + yytoken = yychar == YYEMPTY ? YYEMPTY : YYTRANSLATE (yychar); + + /* If not already recovering from an error, report this error. */ + if (!yyerrstatus) + { + ++yynerrs; +#if ! YYERROR_VERBOSE + yyerror (YY_("syntax error")); +#else +# define YYSYNTAX_ERROR yysyntax_error (&yymsg_alloc, &yymsg, \ + yyssp, yytoken) + { + char const *yymsgp = YY_("syntax error"); + int yysyntax_error_status; + yysyntax_error_status = YYSYNTAX_ERROR; + if (yysyntax_error_status == 0) + yymsgp = yymsg; + else if (yysyntax_error_status == 1) + { + if (yymsg != yymsgbuf) + YYSTACK_FREE (yymsg); + yymsg = (char *) YYSTACK_ALLOC (yymsg_alloc); + if (!yymsg) + { + yymsg = yymsgbuf; + yymsg_alloc = sizeof yymsgbuf; + yysyntax_error_status = 2; + } + else + { + yysyntax_error_status = YYSYNTAX_ERROR; + yymsgp = yymsg; + } + } + yyerror (yymsgp); + if (yysyntax_error_status == 2) + goto yyexhaustedlab; + } +# undef YYSYNTAX_ERROR +#endif + } + + + + if (yyerrstatus == 3) + { + /* If just tried and failed to reuse lookahead token after an + error, discard it. */ + + if (yychar <= YYEOF) + { + /* Return failure if at end of input. */ + if (yychar == YYEOF) + YYABORT; + } + else + { + yydestruct ("Error: discarding", + yytoken, &yylval); + yychar = YYEMPTY; + } + } + + /* Else will try to reuse lookahead token after shifting the error + token. */ + goto yyerrlab1; + + +/*---------------------------------------------------. +| yyerrorlab -- error raised explicitly by YYERROR. | +`---------------------------------------------------*/ +yyerrorlab: + + /* Pacify compilers like GCC when the user code never invokes + YYERROR and the label yyerrorlab therefore never appears in user + code. */ + if (/*CONSTCOND*/ 0) + goto yyerrorlab; + + /* Do not reclaim the symbols of the rule whose action triggered + this YYERROR. */ + YYPOPSTACK (yylen); + yylen = 0; + YY_STACK_PRINT (yyss, yyssp); + yystate = *yyssp; + goto yyerrlab1; + + +/*-------------------------------------------------------------. +| yyerrlab1 -- common code for both syntax error and YYERROR. | +`-------------------------------------------------------------*/ +yyerrlab1: + yyerrstatus = 3; /* Each real token shifted decrements this. */ + + for (;;) + { + yyn = yypact[yystate]; + if (!yypact_value_is_default (yyn)) + { + yyn += YYTERROR; + if (0 <= yyn && yyn <= YYLAST && yycheck[yyn] == YYTERROR) + { + yyn = yytable[yyn]; + if (0 < yyn) + break; + } + } + + /* Pop the current state because it cannot handle the error token. */ + if (yyssp == yyss) + YYABORT; + + + yydestruct ("Error: popping", + yystos[yystate], yyvsp); + YYPOPSTACK (1); + yystate = *yyssp; + YY_STACK_PRINT (yyss, yyssp); + } + + YY_IGNORE_MAYBE_UNINITIALIZED_BEGIN + *++yyvsp = yylval; + YY_IGNORE_MAYBE_UNINITIALIZED_END + + + /* Shift the error token. */ + YY_SYMBOL_PRINT ("Shifting", yystos[yyn], yyvsp, yylsp); + + yystate = yyn; + goto yynewstate; + + +/*-------------------------------------. +| yyacceptlab -- YYACCEPT comes here. | +`-------------------------------------*/ +yyacceptlab: + yyresult = 0; + goto yyreturn; + +/*-----------------------------------. +| yyabortlab -- YYABORT comes here. | +`-----------------------------------*/ +yyabortlab: + yyresult = 1; + goto yyreturn; + +#if !defined yyoverflow || YYERROR_VERBOSE +/*-------------------------------------------------. +| yyexhaustedlab -- memory exhaustion comes here. | +`-------------------------------------------------*/ +yyexhaustedlab: + yyerror (YY_("memory exhausted")); + yyresult = 2; + /* Fall through. */ +#endif + +yyreturn: + if (yychar != YYEMPTY) + { + /* Make sure we have latest lookahead translation. See comments at + user semantic actions for why this is necessary. */ + yytoken = YYTRANSLATE (yychar); + yydestruct ("Cleanup: discarding lookahead", + yytoken, &yylval); + } + /* Do not reclaim the symbols of the rule whose action triggered + this YYABORT or YYACCEPT. */ + YYPOPSTACK (yylen); + YY_STACK_PRINT (yyss, yyssp); + while (yyssp != yyss) + { + yydestruct ("Cleanup: popping", + yystos[*yyssp], yyvsp); + YYPOPSTACK (1); + } +#ifndef yyoverflow + if (yyss != yyssa) + YYSTACK_FREE (yyss); +#endif +#if YYERROR_VERBOSE + if (yymsg != yymsgbuf) + YYSTACK_FREE (yymsg); +#endif + return yyresult; +} +#line 107 "analyse_syntaxique.y" /* yacc.c:1906 */ + diff --git a/analyse_syntaxique.tab.h b/analyse_syntaxique.tab.h new file mode 100644 index 0000000..ec5e049 --- /dev/null +++ b/analyse_syntaxique.tab.h @@ -0,0 +1,104 @@ +/* A Bison parser, made by GNU Bison 3.0.4. */ + +/* Bison interface for Yacc-like parsers in C + + Copyright (C) 1984, 1989-1990, 2000-2015 Free Software Foundation, Inc. + + This program is free software: you can redistribute it and/or modify + it under the terms of the GNU General Public License as published by + the Free Software Foundation, either version 3 of the License, or + (at your option) any later version. + + This program is distributed in the hope that it will be useful, + but WITHOUT ANY WARRANTY; without even the implied warranty of + MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the + GNU General Public License for more details. + + You should have received a copy of the GNU General Public License + along with this program. If not, see . */ + +/* As a special exception, you may create a larger work that contains + part or all of the Bison parser skeleton and distribute that work + under terms of your choice, so long as that work isn't itself a + parser generator using the skeleton or a modified version thereof + as a parser skeleton. Alternatively, if you modify or redistribute + the parser skeleton itself, you may (at your option) remove this + special exception, which will cause the skeleton and the resulting + Bison output files to be licensed under the GNU General Public + License without this special exception. + + This special exception was added by the Free Software Foundation in + version 2.2 of Bison. */ + +#ifndef YY_YY_ANALYSE_SYNTAXIQUE_TAB_H_INCLUDED +# define YY_YY_ANALYSE_SYNTAXIQUE_TAB_H_INCLUDED +/* Debug traces. */ +#ifndef YYDEBUG +# define YYDEBUG 1 +#endif +#if YYDEBUG +extern int yydebug; +#endif + +/* Token type. */ +#ifndef YYTOKENTYPE +# define YYTOKENTYPE + enum yytokentype + { + tENTIER = 258, + tADD = 259, + tSUB = 260, + tMUL = 261, + tDIV = 262, + tPO = 263, + tPF = 264, + tAO = 265, + tAF = 266, + tERROR = 267, + tPV = 268, + tVIRGULE = 269, + tAFFECTATION = 270, + tEGAL = 271, + tDIFF = 272, + tLT = 273, + tGT = 274, + tGTE = 275, + tLTE = 276, + tMAIN = 277, + tINT = 278, + tPRINT = 279, + tRETURN = 280, + tOR = 281, + tAND = 282, + tIF = 283, + tELSE = 284, + tWHILE = 285, + tCONST = 286, + tVAR = 287, + tNOT = 288 + }; +#endif + +/* Value type. */ +#if ! defined YYSTYPE && ! defined YYSTYPE_IS_DECLARED + +union YYSTYPE +{ +#line 1 "analyse_syntaxique.y" /* yacc.c:1909 */ + +int nombre; + +#line 92 "analyse_syntaxique.tab.h" /* yacc.c:1909 */ +}; + +typedef union YYSTYPE YYSTYPE; +# define YYSTYPE_IS_TRIVIAL 1 +# define YYSTYPE_IS_DECLARED 1 +#endif + + +extern YYSTYPE yylval; + +int yyparse (void); + +#endif /* !YY_YY_ANALYSE_SYNTAXIQUE_TAB_H_INCLUDED */ diff --git a/analyse_syntaxique.y b/analyse_syntaxique.y new file mode 100644 index 0000000..e07d033 --- /dev/null +++ b/analyse_syntaxique.y @@ -0,0 +1,107 @@ +%union { +int nombre; +} + +%token tENTIER +%token tADD +%token tSUB +%token tMUL +%token tDIV + +%token tPO +%token tPF +%token tAO +%token tAF + +%token tERROR + +%token tPV +%token tVIRGULE +%token tAFFECTATION +%token tEGAL +%token tDIFF +%token tLT +%token tGT +%token tGTE +%token tLTE +%token tMAIN +%token tINT +%token tPRINT +%token tRETURN +%token tOR +%token tAND +%token tIF +%token tELSE +%token tWHILE +%token tCONST +%token tVAR +%token tNOT + +%left tADD +%left tSUB +%right tEGAL + +%type E +%% + +C : Fonctions Main ; +Fonctions : Fonction Fonctions | Fonction | ; + +Fonction : tINT tVAR tPO Params tPF Body ; + +Main : tINT tMAIN tPO tPF Body ; + +Params : | Param SuiteParams ; +Param : tINT tVAR ; + + +// Ps : P Ps | ; +// P : tINT tID ttVIRGULE +// Ps =>* tINT tID ttVIRGULE tINT tID ttVIRGULE +// Ps => P Ps => P P Ps ... + +SuiteParams : tVIRGULE Param SuiteParams | ; + +Body : tAO Instructions tAF ; + +Instructions : Instruction Instructions | ; + +Instruction : Aff | If | While | tRETURN | Print | Decl | Invocation tPV ; + +Decl : Type Valeur SuiteDecl tPV; + +SuiteDecl: tVIRGULE Valeur SuiteDecl | ; + +Type : tINT | tCONST tINT ; + +Valeur : tVAR | Affbis ; + +Affbis : tVAR tAFFECTATION E; + +Aff : Affbis tPV ; + +E : tENTIER | tVAR | E tADD E | E tMUL E | E tSUB E | E tDIV E | Invocation | tPO E tPF | tSUB E ; + +// E : tID tPlus tID | ... + +If : tIF tPO Cond tPF Body Else; + +Else : | tELSE Body |tELSE tIF tPO Cond tPF Body Else; + +While : tWHILE tPO Cond tPF Body ; + +Cond : Cond tAND Cond | Cond tOR Cond | E tEGAL E | E tDIFF E | E tLT E | E tGT E | E tLTE E | E tGTE E| tNOT Cond ; + +Print : tPRINT tPO tVAR tPF tPV ; + +Invocation : tVAR tPO Args tPF ; + +Args : | Arg SuiteArgs ; + +Arg : tVAR ; + +SuiteArgs : tVIRGULE Arg SuiteArgs ; + +RETURN : tRETURN E tPV ; + +%% diff --git a/Lex/lex.yy.c b/lex.yy.c similarity index 88% rename from Lex/lex.yy.c rename to lex.yy.c index aadcb30..e6a1da8 100644 --- a/Lex/lex.yy.c +++ b/lex.yy.c @@ -351,8 +351,8 @@ static void yynoreturn yy_fatal_error ( const char* msg ); (yy_hold_char) = *yy_cp; \ *yy_cp = '\0'; \ (yy_c_buf_p) = yy_cp; -#define YY_NUM_RULES 25 -#define YY_END_OF_BUFFER 26 +#define YY_NUM_RULES 33 +#define YY_END_OF_BUFFER 34 /* This struct is not used in this scanner, but its presence is necessary. */ struct yy_trans_info @@ -360,13 +360,15 @@ struct yy_trans_info flex_int32_t yy_verify; flex_int32_t yy_nxt; }; -static const flex_int16_t yy_accept[49] = +static const flex_int16_t yy_accept[70] = { 0, - 0, 0, 26, 25, 23, 24, 25, 5, 6, 3, - 1, 10, 2, 4, 12, 9, 13, 11, 14, 22, - 22, 22, 22, 22, 7, 25, 8, 19, 12, 22, - 0, 22, 20, 22, 22, 22, 18, 12, 22, 16, - 22, 22, 21, 15, 22, 22, 17, 0 + 0, 0, 34, 33, 10, 11, 20, 33, 5, 6, + 3, 1, 12, 2, 4, 31, 9, 16, 13, 17, + 32, 32, 32, 32, 32, 32, 32, 32, 7, 33, + 8, 15, 26, 31, 32, 0, 18, 14, 19, 32, + 32, 27, 32, 32, 32, 32, 32, 25, 31, 32, + 32, 22, 32, 32, 32, 32, 32, 28, 21, 32, + 32, 32, 30, 32, 32, 29, 23, 24, 0 } ; static const YY_CHAR yy_ec[256] = @@ -374,17 +376,17 @@ static const YY_CHAR yy_ec[256] = 1, 1, 1, 1, 1, 1, 1, 1, 2, 3, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, - 1, 4, 1, 1, 1, 1, 1, 5, 1, 6, - 7, 8, 9, 10, 11, 1, 12, 13, 13, 13, - 13, 13, 13, 13, 13, 13, 13, 1, 14, 15, - 16, 17, 1, 1, 18, 18, 18, 18, 18, 18, - 18, 18, 18, 18, 18, 18, 18, 18, 18, 18, - 18, 18, 18, 18, 18, 18, 18, 18, 18, 18, - 1, 1, 1, 19, 18, 1, 20, 18, 18, 18, + 1, 4, 5, 1, 1, 1, 1, 6, 1, 7, + 8, 9, 10, 11, 12, 1, 13, 14, 14, 14, + 14, 14, 14, 14, 14, 14, 14, 1, 15, 16, + 17, 18, 1, 1, 19, 19, 19, 19, 19, 19, + 19, 19, 19, 19, 19, 19, 19, 19, 19, 19, + 19, 19, 19, 19, 19, 19, 19, 19, 19, 19, + 1, 1, 1, 20, 19, 1, 21, 19, 22, 19, - 21, 22, 18, 18, 23, 18, 18, 24, 25, 26, - 18, 27, 18, 28, 29, 30, 18, 18, 18, 18, - 18, 18, 31, 32, 33, 1, 1, 1, 1, 1, + 23, 24, 19, 25, 26, 19, 19, 27, 28, 29, + 30, 31, 19, 32, 33, 34, 35, 19, 36, 19, + 19, 19, 37, 38, 39, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, @@ -401,64 +403,76 @@ static const YY_CHAR yy_ec[256] = 1, 1, 1, 1, 1 } ; -static const YY_CHAR yy_meta[34] = +static const YY_CHAR yy_meta[40] = { 0, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, - 1, 1, 2, 1, 1, 1, 1, 2, 2, 2, + 1, 1, 1, 2, 1, 1, 1, 1, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, - 1, 1, 1 + 2, 2, 2, 2, 2, 2, 1, 1, 1 } ; -static const flex_int16_t yy_base[50] = +static const flex_int16_t yy_base[71] = { 0, - 0, 0, 77, 78, 78, 78, 71, 78, 78, 78, - 78, 78, 78, 78, 21, 78, 78, 78, 78, 56, - 17, 16, 24, 18, 78, 42, 78, 78, 26, 54, - 59, 28, 52, 29, 30, 31, 78, 57, 37, 50, - 36, 41, 49, 47, 33, 42, 46, 78, 49 + 0, 0, 116, 117, 117, 117, 98, 108, 117, 117, + 117, 117, 117, 117, 117, 26, 117, 96, 95, 94, + 90, 21, 22, 23, 24, 28, 30, 34, 117, 71, + 117, 117, 117, 41, 88, 93, 117, 117, 117, 36, + 37, 86, 38, 42, 43, 44, 47, 117, 91, 46, + 51, 84, 55, 56, 57, 60, 61, 83, 82, 62, + 66, 68, 81, 69, 70, 80, 77, 74, 117, 81 } ; -static const flex_int16_t yy_def[50] = +static const flex_int16_t yy_def[71] = { 0, - 48, 1, 48, 48, 48, 48, 48, 48, 48, 48, - 48, 48, 48, 48, 49, 48, 48, 48, 48, 49, - 49, 49, 49, 49, 48, 48, 48, 48, 49, 49, - 48, 49, 49, 49, 49, 49, 48, 48, 49, 49, - 49, 49, 49, 49, 49, 49, 49, 0, 48 + 69, 1, 69, 69, 69, 69, 69, 69, 69, 69, + 69, 69, 69, 69, 69, 70, 69, 69, 69, 69, + 70, 70, 70, 70, 70, 70, 70, 70, 69, 69, + 69, 69, 69, 70, 70, 69, 69, 69, 69, 70, + 70, 70, 70, 70, 70, 70, 70, 69, 69, 70, + 70, 70, 70, 70, 70, 70, 70, 70, 70, 70, + 70, 70, 70, 70, 70, 70, 70, 70, 0, 69 } ; -static const flex_int16_t yy_nxt[112] = +static const flex_int16_t yy_nxt[157] = { 0, 4, 5, 6, 5, 7, 8, 9, 10, 11, 12, - 13, 14, 15, 16, 17, 18, 19, 20, 4, 20, - 21, 20, 22, 20, 23, 20, 24, 20, 20, 20, - 25, 26, 27, 29, 48, 48, 48, 33, 29, 31, - 32, 34, 48, 35, 31, 36, 48, 48, 48, 48, - 30, 48, 41, 42, 48, 48, 39, 43, 40, 48, - 48, 44, 46, 47, 48, 48, 45, 48, 48, 38, - 48, 38, 48, 37, 48, 28, 48, 3, 48, 48, - 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, - 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, + 13, 14, 15, 16, 17, 18, 19, 20, 21, 4, + 21, 22, 23, 21, 21, 24, 21, 25, 21, 21, + 26, 27, 21, 21, 21, 28, 29, 30, 31, 34, + 69, 69, 69, 69, 44, 36, 42, 69, 41, 69, + 40, 43, 46, 69, 34, 69, 69, 69, 47, 45, + 36, 69, 69, 69, 50, 69, 69, 53, 54, 51, + 69, 52, 56, 58, 69, 69, 69, 55, 57, 69, + 69, 69, 35, 59, 60, 69, 62, 69, 69, 69, + 66, 61, 67, 69, 63, 64, 69, 65, 68, 69, - 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, - 48 + 69, 69, 69, 69, 49, 69, 49, 69, 48, 69, + 39, 38, 37, 33, 32, 69, 3, 69, 69, 69, + 69, 69, 69, 69, 69, 69, 69, 69, 69, 69, + 69, 69, 69, 69, 69, 69, 69, 69, 69, 69, + 69, 69, 69, 69, 69, 69, 69, 69, 69, 69, + 69, 69, 69, 69, 69, 69 } ; -static const flex_int16_t yy_chk[112] = +static const flex_int16_t yy_chk[157] = { 0, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, - 1, 1, 1, 15, 22, 21, 24, 22, 29, 15, - 21, 22, 23, 23, 29, 24, 32, 34, 35, 36, - 49, 45, 35, 36, 41, 39, 32, 39, 34, 42, - 46, 41, 45, 46, 47, 44, 42, 43, 40, 38, - 33, 31, 30, 26, 20, 7, 3, 48, 48, 48, - 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, - 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, + 1, 1, 1, 1, 1, 1, 1, 1, 1, 16, + 22, 23, 24, 25, 25, 16, 24, 26, 23, 27, + 22, 24, 27, 28, 34, 40, 41, 43, 28, 26, + 34, 44, 45, 46, 40, 50, 47, 44, 45, 41, + 51, 43, 47, 51, 53, 54, 55, 46, 50, 56, + 57, 60, 70, 53, 54, 61, 56, 62, 64, 65, + 62, 55, 64, 68, 57, 60, 67, 61, 65, 66, - 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, - 48 + 63, 59, 58, 52, 49, 42, 36, 35, 30, 21, + 20, 19, 18, 8, 7, 3, 69, 69, 69, 69, + 69, 69, 69, 69, 69, 69, 69, 69, 69, 69, + 69, 69, 69, 69, 69, 69, 69, 69, 69, 69, + 69, 69, 69, 69, 69, 69, 69, 69, 69, 69, + 69, 69, 69, 69, 69, 69 } ; static yy_state_type yy_last_accepting_state; @@ -476,7 +490,7 @@ int yy_flex_debug = 0; #define YY_RESTORE_YY_MORE_OFFSET char *yytext; #line 1 "analyse_lexicale.lex" -#line 480 "lex.yy.c" +#line 494 "lex.yy.c" #define INITIAL 0 @@ -693,10 +707,10 @@ YY_DECL } { -#line 35 "analyse_lexicale.lex" +#line 41 "analyse_lexicale.lex" -#line 700 "lex.yy.c" +#line 714 "lex.yy.c" while ( /*CONSTCOND*/1 ) /* loops until end-of-file is reached */ { @@ -723,13 +737,13 @@ yy_match: while ( yy_chk[yy_base[yy_current_state] + yy_c] != yy_current_state ) { yy_current_state = (int) yy_def[yy_current_state]; - if ( yy_current_state >= 49 ) + if ( yy_current_state >= 70 ) yy_c = yy_meta[yy_c]; } yy_current_state = yy_nxt[yy_base[yy_current_state] + yy_c]; ++yy_cp; } - while ( yy_base[yy_current_state] != 78 ); + while ( yy_base[yy_current_state] != 117 ); yy_find_action: yy_act = yy_accept[yy_current_state]; @@ -755,131 +769,171 @@ do_action: /* This label is used only to access EOF actions. */ case 1: YY_RULE_SETUP -#line 37 "analyse_lexicale.lex" -{printf("tADD");} +#line 43 "analyse_lexicale.lex" +{return tADD ;} YY_BREAK case 2: YY_RULE_SETUP -#line 38 "analyse_lexicale.lex" -{printf("tSUB");} +#line 44 "analyse_lexicale.lex" +{return tSUB ;} YY_BREAK case 3: YY_RULE_SETUP -#line 39 "analyse_lexicale.lex" -{printf("tMUL");} +#line 45 "analyse_lexicale.lex" +{return tMUL ;} YY_BREAK case 4: YY_RULE_SETUP -#line 40 "analyse_lexicale.lex" -{printf("tDIV");} +#line 46 "analyse_lexicale.lex" +{return tDIV ;} YY_BREAK case 5: YY_RULE_SETUP -#line 41 "analyse_lexicale.lex" -{printf("tPO");} +#line 48 "analyse_lexicale.lex" +{return tPO ;} YY_BREAK case 6: YY_RULE_SETUP -#line 42 "analyse_lexicale.lex" -{printf("tPF");} +#line 49 "analyse_lexicale.lex" +{return tPF ;} YY_BREAK case 7: YY_RULE_SETUP -#line 43 "analyse_lexicale.lex" -{printf("tAO");} +#line 50 "analyse_lexicale.lex" +{return tAO ;} YY_BREAK case 8: YY_RULE_SETUP -#line 44 "analyse_lexicale.lex" -{printf("tAF");} +#line 51 "analyse_lexicale.lex" +{return tAF ;} YY_BREAK case 9: YY_RULE_SETUP -#line 45 "analyse_lexicale.lex" -{printf("tPV");} +#line 53 "analyse_lexicale.lex" +{return tPV ;} YY_BREAK case 10: YY_RULE_SETUP -#line 46 "analyse_lexicale.lex" -{printf("tVIRGULE");} +#line 54 "analyse_lexicale.lex" +{} YY_BREAK case 11: +/* rule 11 can match eol */ YY_RULE_SETUP -#line 47 "analyse_lexicale.lex" -{printf("tEGAL");} +#line 55 "analyse_lexicale.lex" +{} YY_BREAK case 12: YY_RULE_SETUP -#line 48 "analyse_lexicale.lex" -{printf("tENTIER");} +#line 56 "analyse_lexicale.lex" +{return tVIRGULE ;} YY_BREAK case 13: YY_RULE_SETUP -#line 49 "analyse_lexicale.lex" -{printf("tLT");} +#line 58 "analyse_lexicale.lex" +{return tAFFECTATION ;} YY_BREAK case 14: YY_RULE_SETUP -#line 50 "analyse_lexicale.lex" -{printf("tGT");} +#line 60 "analyse_lexicale.lex" +{return tEGAL ;} YY_BREAK case 15: YY_RULE_SETUP -#line 51 "analyse_lexicale.lex" -{printf("tMAIN");} +#line 61 "analyse_lexicale.lex" +{return tDIFF ;} YY_BREAK case 16: YY_RULE_SETUP -#line 52 "analyse_lexicale.lex" -{printf("tINT");} +#line 62 "analyse_lexicale.lex" +{return tLT ;} YY_BREAK case 17: YY_RULE_SETUP -#line 53 "analyse_lexicale.lex" -{printf("tPRINT");} +#line 63 "analyse_lexicale.lex" +{return tGT ;} YY_BREAK case 18: YY_RULE_SETUP -#line 54 "analyse_lexicale.lex" -{printf("tOR");} +#line 64 "analyse_lexicale.lex" +{return tLTE ;} YY_BREAK case 19: YY_RULE_SETUP -#line 55 "analyse_lexicale.lex" -{printf("tAND");} +#line 65 "analyse_lexicale.lex" +{return tGTE ;} YY_BREAK case 20: YY_RULE_SETUP -#line 56 "analyse_lexicale.lex" -{printf("tIF");} +#line 66 "analyse_lexicale.lex" +{return tNOT ;} YY_BREAK case 21: YY_RULE_SETUP -#line 57 "analyse_lexicale.lex" -{printf("tELSE");} +#line 69 "analyse_lexicale.lex" +{return tMAIN ;} YY_BREAK case 22: YY_RULE_SETUP -#line 58 "analyse_lexicale.lex" -{printf("tVAR");} +#line 70 "analyse_lexicale.lex" +{return tINT ;} YY_BREAK case 23: YY_RULE_SETUP -#line 59 "analyse_lexicale.lex" -{} +#line 71 "analyse_lexicale.lex" +{return tPRINT ;} YY_BREAK case 24: -/* rule 24 can match eol */ YY_RULE_SETUP -#line 60 "analyse_lexicale.lex" -{} +#line 72 "analyse_lexicale.lex" +{return tRETURN ;} YY_BREAK case 25: YY_RULE_SETUP -#line 61 "analyse_lexicale.lex" +#line 74 "analyse_lexicale.lex" +{return tOR ;} + YY_BREAK +case 26: +YY_RULE_SETUP +#line 75 "analyse_lexicale.lex" +{return tAND ;} + YY_BREAK +case 27: +YY_RULE_SETUP +#line 77 "analyse_lexicale.lex" +{return tIF ;} + YY_BREAK +case 28: +YY_RULE_SETUP +#line 78 "analyse_lexicale.lex" +{return tELSE ;} + YY_BREAK +case 29: +YY_RULE_SETUP +#line 79 "analyse_lexicale.lex" +{return tWHILE ;} + YY_BREAK +case 30: +YY_RULE_SETUP +#line 81 "analyse_lexicale.lex" +{return tCONST ;} + YY_BREAK +case 31: +YY_RULE_SETUP +#line 82 "analyse_lexicale.lex" +{return tENTIER ;} + YY_BREAK +case 32: +YY_RULE_SETUP +#line 83 "analyse_lexicale.lex" +{return tVAR ;} + YY_BREAK +case 33: +YY_RULE_SETUP +#line 85 "analyse_lexicale.lex" ECHO; YY_BREAK -#line 883 "lex.yy.c" +#line 937 "lex.yy.c" case YY_STATE_EOF(INITIAL): yyterminate(); @@ -1176,7 +1230,7 @@ static int yy_get_next_buffer (void) while ( yy_chk[yy_base[yy_current_state] + yy_c] != yy_current_state ) { yy_current_state = (int) yy_def[yy_current_state]; - if ( yy_current_state >= 49 ) + if ( yy_current_state >= 70 ) yy_c = yy_meta[yy_c]; } yy_current_state = yy_nxt[yy_base[yy_current_state] + yy_c]; @@ -1204,11 +1258,11 @@ static int yy_get_next_buffer (void) while ( yy_chk[yy_base[yy_current_state] + yy_c] != yy_current_state ) { yy_current_state = (int) yy_def[yy_current_state]; - if ( yy_current_state >= 49 ) + if ( yy_current_state >= 70 ) yy_c = yy_meta[yy_c]; } yy_current_state = yy_nxt[yy_base[yy_current_state] + yy_c]; - yy_is_jam = (yy_current_state == 48); + yy_is_jam = (yy_current_state == 69); return yy_is_jam ? 0 : yy_current_state; } @@ -1884,14 +1938,14 @@ void yyfree (void * ptr ) #define YYTABLES_NAME "yytables" -#line 61 "analyse_lexicale.lex" +#line 85 "analyse_lexicale.lex" int yywrap(void){ return 1; } -int main(void){ - yylex(); -} +//int main(void){ +// yylex(); +//} diff --git a/script.sh b/script.sh new file mode 100755 index 0000000..46257ff --- /dev/null +++ b/script.sh @@ -0,0 +1,31 @@ +bison -d -t analyse_syntaxique.y -v +flex analyse_lexicale.lex +gcc *.c -ly +echo " + int fonction1(int toto){ + toto = toto + 1 ; + return toto; + } + + int fonction2(){ + int i = 0; + while (i <= 2){ + printf(i); + i = i +1 ; + } + return i; + } + + int main(){ + const int toto = 1, mimi, lolo = 6; + int tata = 5, lala; + + if (tata == 5){ + fonction1(lolo); + } else if (toto == 1){ + fonction2(); + } + + return 1; + } +" | ./a.out \ No newline at end of file diff --git a/test b/test new file mode 100644 index 0000000..55b6aa6 --- /dev/null +++ b/test @@ -0,0 +1,27 @@ + +int fonction1(int toto){ + toto = toto + 1 ; + return toto; +} + +int fonction2(){ + int i = 0; + while (i <= 2){ + print(i); + i = i +1 ; + } + return i; +} + +int main(){ + const int toto = 1, mimi, lolo = 6; + int tata = 5, lala; + + if (tata == 5){ + fonction(lolo); + } else if (toto == 1){ + fonction2(); + } + + return 1; +} \ No newline at end of file