diff --git a/Makefile b/Makefile index 200b012..34ad327 100644 --- a/Makefile +++ b/Makefile @@ -18,7 +18,7 @@ build: $(BIN) $(CC) -c $(CFLAGS) $(CPPFLAGS) $< -o $@ yacc.tab.c: $(GRM) - bison -d $< + bison -d -t -v $< lex.yy.c: $(LEX) flex $< diff --git a/out b/out new file mode 100755 index 0000000..513befb Binary files /dev/null and b/out differ diff --git a/yacc.output b/yacc.output new file mode 100644 index 0000000..4a13743 --- /dev/null +++ b/yacc.output @@ -0,0 +1,1458 @@ +Grammaire + + 0 $accept: Program $end + + 1 Program: FunctionDef + + 2 Lines: Line + 3 | Line Lines + + 4 Line: IfStatement + 5 | WhileStatement + 6 | Assignment + 7 | Declarations + 8 | FunctionCall + 9 | Return + 10 | Print + + 11 InnerBlock: tLBRACE tRBRACE + + 12 $@1: %empty + + 13 InnerBlock: tLBRACE $@1 Lines tRBRACE + + 14 Condition: tLPAR ConditionalExpression tRPAR + + 15 ConditionalExpression: tID + 16 | tNB + 17 | tLPAR ConditionalExpression tRPAR + 18 | NbOrVariable NumericalOperator NbOrVariable + 19 | tNOT ConditionalExpression + 20 | ConditionalExpression tOR ConditionalExpression + 21 | ConditionalExpression tAND ConditionalExpression + + 22 NbOrVariable: tID + 23 | tNB + + 24 NumericalOperator: tLE + 25 | tGE + 26 | tEQ + 27 | tNE + 28 | tLT + 29 | tGT + + 30 IfStatement: tIF Condition InnerBlock + 31 | tIF Condition InnerBlock tELSE InnerBlock + + 32 WhileStatement: tWHILE Condition InnerBlock + + 33 Assignment: tID tASSIGN Expression tSEMI + + 34 Expression: NbOrVariable + 35 | FunctionCall + 36 | tLPAR Expression tRPAR + 37 | Expression tADD Expression + 38 | Expression tSUB Expression + 39 | Expression tMUL Expression + 40 | Expression tDIV Expression + + 41 Expressions: Expression + 42 | Expression tCOMMA Expressions + + 43 FunctionCall: tID tLPAR Expressions tRPAR + + 44 FunctionDef: Type tID FunctionParams InnerBlock + + 45 FunctionParams: tLPAR tRPAR + 46 | tLPAR tVOID tRPAR + 47 | tLPAR VarsWithType tRPAR + + 48 VarsWithType: VarWithType + 49 | VarWithType tCOMMA VarsWithType + + 50 VarWithType: Type tID + + 51 Type: tINT + 52 | tFLOAT + + 53 $@2: %empty + + 54 Declarations: Type $@2 Declaration Declarations1 tSEMI + + 55 Declaration: tID + 56 | tID tASSIGN Expression + + 57 Declarations1: tCOMMA Declaration Declarations1 + 58 | %empty + + 59 Declaration: Type tID tSEMI + 60 | Type tID tASSIGN Expression tSEMI + 61 | Type tID tCOMMA VarsCommaSeparated tSEMI + 62 | Type tID tCOMMA VarsCommaSeparated tASSIGN Expression tSEMI + + 63 VarsCommaSeparated: tID + 64 | tID tCOMMA VarsCommaSeparated + + 65 Return: tRETURN Expression tSEMI + + 66 Print: tPRINT tLPAR Expression tRPAR tSEMI + + +Terminaux, suivis des règles où ils apparaissent + + $end (0) 0 + error (256) + tWHILE (258) 32 + tIF (259) 30 31 + tELSE (260) 31 + tRETURN (261) 65 + tPRINT (262) 66 + tFLOAT (263) 52 + tINT (264) 51 + tVOID (265) 46 + tDIV (266) 40 + tMUL (267) 39 + tADD (268) 37 + tSUB (269) 38 + tASSIGN (270) 33 56 60 62 + tLT (271) 28 + tGT (272) 29 + tNE (273) 27 + tEQ (274) 26 + tGE (275) 25 + tLE (276) 24 + tAND (277) 21 + tOR (278) 20 + tNOT (279) 19 + tLBRACE (280) 11 13 + tRBRACE (281) 11 13 + tLPAR (282) 14 17 36 43 45 46 47 66 + tRPAR (283) 14 17 36 43 45 46 47 66 + tSEMI (284) 33 54 59 60 61 62 65 66 + tCOMMA (285) 42 49 57 61 62 64 + tID (286) 15 22 33 43 44 50 55 56 59 60 61 62 63 64 + tNB (287) 16 23 + + +Non-terminaux, suivis des règles où ils apparaissent + + $accept (33) + à gauche: 0 + Program (34) + à gauche: 1 + à droite: 0 + Lines (35) + à gauche: 2 3 + à droite: 3 13 + Line (36) + à gauche: 4 5 6 7 8 9 10 + à droite: 2 3 + InnerBlock (37) + à gauche: 11 13 + à droite: 30 31 32 44 + $@1 (38) + à gauche: 12 + à droite: 13 + Condition (39) + à gauche: 14 + à droite: 30 31 32 + ConditionalExpression (40) + à gauche: 15 16 17 18 19 20 21 + à droite: 14 17 19 20 21 + NbOrVariable (41) + à gauche: 22 23 + à droite: 18 34 + NumericalOperator (42) + à gauche: 24 25 26 27 28 29 + à droite: 18 + IfStatement (43) + à gauche: 30 31 + à droite: 4 + WhileStatement (44) + à gauche: 32 + à droite: 5 + Assignment (45) + à gauche: 33 + à droite: 6 + Expression (46) + à gauche: 34 35 36 37 38 39 40 + à droite: 33 36 37 38 39 40 41 42 56 60 62 65 66 + Expressions (47) + à gauche: 41 42 + à droite: 42 43 + FunctionCall (48) + à gauche: 43 + à droite: 8 35 + FunctionDef (49) + à gauche: 44 + à droite: 1 + FunctionParams (50) + à gauche: 45 46 47 + à droite: 44 + VarsWithType (51) + à gauche: 48 49 + à droite: 47 49 + VarWithType (52) + à gauche: 50 + à droite: 48 49 + Type (53) + à gauche: 51 52 + à droite: 44 50 54 59 60 61 62 + Declarations (54) + à gauche: 54 + à droite: 7 + $@2 (55) + à gauche: 53 + à droite: 54 + Declaration (56) + à gauche: 55 56 59 60 61 62 + à droite: 54 57 + Declarations1 (57) + à gauche: 57 58 + à droite: 54 57 + VarsCommaSeparated (58) + à gauche: 63 64 + à droite: 61 62 64 + Return (59) + à gauche: 65 + à droite: 9 + Print (60) + à gauche: 66 + à droite: 10 + + +État 0 + + 0 $accept: . Program $end + + tFLOAT décalage et aller à l'état 1 + tINT décalage et aller à l'état 2 + + Program aller à l'état 3 + FunctionDef aller à l'état 4 + Type aller à l'état 5 + + +État 1 + + 52 Type: tFLOAT . + + $défaut réduction par utilisation de la règle 52 (Type) + + +État 2 + + 51 Type: tINT . + + $défaut réduction par utilisation de la règle 51 (Type) + + +État 3 + + 0 $accept: Program . $end + + $end décalage et aller à l'état 6 + + +État 4 + + 1 Program: FunctionDef . + + $défaut réduction par utilisation de la règle 1 (Program) + + +État 5 + + 44 FunctionDef: Type . tID FunctionParams InnerBlock + + tID décalage et aller à l'état 7 + + +État 6 + + 0 $accept: Program $end . + + $défaut accepter + + +État 7 + + 44 FunctionDef: Type tID . FunctionParams InnerBlock + + tLPAR décalage et aller à l'état 8 + + FunctionParams aller à l'état 9 + + +État 8 + + 45 FunctionParams: tLPAR . tRPAR + 46 | tLPAR . tVOID tRPAR + 47 | tLPAR . VarsWithType tRPAR + + tFLOAT décalage et aller à l'état 1 + tINT décalage et aller à l'état 2 + tVOID décalage et aller à l'état 10 + tRPAR décalage et aller à l'état 11 + + VarsWithType aller à l'état 12 + VarWithType aller à l'état 13 + Type aller à l'état 14 + + +État 9 + + 44 FunctionDef: Type tID FunctionParams . InnerBlock + + tLBRACE décalage et aller à l'état 15 + + InnerBlock aller à l'état 16 + + +État 10 + + 46 FunctionParams: tLPAR tVOID . tRPAR + + tRPAR décalage et aller à l'état 17 + + +État 11 + + 45 FunctionParams: tLPAR tRPAR . + + $défaut réduction par utilisation de la règle 45 (FunctionParams) + + +État 12 + + 47 FunctionParams: tLPAR VarsWithType . tRPAR + + tRPAR décalage et aller à l'état 18 + + +État 13 + + 48 VarsWithType: VarWithType . + 49 | VarWithType . tCOMMA VarsWithType + + tCOMMA décalage et aller à l'état 19 + + $défaut réduction par utilisation de la règle 48 (VarsWithType) + + +État 14 + + 50 VarWithType: Type . tID + + tID décalage et aller à l'état 20 + + +État 15 + + 11 InnerBlock: tLBRACE . tRBRACE + 13 | tLBRACE . $@1 Lines tRBRACE + + tRBRACE décalage et aller à l'état 21 + + $défaut réduction par utilisation de la règle 12 ($@1) + + $@1 aller à l'état 22 + + +État 16 + + 44 FunctionDef: Type tID FunctionParams InnerBlock . + + $défaut réduction par utilisation de la règle 44 (FunctionDef) + + +État 17 + + 46 FunctionParams: tLPAR tVOID tRPAR . + + $défaut réduction par utilisation de la règle 46 (FunctionParams) + + +État 18 + + 47 FunctionParams: tLPAR VarsWithType tRPAR . + + $défaut réduction par utilisation de la règle 47 (FunctionParams) + + +État 19 + + 49 VarsWithType: VarWithType tCOMMA . VarsWithType + + tFLOAT décalage et aller à l'état 1 + tINT décalage et aller à l'état 2 + + VarsWithType aller à l'état 23 + VarWithType aller à l'état 13 + Type aller à l'état 14 + + +État 20 + + 50 VarWithType: Type tID . + + $défaut réduction par utilisation de la règle 50 (VarWithType) + + +État 21 + + 11 InnerBlock: tLBRACE tRBRACE . + + $défaut réduction par utilisation de la règle 11 (InnerBlock) + + +État 22 + + 13 InnerBlock: tLBRACE $@1 . Lines tRBRACE + + tWHILE décalage et aller à l'état 24 + tIF décalage et aller à l'état 25 + tRETURN décalage et aller à l'état 26 + tPRINT décalage et aller à l'état 27 + tFLOAT décalage et aller à l'état 1 + tINT décalage et aller à l'état 2 + tID décalage et aller à l'état 28 + + Lines aller à l'état 29 + Line aller à l'état 30 + IfStatement aller à l'état 31 + WhileStatement aller à l'état 32 + Assignment aller à l'état 33 + FunctionCall aller à l'état 34 + Type aller à l'état 35 + Declarations aller à l'état 36 + Return aller à l'état 37 + Print aller à l'état 38 + + +État 23 + + 49 VarsWithType: VarWithType tCOMMA VarsWithType . + + $défaut réduction par utilisation de la règle 49 (VarsWithType) + + +État 24 + + 32 WhileStatement: tWHILE . Condition InnerBlock + + tLPAR décalage et aller à l'état 39 + + Condition aller à l'état 40 + + +État 25 + + 30 IfStatement: tIF . Condition InnerBlock + 31 | tIF . Condition InnerBlock tELSE InnerBlock + + tLPAR décalage et aller à l'état 39 + + Condition aller à l'état 41 + + +État 26 + + 65 Return: tRETURN . Expression tSEMI + + tLPAR décalage et aller à l'état 42 + tID décalage et aller à l'état 43 + tNB décalage et aller à l'état 44 + + NbOrVariable aller à l'état 45 + Expression aller à l'état 46 + FunctionCall aller à l'état 47 + + +État 27 + + 66 Print: tPRINT . tLPAR Expression tRPAR tSEMI + + tLPAR décalage et aller à l'état 48 + + +État 28 + + 33 Assignment: tID . tASSIGN Expression tSEMI + 43 FunctionCall: tID . tLPAR Expressions tRPAR + + tASSIGN décalage et aller à l'état 49 + tLPAR décalage et aller à l'état 50 + + +État 29 + + 13 InnerBlock: tLBRACE $@1 Lines . tRBRACE + + tRBRACE décalage et aller à l'état 51 + + +État 30 + + 2 Lines: Line . + 3 | Line . Lines + + tWHILE décalage et aller à l'état 24 + tIF décalage et aller à l'état 25 + tRETURN décalage et aller à l'état 26 + tPRINT décalage et aller à l'état 27 + tFLOAT décalage et aller à l'état 1 + tINT décalage et aller à l'état 2 + tID décalage et aller à l'état 28 + + $défaut réduction par utilisation de la règle 2 (Lines) + + Lines aller à l'état 52 + Line aller à l'état 30 + IfStatement aller à l'état 31 + WhileStatement aller à l'état 32 + Assignment aller à l'état 33 + FunctionCall aller à l'état 34 + Type aller à l'état 35 + Declarations aller à l'état 36 + Return aller à l'état 37 + Print aller à l'état 38 + + +État 31 + + 4 Line: IfStatement . + + $défaut réduction par utilisation de la règle 4 (Line) + + +État 32 + + 5 Line: WhileStatement . + + $défaut réduction par utilisation de la règle 5 (Line) + + +État 33 + + 6 Line: Assignment . + + $défaut réduction par utilisation de la règle 6 (Line) + + +État 34 + + 8 Line: FunctionCall . + + $défaut réduction par utilisation de la règle 8 (Line) + + +État 35 + + 54 Declarations: Type . $@2 Declaration Declarations1 tSEMI + + $défaut réduction par utilisation de la règle 53 ($@2) + + $@2 aller à l'état 53 + + +État 36 + + 7 Line: Declarations . + + $défaut réduction par utilisation de la règle 7 (Line) + + +État 37 + + 9 Line: Return . + + $défaut réduction par utilisation de la règle 9 (Line) + + +État 38 + + 10 Line: Print . + + $défaut réduction par utilisation de la règle 10 (Line) + + +État 39 + + 14 Condition: tLPAR . ConditionalExpression tRPAR + + tNOT décalage et aller à l'état 54 + tLPAR décalage et aller à l'état 55 + tID décalage et aller à l'état 56 + tNB décalage et aller à l'état 57 + + ConditionalExpression aller à l'état 58 + NbOrVariable aller à l'état 59 + + +État 40 + + 32 WhileStatement: tWHILE Condition . InnerBlock + + tLBRACE décalage et aller à l'état 15 + + InnerBlock aller à l'état 60 + + +État 41 + + 30 IfStatement: tIF Condition . InnerBlock + 31 | tIF Condition . InnerBlock tELSE InnerBlock + + tLBRACE décalage et aller à l'état 15 + + InnerBlock aller à l'état 61 + + +État 42 + + 36 Expression: tLPAR . Expression tRPAR + + tLPAR décalage et aller à l'état 42 + tID décalage et aller à l'état 43 + tNB décalage et aller à l'état 44 + + NbOrVariable aller à l'état 45 + Expression aller à l'état 62 + FunctionCall aller à l'état 47 + + +État 43 + + 22 NbOrVariable: tID . + 43 FunctionCall: tID . tLPAR Expressions tRPAR + + tLPAR décalage et aller à l'état 50 + + $défaut réduction par utilisation de la règle 22 (NbOrVariable) + + +État 44 + + 23 NbOrVariable: tNB . + + $défaut réduction par utilisation de la règle 23 (NbOrVariable) + + +État 45 + + 34 Expression: NbOrVariable . + + $défaut réduction par utilisation de la règle 34 (Expression) + + +État 46 + + 37 Expression: Expression . tADD Expression + 38 | Expression . tSUB Expression + 39 | Expression . tMUL Expression + 40 | Expression . tDIV Expression + 65 Return: tRETURN Expression . tSEMI + + tDIV décalage et aller à l'état 63 + tMUL décalage et aller à l'état 64 + tADD décalage et aller à l'état 65 + tSUB décalage et aller à l'état 66 + tSEMI décalage et aller à l'état 67 + + +État 47 + + 35 Expression: FunctionCall . + + $défaut réduction par utilisation de la règle 35 (Expression) + + +État 48 + + 66 Print: tPRINT tLPAR . Expression tRPAR tSEMI + + tLPAR décalage et aller à l'état 42 + tID décalage et aller à l'état 43 + tNB décalage et aller à l'état 44 + + NbOrVariable aller à l'état 45 + Expression aller à l'état 68 + FunctionCall aller à l'état 47 + + +État 49 + + 33 Assignment: tID tASSIGN . Expression tSEMI + + tLPAR décalage et aller à l'état 42 + tID décalage et aller à l'état 43 + tNB décalage et aller à l'état 44 + + NbOrVariable aller à l'état 45 + Expression aller à l'état 69 + FunctionCall aller à l'état 47 + + +État 50 + + 43 FunctionCall: tID tLPAR . Expressions tRPAR + + tLPAR décalage et aller à l'état 42 + tID décalage et aller à l'état 43 + tNB décalage et aller à l'état 44 + + NbOrVariable aller à l'état 45 + Expression aller à l'état 70 + Expressions aller à l'état 71 + FunctionCall aller à l'état 47 + + +État 51 + + 13 InnerBlock: tLBRACE $@1 Lines tRBRACE . + + $défaut réduction par utilisation de la règle 13 (InnerBlock) + + +État 52 + + 3 Lines: Line Lines . + + $défaut réduction par utilisation de la règle 3 (Lines) + + +État 53 + + 54 Declarations: Type $@2 . Declaration Declarations1 tSEMI + + tFLOAT décalage et aller à l'état 1 + tINT décalage et aller à l'état 2 + tID décalage et aller à l'état 72 + + Type aller à l'état 73 + Declaration aller à l'état 74 + + +État 54 + + 19 ConditionalExpression: tNOT . ConditionalExpression + + tNOT décalage et aller à l'état 54 + tLPAR décalage et aller à l'état 55 + tID décalage et aller à l'état 56 + tNB décalage et aller à l'état 57 + + ConditionalExpression aller à l'état 75 + NbOrVariable aller à l'état 59 + + +État 55 + + 17 ConditionalExpression: tLPAR . ConditionalExpression tRPAR + + tNOT décalage et aller à l'état 54 + tLPAR décalage et aller à l'état 55 + tID décalage et aller à l'état 56 + tNB décalage et aller à l'état 57 + + ConditionalExpression aller à l'état 76 + NbOrVariable aller à l'état 59 + + +État 56 + + 15 ConditionalExpression: tID . + 22 NbOrVariable: tID . + + tAND réduction par utilisation de la règle 15 (ConditionalExpression) + tOR réduction par utilisation de la règle 15 (ConditionalExpression) + tRPAR réduction par utilisation de la règle 15 (ConditionalExpression) + $défaut réduction par utilisation de la règle 22 (NbOrVariable) + + +État 57 + + 16 ConditionalExpression: tNB . + 23 NbOrVariable: tNB . + + tAND réduction par utilisation de la règle 16 (ConditionalExpression) + tOR réduction par utilisation de la règle 16 (ConditionalExpression) + tRPAR réduction par utilisation de la règle 16 (ConditionalExpression) + $défaut réduction par utilisation de la règle 23 (NbOrVariable) + + +État 58 + + 14 Condition: tLPAR ConditionalExpression . tRPAR + 20 ConditionalExpression: ConditionalExpression . tOR ConditionalExpression + 21 | ConditionalExpression . tAND ConditionalExpression + + tAND décalage et aller à l'état 77 + tOR décalage et aller à l'état 78 + tRPAR décalage et aller à l'état 79 + + +État 59 + + 18 ConditionalExpression: NbOrVariable . NumericalOperator NbOrVariable + + tLT décalage et aller à l'état 80 + tGT décalage et aller à l'état 81 + tNE décalage et aller à l'état 82 + tEQ décalage et aller à l'état 83 + tGE décalage et aller à l'état 84 + tLE décalage et aller à l'état 85 + + NumericalOperator aller à l'état 86 + + +État 60 + + 32 WhileStatement: tWHILE Condition InnerBlock . + + $défaut réduction par utilisation de la règle 32 (WhileStatement) + + +État 61 + + 30 IfStatement: tIF Condition InnerBlock . + 31 | tIF Condition InnerBlock . tELSE InnerBlock + + tELSE décalage et aller à l'état 87 + + $défaut réduction par utilisation de la règle 30 (IfStatement) + + +État 62 + + 36 Expression: tLPAR Expression . tRPAR + 37 | Expression . tADD Expression + 38 | Expression . tSUB Expression + 39 | Expression . tMUL Expression + 40 | Expression . tDIV Expression + + tDIV décalage et aller à l'état 63 + tMUL décalage et aller à l'état 64 + tADD décalage et aller à l'état 65 + tSUB décalage et aller à l'état 66 + tRPAR décalage et aller à l'état 88 + + +État 63 + + 40 Expression: Expression tDIV . Expression + + tLPAR décalage et aller à l'état 42 + tID décalage et aller à l'état 43 + tNB décalage et aller à l'état 44 + + NbOrVariable aller à l'état 45 + Expression aller à l'état 89 + FunctionCall aller à l'état 47 + + +État 64 + + 39 Expression: Expression tMUL . Expression + + tLPAR décalage et aller à l'état 42 + tID décalage et aller à l'état 43 + tNB décalage et aller à l'état 44 + + NbOrVariable aller à l'état 45 + Expression aller à l'état 90 + FunctionCall aller à l'état 47 + + +État 65 + + 37 Expression: Expression tADD . Expression + + tLPAR décalage et aller à l'état 42 + tID décalage et aller à l'état 43 + tNB décalage et aller à l'état 44 + + NbOrVariable aller à l'état 45 + Expression aller à l'état 91 + FunctionCall aller à l'état 47 + + +État 66 + + 38 Expression: Expression tSUB . Expression + + tLPAR décalage et aller à l'état 42 + tID décalage et aller à l'état 43 + tNB décalage et aller à l'état 44 + + NbOrVariable aller à l'état 45 + Expression aller à l'état 92 + FunctionCall aller à l'état 47 + + +État 67 + + 65 Return: tRETURN Expression tSEMI . + + $défaut réduction par utilisation de la règle 65 (Return) + + +État 68 + + 37 Expression: Expression . tADD Expression + 38 | Expression . tSUB Expression + 39 | Expression . tMUL Expression + 40 | Expression . tDIV Expression + 66 Print: tPRINT tLPAR Expression . tRPAR tSEMI + + tDIV décalage et aller à l'état 63 + tMUL décalage et aller à l'état 64 + tADD décalage et aller à l'état 65 + tSUB décalage et aller à l'état 66 + tRPAR décalage et aller à l'état 93 + + +État 69 + + 33 Assignment: tID tASSIGN Expression . tSEMI + 37 Expression: Expression . tADD Expression + 38 | Expression . tSUB Expression + 39 | Expression . tMUL Expression + 40 | Expression . tDIV Expression + + tDIV décalage et aller à l'état 63 + tMUL décalage et aller à l'état 64 + tADD décalage et aller à l'état 65 + tSUB décalage et aller à l'état 66 + tSEMI décalage et aller à l'état 94 + + +État 70 + + 37 Expression: Expression . tADD Expression + 38 | Expression . tSUB Expression + 39 | Expression . tMUL Expression + 40 | Expression . tDIV Expression + 41 Expressions: Expression . + 42 | Expression . tCOMMA Expressions + + tDIV décalage et aller à l'état 63 + tMUL décalage et aller à l'état 64 + tADD décalage et aller à l'état 65 + tSUB décalage et aller à l'état 66 + tCOMMA décalage et aller à l'état 95 + + $défaut réduction par utilisation de la règle 41 (Expressions) + + +État 71 + + 43 FunctionCall: tID tLPAR Expressions . tRPAR + + tRPAR décalage et aller à l'état 96 + + +État 72 + + 55 Declaration: tID . + 56 | tID . tASSIGN Expression + + tASSIGN décalage et aller à l'état 97 + + $défaut réduction par utilisation de la règle 55 (Declaration) + + +État 73 + + 59 Declaration: Type . tID tSEMI + 60 | Type . tID tASSIGN Expression tSEMI + 61 | Type . tID tCOMMA VarsCommaSeparated tSEMI + 62 | Type . tID tCOMMA VarsCommaSeparated tASSIGN Expression tSEMI + + tID décalage et aller à l'état 98 + + +État 74 + + 54 Declarations: Type $@2 Declaration . Declarations1 tSEMI + + tCOMMA décalage et aller à l'état 99 + + $défaut réduction par utilisation de la règle 58 (Declarations1) + + Declarations1 aller à l'état 100 + + +État 75 + + 19 ConditionalExpression: tNOT ConditionalExpression . + 20 | ConditionalExpression . tOR ConditionalExpression + 21 | ConditionalExpression . tAND ConditionalExpression + + $défaut réduction par utilisation de la règle 19 (ConditionalExpression) + + +État 76 + + 17 ConditionalExpression: tLPAR ConditionalExpression . tRPAR + 20 | ConditionalExpression . tOR ConditionalExpression + 21 | ConditionalExpression . tAND ConditionalExpression + + tAND décalage et aller à l'état 77 + tOR décalage et aller à l'état 78 + tRPAR décalage et aller à l'état 101 + + +État 77 + + 21 ConditionalExpression: ConditionalExpression tAND . ConditionalExpression + + tNOT décalage et aller à l'état 54 + tLPAR décalage et aller à l'état 55 + tID décalage et aller à l'état 56 + tNB décalage et aller à l'état 57 + + ConditionalExpression aller à l'état 102 + NbOrVariable aller à l'état 59 + + +État 78 + + 20 ConditionalExpression: ConditionalExpression tOR . ConditionalExpression + + tNOT décalage et aller à l'état 54 + tLPAR décalage et aller à l'état 55 + tID décalage et aller à l'état 56 + tNB décalage et aller à l'état 57 + + ConditionalExpression aller à l'état 103 + NbOrVariable aller à l'état 59 + + +État 79 + + 14 Condition: tLPAR ConditionalExpression tRPAR . + + $défaut réduction par utilisation de la règle 14 (Condition) + + +État 80 + + 28 NumericalOperator: tLT . + + $défaut réduction par utilisation de la règle 28 (NumericalOperator) + + +État 81 + + 29 NumericalOperator: tGT . + + $défaut réduction par utilisation de la règle 29 (NumericalOperator) + + +État 82 + + 27 NumericalOperator: tNE . + + $défaut réduction par utilisation de la règle 27 (NumericalOperator) + + +État 83 + + 26 NumericalOperator: tEQ . + + $défaut réduction par utilisation de la règle 26 (NumericalOperator) + + +État 84 + + 25 NumericalOperator: tGE . + + $défaut réduction par utilisation de la règle 25 (NumericalOperator) + + +État 85 + + 24 NumericalOperator: tLE . + + $défaut réduction par utilisation de la règle 24 (NumericalOperator) + + +État 86 + + 18 ConditionalExpression: NbOrVariable NumericalOperator . NbOrVariable + + tID décalage et aller à l'état 104 + tNB décalage et aller à l'état 44 + + NbOrVariable aller à l'état 105 + + +État 87 + + 31 IfStatement: tIF Condition InnerBlock tELSE . InnerBlock + + tLBRACE décalage et aller à l'état 15 + + InnerBlock aller à l'état 106 + + +État 88 + + 36 Expression: tLPAR Expression tRPAR . + + $défaut réduction par utilisation de la règle 36 (Expression) + + +État 89 + + 37 Expression: Expression . tADD Expression + 38 | Expression . tSUB Expression + 39 | Expression . tMUL Expression + 40 | Expression . tDIV Expression + 40 | Expression tDIV Expression . + + $défaut réduction par utilisation de la règle 40 (Expression) + + +État 90 + + 37 Expression: Expression . tADD Expression + 38 | Expression . tSUB Expression + 39 | Expression . tMUL Expression + 39 | Expression tMUL Expression . + 40 | Expression . tDIV Expression + + $défaut réduction par utilisation de la règle 39 (Expression) + + +État 91 + + 37 Expression: Expression . tADD Expression + 37 | Expression tADD Expression . + 38 | Expression . tSUB Expression + 39 | Expression . tMUL Expression + 40 | Expression . tDIV Expression + + $défaut réduction par utilisation de la règle 37 (Expression) + + +État 92 + + 37 Expression: Expression . tADD Expression + 38 | Expression . tSUB Expression + 38 | Expression tSUB Expression . + 39 | Expression . tMUL Expression + 40 | Expression . tDIV Expression + + $défaut réduction par utilisation de la règle 38 (Expression) + + +État 93 + + 66 Print: tPRINT tLPAR Expression tRPAR . tSEMI + + tSEMI décalage et aller à l'état 107 + + +État 94 + + 33 Assignment: tID tASSIGN Expression tSEMI . + + $défaut réduction par utilisation de la règle 33 (Assignment) + + +État 95 + + 42 Expressions: Expression tCOMMA . Expressions + + tLPAR décalage et aller à l'état 42 + tID décalage et aller à l'état 43 + tNB décalage et aller à l'état 44 + + NbOrVariable aller à l'état 45 + Expression aller à l'état 70 + Expressions aller à l'état 108 + FunctionCall aller à l'état 47 + + +État 96 + + 43 FunctionCall: tID tLPAR Expressions tRPAR . + + $défaut réduction par utilisation de la règle 43 (FunctionCall) + + +État 97 + + 56 Declaration: tID tASSIGN . Expression + + tLPAR décalage et aller à l'état 42 + tID décalage et aller à l'état 43 + tNB décalage et aller à l'état 44 + + NbOrVariable aller à l'état 45 + Expression aller à l'état 109 + FunctionCall aller à l'état 47 + + +État 98 + + 59 Declaration: Type tID . tSEMI + 60 | Type tID . tASSIGN Expression tSEMI + 61 | Type tID . tCOMMA VarsCommaSeparated tSEMI + 62 | Type tID . tCOMMA VarsCommaSeparated tASSIGN Expression tSEMI + + tASSIGN décalage et aller à l'état 110 + tSEMI décalage et aller à l'état 111 + tCOMMA décalage et aller à l'état 112 + + +État 99 + + 57 Declarations1: tCOMMA . Declaration Declarations1 + + tFLOAT décalage et aller à l'état 1 + tINT décalage et aller à l'état 2 + tID décalage et aller à l'état 72 + + Type aller à l'état 73 + Declaration aller à l'état 113 + + +État 100 + + 54 Declarations: Type $@2 Declaration Declarations1 . tSEMI + + tSEMI décalage et aller à l'état 114 + + +État 101 + + 17 ConditionalExpression: tLPAR ConditionalExpression tRPAR . + + $défaut réduction par utilisation de la règle 17 (ConditionalExpression) + + +État 102 + + 20 ConditionalExpression: ConditionalExpression . tOR ConditionalExpression + 21 | ConditionalExpression . tAND ConditionalExpression + 21 | ConditionalExpression tAND ConditionalExpression . + + $défaut réduction par utilisation de la règle 21 (ConditionalExpression) + + +État 103 + + 20 ConditionalExpression: ConditionalExpression . tOR ConditionalExpression + 20 | ConditionalExpression tOR ConditionalExpression . + 21 | ConditionalExpression . tAND ConditionalExpression + + $défaut réduction par utilisation de la règle 20 (ConditionalExpression) + + +État 104 + + 22 NbOrVariable: tID . + + $défaut réduction par utilisation de la règle 22 (NbOrVariable) + + +État 105 + + 18 ConditionalExpression: NbOrVariable NumericalOperator NbOrVariable . + + $défaut réduction par utilisation de la règle 18 (ConditionalExpression) + + +État 106 + + 31 IfStatement: tIF Condition InnerBlock tELSE InnerBlock . + + $défaut réduction par utilisation de la règle 31 (IfStatement) + + +État 107 + + 66 Print: tPRINT tLPAR Expression tRPAR tSEMI . + + $défaut réduction par utilisation de la règle 66 (Print) + + +État 108 + + 42 Expressions: Expression tCOMMA Expressions . + + $défaut réduction par utilisation de la règle 42 (Expressions) + + +État 109 + + 37 Expression: Expression . tADD Expression + 38 | Expression . tSUB Expression + 39 | Expression . tMUL Expression + 40 | Expression . tDIV Expression + 56 Declaration: tID tASSIGN Expression . + + tDIV décalage et aller à l'état 63 + tMUL décalage et aller à l'état 64 + tADD décalage et aller à l'état 65 + tSUB décalage et aller à l'état 66 + + $défaut réduction par utilisation de la règle 56 (Declaration) + + +État 110 + + 60 Declaration: Type tID tASSIGN . Expression tSEMI + + tLPAR décalage et aller à l'état 42 + tID décalage et aller à l'état 43 + tNB décalage et aller à l'état 44 + + NbOrVariable aller à l'état 45 + Expression aller à l'état 115 + FunctionCall aller à l'état 47 + + +État 111 + + 59 Declaration: Type tID tSEMI . + + $défaut réduction par utilisation de la règle 59 (Declaration) + + +État 112 + + 61 Declaration: Type tID tCOMMA . VarsCommaSeparated tSEMI + 62 | Type tID tCOMMA . VarsCommaSeparated tASSIGN Expression tSEMI + + tID décalage et aller à l'état 116 + + VarsCommaSeparated aller à l'état 117 + + +État 113 + + 57 Declarations1: tCOMMA Declaration . Declarations1 + + tCOMMA décalage et aller à l'état 99 + + $défaut réduction par utilisation de la règle 58 (Declarations1) + + Declarations1 aller à l'état 118 + + +État 114 + + 54 Declarations: Type $@2 Declaration Declarations1 tSEMI . + + $défaut réduction par utilisation de la règle 54 (Declarations) + + +État 115 + + 37 Expression: Expression . tADD Expression + 38 | Expression . tSUB Expression + 39 | Expression . tMUL Expression + 40 | Expression . tDIV Expression + 60 Declaration: Type tID tASSIGN Expression . tSEMI + + tDIV décalage et aller à l'état 63 + tMUL décalage et aller à l'état 64 + tADD décalage et aller à l'état 65 + tSUB décalage et aller à l'état 66 + tSEMI décalage et aller à l'état 119 + + +État 116 + + 63 VarsCommaSeparated: tID . + 64 | tID . tCOMMA VarsCommaSeparated + + tCOMMA décalage et aller à l'état 120 + + $défaut réduction par utilisation de la règle 63 (VarsCommaSeparated) + + +État 117 + + 61 Declaration: Type tID tCOMMA VarsCommaSeparated . tSEMI + 62 | Type tID tCOMMA VarsCommaSeparated . tASSIGN Expression tSEMI + + tASSIGN décalage et aller à l'état 121 + tSEMI décalage et aller à l'état 122 + + +État 118 + + 57 Declarations1: tCOMMA Declaration Declarations1 . + + $défaut réduction par utilisation de la règle 57 (Declarations1) + + +État 119 + + 60 Declaration: Type tID tASSIGN Expression tSEMI . + + $défaut réduction par utilisation de la règle 60 (Declaration) + + +État 120 + + 64 VarsCommaSeparated: tID tCOMMA . VarsCommaSeparated + + tID décalage et aller à l'état 116 + + VarsCommaSeparated aller à l'état 123 + + +État 121 + + 62 Declaration: Type tID tCOMMA VarsCommaSeparated tASSIGN . Expression tSEMI + + tLPAR décalage et aller à l'état 42 + tID décalage et aller à l'état 43 + tNB décalage et aller à l'état 44 + + NbOrVariable aller à l'état 45 + Expression aller à l'état 124 + FunctionCall aller à l'état 47 + + +État 122 + + 61 Declaration: Type tID tCOMMA VarsCommaSeparated tSEMI . + + $défaut réduction par utilisation de la règle 61 (Declaration) + + +État 123 + + 64 VarsCommaSeparated: tID tCOMMA VarsCommaSeparated . + + $défaut réduction par utilisation de la règle 64 (VarsCommaSeparated) + + +État 124 + + 37 Expression: Expression . tADD Expression + 38 | Expression . tSUB Expression + 39 | Expression . tMUL Expression + 40 | Expression . tDIV Expression + 62 Declaration: Type tID tCOMMA VarsCommaSeparated tASSIGN Expression . tSEMI + + tDIV décalage et aller à l'état 63 + tMUL décalage et aller à l'état 64 + tADD décalage et aller à l'état 65 + tSUB décalage et aller à l'état 66 + tSEMI décalage et aller à l'état 125 + + +État 125 + + 62 Declaration: Type tID tCOMMA VarsCommaSeparated tASSIGN Expression tSEMI . + + $défaut réduction par utilisation de la règle 62 (Declaration) diff --git a/yacc.tab.c b/yacc.tab.c new file mode 100644 index 0000000..9b25854 --- /dev/null +++ b/yacc.tab.c @@ -0,0 +1,1768 @@ +/* A Bison parser, made by GNU Bison 3.5.1. */ + +/* Bison implementation for Yacc-like parsers in C + + Copyright (C) 1984, 1989-1990, 2000-2015, 2018-2020 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. */ + +/* Undocumented macros, especially those whose name start with YY_, + are private implementation details. Do not rely on them. */ + +/* Identify Bison output. */ +#define YYBISON 1 + +/* Bison version. */ +#define YYBISON_VERSION "3.5.1" + +/* Skeleton name. */ +#define YYSKELETON_NAME "yacc.c" + +/* Pure parsers. */ +#define YYPURE 0 + +/* Push parsers. */ +#define YYPUSH 0 + +/* Pull parsers. */ +#define YYPULL 1 + + + + +/* First part of user prologue. */ +#line 1 "yacc.y" + +#include +#include +#include "table.h" + +int t; + int yylex (void); + void yyerror (const char *); + +#line 80 "yacc.tab.c" + +# ifndef YY_CAST +# ifdef __cplusplus +# define YY_CAST(Type, Val) static_cast (Val) +# define YY_REINTERPRET_CAST(Type, Val) reinterpret_cast (Val) +# else +# define YY_CAST(Type, Val) ((Type) (Val)) +# define YY_REINTERPRET_CAST(Type, Val) ((Type) (Val)) +# endif +# endif +# ifndef YY_NULLPTR +# if defined __cplusplus +# if 201103L <= __cplusplus +# define YY_NULLPTR nullptr +# else +# define YY_NULLPTR 0 +# endif +# else +# define YY_NULLPTR ((void*)0) +# endif +# endif + +/* Enabling verbose error messages. */ +#ifdef YYERROR_VERBOSE +# undef YYERROR_VERBOSE +# define YYERROR_VERBOSE 1 +#else +# define YYERROR_VERBOSE 0 +#endif + +/* Use api.header.include to #include this header + instead of duplicating it here. */ +#ifndef YY_YY_YACC_TAB_H_INCLUDED +# define YY_YY_YACC_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 + { + tWHILE = 258, + tIF = 259, + tELSE = 260, + tRETURN = 261, + tPRINT = 262, + tFLOAT = 263, + tINT = 264, + tVOID = 265, + tDIV = 266, + tMUL = 267, + tADD = 268, + tSUB = 269, + tASSIGN = 270, + tLT = 271, + tGT = 272, + tNE = 273, + tEQ = 274, + tGE = 275, + tLE = 276, + tAND = 277, + tOR = 278, + tNOT = 279, + tLBRACE = 280, + tRBRACE = 281, + tLPAR = 282, + tRPAR = 283, + tSEMI = 284, + tCOMMA = 285, + tID = 286, + tNB = 287 + }; +#endif + +/* Value type. */ +#if ! defined YYSTYPE && ! defined YYSTYPE_IS_DECLARED +union YYSTYPE +{ +#line 12 "yacc.y" +int nbInt; /*enumVarType*/ int type; char* string; + +#line 168 "yacc.tab.c" + +}; +typedef union YYSTYPE YYSTYPE; +# define YYSTYPE_IS_TRIVIAL 1 +# define YYSTYPE_IS_DECLARED 1 +#endif + + +extern YYSTYPE yylval; + +int yyparse (void); + +#endif /* !YY_YY_YACC_TAB_H_INCLUDED */ + + + +#ifdef short +# undef short +#endif + +/* On compilers that do not define __PTRDIFF_MAX__ etc., make sure + and (if available) are included + so that the code can choose integer types of a good width. */ + +#ifndef __PTRDIFF_MAX__ +# include /* INFRINGES ON USER NAME SPACE */ +# if defined __STDC_VERSION__ && 199901 <= __STDC_VERSION__ +# include /* INFRINGES ON USER NAME SPACE */ +# define YY_STDINT_H +# endif +#endif + +/* Narrow types that promote to a signed type and that can represent a + signed or unsigned integer of at least N bits. In tables they can + save space and decrease cache pressure. Promoting to a signed type + helps avoid bugs in integer arithmetic. */ + +#ifdef __INT_LEAST8_MAX__ +typedef __INT_LEAST8_TYPE__ yytype_int8; +#elif defined YY_STDINT_H +typedef int_least8_t yytype_int8; +#else +typedef signed char yytype_int8; +#endif + +#ifdef __INT_LEAST16_MAX__ +typedef __INT_LEAST16_TYPE__ yytype_int16; +#elif defined YY_STDINT_H +typedef int_least16_t yytype_int16; +#else +typedef short yytype_int16; +#endif + +#if defined __UINT_LEAST8_MAX__ && __UINT_LEAST8_MAX__ <= __INT_MAX__ +typedef __UINT_LEAST8_TYPE__ yytype_uint8; +#elif (!defined __UINT_LEAST8_MAX__ && defined YY_STDINT_H \ + && UINT_LEAST8_MAX <= INT_MAX) +typedef uint_least8_t yytype_uint8; +#elif !defined __UINT_LEAST8_MAX__ && UCHAR_MAX <= INT_MAX +typedef unsigned char yytype_uint8; +#else +typedef short yytype_uint8; +#endif + +#if defined __UINT_LEAST16_MAX__ && __UINT_LEAST16_MAX__ <= __INT_MAX__ +typedef __UINT_LEAST16_TYPE__ yytype_uint16; +#elif (!defined __UINT_LEAST16_MAX__ && defined YY_STDINT_H \ + && UINT_LEAST16_MAX <= INT_MAX) +typedef uint_least16_t yytype_uint16; +#elif !defined __UINT_LEAST16_MAX__ && USHRT_MAX <= INT_MAX +typedef unsigned short yytype_uint16; +#else +typedef int yytype_uint16; +#endif + +#ifndef YYPTRDIFF_T +# if defined __PTRDIFF_TYPE__ && defined __PTRDIFF_MAX__ +# define YYPTRDIFF_T __PTRDIFF_TYPE__ +# define YYPTRDIFF_MAXIMUM __PTRDIFF_MAX__ +# elif defined PTRDIFF_MAX +# ifndef ptrdiff_t +# include /* INFRINGES ON USER NAME SPACE */ +# endif +# define YYPTRDIFF_T ptrdiff_t +# define YYPTRDIFF_MAXIMUM PTRDIFF_MAX +# else +# define YYPTRDIFF_T long +# define YYPTRDIFF_MAXIMUM LONG_MAX +# endif +#endif + +#ifndef YYSIZE_T +# ifdef __SIZE_TYPE__ +# define YYSIZE_T __SIZE_TYPE__ +# elif defined size_t +# define YYSIZE_T size_t +# elif defined __STDC_VERSION__ && 199901 <= __STDC_VERSION__ +# include /* INFRINGES ON USER NAME SPACE */ +# define YYSIZE_T size_t +# else +# define YYSIZE_T unsigned +# endif +#endif + +#define YYSIZE_MAXIMUM \ + YY_CAST (YYPTRDIFF_T, \ + (YYPTRDIFF_MAXIMUM < YY_CAST (YYSIZE_T, -1) \ + ? YYPTRDIFF_MAXIMUM \ + : YY_CAST (YYSIZE_T, -1))) + +#define YYSIZEOF(X) YY_CAST (YYPTRDIFF_T, sizeof (X)) + +/* Stored state numbers (used for stacks). */ +typedef yytype_int8 yy_state_t; + +/* State numbers in computations. */ +typedef int yy_state_fast_t; + +#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_PURE +# if defined __GNUC__ && 2 < __GNUC__ + (96 <= __GNUC_MINOR__) +# define YY_ATTRIBUTE_PURE __attribute__ ((__pure__)) +# else +# define YY_ATTRIBUTE_PURE +# endif +#endif + +#ifndef YY_ATTRIBUTE_UNUSED +# if defined __GNUC__ && 2 < __GNUC__ + (7 <= __GNUC_MINOR__) +# define YY_ATTRIBUTE_UNUSED __attribute__ ((__unused__)) +# else +# define YY_ATTRIBUTE_UNUSED +# 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__ && ! defined __ICC && 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 __cplusplus && defined __GNUC__ && ! defined __ICC && 6 <= __GNUC__ +# define YY_IGNORE_USELESS_CAST_BEGIN \ + _Pragma ("GCC diagnostic push") \ + _Pragma ("GCC diagnostic ignored \"-Wuseless-cast\"") +# define YY_IGNORE_USELESS_CAST_END \ + _Pragma ("GCC diagnostic pop") +#endif +#ifndef YY_IGNORE_USELESS_CAST_BEGIN +# define YY_IGNORE_USELESS_CAST_BEGIN +# define YY_IGNORE_USELESS_CAST_END +#endif + + +#define YY_ASSERT(E) ((void) (0 && (E))) + +#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 +{ + yy_state_t yyss_alloc; + YYSTYPE yyvs_alloc; +}; + +/* The size of the maximum gap between one aligned stack and the next. */ +# define YYSTACK_GAP_MAXIMUM (YYSIZEOF (union yyalloc) - 1) + +/* The size of an array large to enough to hold all stacks, each with + N elements. */ +# define YYSTACK_BYTES(N) \ + ((N) * (YYSIZEOF (yy_state_t) + YYSIZEOF (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 \ + { \ + YYPTRDIFF_T yynewbytes; \ + YYCOPY (&yyptr->Stack_alloc, Stack, yysize); \ + Stack = &yyptr->Stack_alloc; \ + yynewbytes = yystacksize * YYSIZEOF (*Stack) + YYSTACK_GAP_MAXIMUM; \ + yyptr += yynewbytes / YYSIZEOF (*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, YY_CAST (YYSIZE_T, (Count)) * sizeof (*(Src))) +# else +# define YYCOPY(Dst, Src, Count) \ + do \ + { \ + YYPTRDIFF_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 148 + +/* YYNTOKENS -- Number of terminals. */ +#define YYNTOKENS 33 +/* YYNNTS -- Number of nonterminals. */ +#define YYNNTS 28 +/* YYNRULES -- Number of rules. */ +#define YYNRULES 67 +/* YYNSTATES -- Number of states. */ +#define YYNSTATES 126 + +#define YYUNDEFTOK 2 +#define YYMAXUTOK 287 + + +/* YYTRANSLATE(TOKEN-NUM) -- Symbol number corresponding to TOKEN-NUM + as returned by yylex, with out-of-bounds checking. */ +#define YYTRANSLATE(YYX) \ + (0 <= (YYX) && (YYX) <= YYMAXUTOK ? yytranslate[YYX] : YYUNDEFTOK) + +/* YYTRANSLATE[TOKEN-NUM] -- Symbol number corresponding to TOKEN-NUM + as returned by yylex. */ +static const yytype_int8 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 +}; + +#if YYDEBUG + /* YYRLINE[YYN] -- Source line where rule number YYN was defined. */ +static const yytype_uint8 yyrline[] = +{ + 0, 42, 42, 45, 46, 48, 49, 50, 51, 52, + 53, 54, 57, 58, 58, 61, 64, 65, 66, 67, + 68, 72, 73, 78, 79, 82, 82, 82, 82, 82, + 82, 88, 89, 91, 93, 96, 97, 98, 102, 103, + 104, 105, 108, 109, 111, 113, 116, 117, 118, 120, + 121, 124, 127, 128, 131, 131, 133, 134, 136, 136, + 143, 144, 147, 148, 154, 155, 157, 159 +}; +#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", "tWHILE", "tIF", "tELSE", "tRETURN", + "tPRINT", "tFLOAT", "tINT", "tVOID", "tDIV", "tMUL", "tADD", "tSUB", + "tASSIGN", "tLT", "tGT", "tNE", "tEQ", "tGE", "tLE", "tAND", "tOR", + "tNOT", "tLBRACE", "tRBRACE", "tLPAR", "tRPAR", "tSEMI", "tCOMMA", "tID", + "tNB", "$accept", "Program", "Lines", "Line", "InnerBlock", "$@1", + "Condition", "ConditionalExpression", "NbOrVariable", + "NumericalOperator", "IfStatement", "WhileStatement", "Assignment", + "Expression", "Expressions", "FunctionCall", "FunctionDef", + "FunctionParams", "VarsWithType", "VarWithType", "Type", "Declarations", + "$@2", "Declaration", "Declarations1", "VarsCommaSeparated", "Return", + "Print", 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_int16 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 +}; +# endif + +#define YYPACT_NINF (-43) + +#define yypact_value_is_default(Yyn) \ + ((Yyn) == YYPACT_NINF) + +#define YYTABLE_NINF (-18) + +#define yytable_value_is_error(Yyn) \ + 0 + + /* YYPACT[STATE-NUM] -- Index in YYTABLE of the portion describing + STATE-NUM. */ +static const yytype_int8 yypact[] = +{ + 23, -43, -43, 18, -43, -2, -43, 7, 17, 25, + 20, -43, 42, 41, 44, 52, -43, -43, -43, 23, + -43, -43, 2, -43, 67, 67, 101, 92, 1, 53, + 2, -43, -43, -43, -43, -43, -43, -43, -43, 50, + 25, 25, 101, 102, -43, -43, 47, -43, 101, 101, + 101, -43, -43, 6, 50, 50, 83, 86, 90, 106, + -43, 105, 79, 101, 101, 101, 101, -43, 89, 51, + 43, 103, 80, 99, 108, -43, 93, 50, 50, -43, + -43, -43, -43, -43, -43, -43, 15, 25, -43, -43, + -43, -43, -43, 91, -43, 101, -43, 101, 68, 6, + 110, -43, -43, -43, -43, -43, -43, -43, -43, 123, + 101, -43, 109, 108, -43, 55, 111, -8, -43, -43, + 109, 101, -43, -43, 75, -43 +}; + + /* 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_int8 yydefact[] = +{ + 0, 53, 52, 0, 2, 0, 1, 0, 0, 0, + 0, 46, 0, 49, 0, 13, 45, 47, 48, 0, + 51, 12, 0, 50, 0, 0, 0, 0, 0, 0, + 3, 5, 6, 7, 9, 54, 8, 10, 11, 0, + 0, 0, 0, 23, 24, 35, 0, 36, 0, 0, + 0, 14, 4, 0, 0, 0, 23, 24, 0, 0, + 33, 31, 0, 0, 0, 0, 0, 66, 0, 0, + 42, 0, 56, 0, 59, 20, 0, 0, 0, 15, + 29, 30, 28, 27, 26, 25, 0, 0, 37, 41, + 40, 38, 39, 0, 34, 0, 44, 0, 0, 0, + 0, 18, 22, 21, 23, 19, 32, 67, 43, 57, + 0, 60, 0, 59, 55, 0, 64, 0, 58, 61, + 0, 0, 62, 65, 0, 63 +}; + + /* YYPGOTO[NTERM-NUM]. */ +static const yytype_int8 yypgoto[] = +{ + -43, -43, 112, -43, -38, -43, 118, -42, -35, -43, + -43, -43, -43, -25, 49, 22, -43, -43, 126, -43, + 0, -43, -43, 48, 33, 28, -43, -43 +}; + + /* YYDEFGOTO[NTERM-NUM]. */ +static const yytype_int8 yydefgoto[] = +{ + -1, 3, 29, 30, 16, 22, 40, 58, 45, 86, + 31, 32, 33, 70, 71, 47, 4, 9, 12, 13, + 14, 36, 53, 74, 100, 117, 37, 38 +}; + + /* 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_int8 yytable[] = +{ + 5, 46, 60, 61, 59, 24, 25, 121, 26, 27, + 1, 2, 75, 76, 1, 2, 49, 62, 6, 59, + 59, 122, 35, 68, 69, 1, 2, 10, 50, 7, + 35, 1, 2, 28, 8, 102, 103, 72, 89, 90, + 91, 92, 59, 59, 34, 11, 104, 44, 17, 106, + 15, 105, 34, 73, 63, 64, 65, 66, 63, 64, + 65, 66, 63, 64, 65, 66, 63, 64, 65, 66, + 18, 19, 109, 95, 54, 20, 67, 55, 21, 51, + 94, 56, 57, 110, 119, 115, 63, 64, 65, 66, + 63, 64, 65, 66, 39, 97, 124, 111, 112, 73, + 63, 64, 65, 66, 125, -16, -16, 88, -17, -17, + 87, -16, 77, 78, -17, 77, 78, 93, 79, 48, + 107, 101, 80, 81, 82, 83, 84, 85, 42, 50, + 98, 96, 43, 44, 63, 64, 65, 66, 99, 114, + 116, 120, 52, 41, 108, 23, 118, 113, 123 +}; + +static const yytype_int8 yycheck[] = +{ + 0, 26, 40, 41, 39, 3, 4, 15, 6, 7, + 8, 9, 54, 55, 8, 9, 15, 42, 0, 54, + 55, 29, 22, 48, 49, 8, 9, 10, 27, 31, + 30, 8, 9, 31, 27, 77, 78, 31, 63, 64, + 65, 66, 77, 78, 22, 28, 31, 32, 28, 87, + 25, 86, 30, 53, 11, 12, 13, 14, 11, 12, + 13, 14, 11, 12, 13, 14, 11, 12, 13, 14, + 28, 30, 97, 30, 24, 31, 29, 27, 26, 26, + 29, 31, 32, 15, 29, 110, 11, 12, 13, 14, + 11, 12, 13, 14, 27, 15, 121, 29, 30, 99, + 11, 12, 13, 14, 29, 22, 23, 28, 22, 23, + 5, 28, 22, 23, 28, 22, 23, 28, 28, 27, + 29, 28, 16, 17, 18, 19, 20, 21, 27, 27, + 31, 28, 31, 32, 11, 12, 13, 14, 30, 29, + 31, 30, 30, 25, 95, 19, 113, 99, 120 +}; + + /* YYSTOS[STATE-NUM] -- The (internal number of the) accessing + symbol of state STATE-NUM. */ +static const yytype_int8 yystos[] = +{ + 0, 8, 9, 34, 49, 53, 0, 31, 27, 50, + 10, 28, 51, 52, 53, 25, 37, 28, 28, 30, + 31, 26, 38, 51, 3, 4, 6, 7, 31, 35, + 36, 43, 44, 45, 48, 53, 54, 59, 60, 27, + 39, 39, 27, 31, 32, 41, 46, 48, 27, 15, + 27, 26, 35, 55, 24, 27, 31, 32, 40, 41, + 37, 37, 46, 11, 12, 13, 14, 29, 46, 46, + 46, 47, 31, 53, 56, 40, 40, 22, 23, 28, + 16, 17, 18, 19, 20, 21, 42, 5, 28, 46, + 46, 46, 46, 28, 29, 30, 28, 15, 31, 30, + 57, 28, 40, 40, 31, 41, 37, 29, 47, 46, + 15, 29, 30, 56, 29, 46, 31, 58, 57, 29, + 30, 15, 29, 58, 46, 29 +}; + + /* YYR1[YYN] -- Symbol number of symbol that rule YYN derives. */ +static const yytype_int8 yyr1[] = +{ + 0, 33, 34, 35, 35, 36, 36, 36, 36, 36, + 36, 36, 37, 38, 37, 39, 40, 40, 40, 40, + 40, 40, 40, 41, 41, 42, 42, 42, 42, 42, + 42, 43, 43, 44, 45, 46, 46, 46, 46, 46, + 46, 46, 47, 47, 48, 49, 50, 50, 50, 51, + 51, 52, 53, 53, 55, 54, 56, 56, 57, 57, + 56, 56, 56, 56, 58, 58, 59, 60 +}; + + /* YYR2[YYN] -- Number of symbols on the right hand side of rule YYN. */ +static const yytype_int8 yyr2[] = +{ + 0, 2, 1, 1, 2, 1, 1, 1, 1, 1, + 1, 1, 2, 0, 4, 3, 1, 1, 3, 3, + 2, 3, 3, 1, 1, 1, 1, 1, 1, 1, + 1, 3, 5, 3, 4, 1, 1, 3, 3, 3, + 3, 3, 1, 3, 4, 4, 2, 3, 3, 1, + 3, 2, 1, 1, 0, 5, 1, 3, 3, 0, + 3, 5, 5, 7, 1, 3, 3, 5 +}; + + +#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 YYO. | +`-----------------------------------*/ + +static void +yy_symbol_value_print (FILE *yyo, int yytype, YYSTYPE const * const yyvaluep) +{ + FILE *yyoutput = yyo; + YYUSE (yyoutput); + if (!yyvaluep) + return; +# ifdef YYPRINT + if (yytype < YYNTOKENS) + YYPRINT (yyo, yytoknum[yytype], *yyvaluep); +# endif + YY_IGNORE_MAYBE_UNINITIALIZED_BEGIN + YYUSE (yytype); + YY_IGNORE_MAYBE_UNINITIALIZED_END +} + + +/*---------------------------. +| Print this symbol on YYO. | +`---------------------------*/ + +static void +yy_symbol_print (FILE *yyo, int yytype, YYSTYPE const * const yyvaluep) +{ + YYFPRINTF (yyo, "%s %s (", + yytype < YYNTOKENS ? "token" : "nterm", yytname[yytype]); + + yy_symbol_value_print (yyo, yytype, yyvaluep); + YYFPRINTF (yyo, ")"); +} + +/*------------------------------------------------------------------. +| yy_stack_print -- Print the state stack from its BOTTOM up to its | +| TOP (included). | +`------------------------------------------------------------------*/ + +static void +yy_stack_print (yy_state_t *yybottom, yy_state_t *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 (yy_state_t *yyssp, YYSTYPE *yyvsp, int yyrule) +{ + int yylno = yyrline[yyrule]; + int yynrhs = yyr2[yyrule]; + int yyi; + YYFPRINTF (stderr, "Reducing stack by rule %d (line %d):\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(S) (YY_CAST (YYPTRDIFF_T, strlen (S))) +# else +/* Return the length of YYSTR. */ +static YYPTRDIFF_T +yystrlen (const char *yystr) +{ + YYPTRDIFF_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 YYPTRDIFF_T +yytnamerr (char *yyres, const char *yystr) +{ + if (*yystr == '"') + { + YYPTRDIFF_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; + else + goto append; + + append: + default: + if (yyres) + yyres[yyn] = *yyp; + yyn++; + break; + + case '"': + if (yyres) + yyres[yyn] = '\0'; + return yyn; + } + do_not_strip_quotes: ; + } + + if (yyres) + return yystpcpy (yyres, yystr) - yyres; + else + return yystrlen (yystr); +} +# 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 (YYPTRDIFF_T *yymsg_alloc, char **yymsg, + yy_state_t *yyssp, int yytoken) +{ + enum { YYERROR_VERBOSE_ARGS_MAXIMUM = 5 }; + /* Internationalized format string. */ + const char *yyformat = YY_NULLPTR; + /* Arguments of yyformat: reported tokens (one for the "unexpected", + one per "expected"). */ + char const *yyarg[YYERROR_VERBOSE_ARGS_MAXIMUM]; + /* Actual size of YYARG. */ + int yycount = 0; + /* Cumulated lengths of YYARG. */ + YYPTRDIFF_T yysize = 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]; + YYPTRDIFF_T yysize0 = yytnamerr (YY_NULLPTR, yytname[yytoken]); + yysize = yysize0; + 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]; + { + YYPTRDIFF_T yysize1 + = yysize + yytnamerr (YY_NULLPTR, yytname[yyx]); + if (yysize <= yysize1 && yysize1 <= YYSTACK_ALLOC_MAXIMUM) + yysize = yysize1; + else + return 2; + } + } + } + } + + switch (yycount) + { +# define YYCASE_(N, S) \ + case N: \ + yyformat = S; \ + break + default: /* Avoid compiler warnings. */ + 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_ + } + + { + /* Don't count the "%s"s in the final size, but reserve room for + the terminator. */ + YYPTRDIFF_T yysize1 = yysize + (yystrlen (yyformat) - 2 * yycount) + 1; + if (yysize <= yysize1 && yysize1 <= YYSTACK_ALLOC_MAXIMUM) + yysize = yysize1; + else + return 2; + } + + 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) +{ + yy_state_fast_t 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. */ + yy_state_t yyssa[YYINITDEPTH]; + yy_state_t *yyss; + yy_state_t *yyssp; + + /* The semantic value stack. */ + YYSTYPE yyvsa[YYINITDEPTH]; + YYSTYPE *yyvs; + YYSTYPE *yyvsp; + + YYPTRDIFF_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; + YYPTRDIFF_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 -- set current state (the top of the stack) to yystate. | +`--------------------------------------------------------------------*/ +yysetstate: + YYDPRINTF ((stderr, "Entering state %d\n", yystate)); + YY_ASSERT (0 <= yystate && yystate < YYNSTATES); + YY_IGNORE_USELESS_CAST_BEGIN + *yyssp = YY_CAST (yy_state_t, yystate); + YY_IGNORE_USELESS_CAST_END + + if (yyss + yystacksize - 1 <= yyssp) +#if !defined yyoverflow && !defined YYSTACK_RELOCATE + goto yyexhaustedlab; +#else + { + /* Get the current used size of the three stacks, in elements. */ + YYPTRDIFF_T yysize = yyssp - yyss + 1; + +# if defined 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. */ + yy_state_t *yyss1 = yyss; + YYSTYPE *yyvs1 = yyvs; + + /* 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 * YYSIZEOF (*yyssp), + &yyvs1, yysize * YYSIZEOF (*yyvsp), + &yystacksize); + yyss = yyss1; + yyvs = yyvs1; + } +# else /* defined YYSTACK_RELOCATE */ + /* Extend the stack our own way. */ + if (YYMAXDEPTH <= yystacksize) + goto yyexhaustedlab; + yystacksize *= 2; + if (YYMAXDEPTH < yystacksize) + yystacksize = YYMAXDEPTH; + + { + yy_state_t *yyss1 = yyss; + union yyalloc *yyptr = + YY_CAST (union yyalloc *, + YYSTACK_ALLOC (YY_CAST (YYSIZE_T, 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 + + yyssp = yyss + yysize - 1; + yyvsp = yyvs + yysize - 1; + + YY_IGNORE_USELESS_CAST_BEGIN + YYDPRINTF ((stderr, "Stack size increased to %ld\n", + YY_CAST (long, yystacksize))); + YY_IGNORE_USELESS_CAST_END + + if (yyss + yystacksize - 1 <= yyssp) + YYABORT; + } +#endif /* !defined yyoverflow && !defined YYSTACK_RELOCATE */ + + 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); + yystate = yyn; + YY_IGNORE_MAYBE_UNINITIALIZED_BEGIN + *++yyvsp = yylval; + YY_IGNORE_MAYBE_UNINITIALIZED_END + + /* Discard the shifted token. */ + yychar = YYEMPTY; + 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) + { + case 13: +#line 58 "yacc.y" + {increaseDepth();} +#line 1431 "yacc.tab.c" + break; + + case 14: +#line 58 "yacc.y" + {decreaseDepth();} +#line 1437 "yacc.tab.c" + break; + + case 23: +#line 78 "yacc.y" + {/* copy */} +#line 1443 "yacc.tab.c" + break; + + case 24: +#line 79 "yacc.y" + {/* Affectation */} +#line 1449 "yacc.tab.c" + break; + + case 34: +#line 93 "yacc.y" + {setInit((yyvsp[-3].string));} +#line 1455 "yacc.tab.c" + break; + + case 52: +#line 127 "yacc.y" + {(yyval.type) = /*INT*/ 0;} +#line 1461 "yacc.tab.c" + break; + + case 53: +#line 128 "yacc.y" + {(yyval.type) = /*FLOAT*/ 1;} +#line 1467 "yacc.tab.c" + break; + + case 54: +#line 131 "yacc.y" + { t = (yyvsp[0].type); } +#line 1473 "yacc.tab.c" + break; + + case 56: +#line 133 "yacc.y" + {addElement((yyvsp[0].string), (enumVarType) t);} +#line 1479 "yacc.tab.c" + break; + + case 57: +#line 134 "yacc.y" + {addElement((yyvsp[-2].string), (enumVarType) t);setInit((yyvsp[-2].string));} +#line 1485 "yacc.tab.c" + break; + + case 59: +#line 136 "yacc.y" + {} +#line 1491 "yacc.tab.c" + break; + + case 60: +#line 143 "yacc.y" + {addElement((yyvsp[-1].string), (enumVarType) (yyvsp[-2].type));} +#line 1497 "yacc.tab.c" + break; + + case 61: +#line 144 "yacc.y" + {addElement((yyvsp[-3].string), (enumVarType) (yyvsp[-4].type));setInit((yyvsp[-3].string));} +#line 1503 "yacc.tab.c" + break; + + case 62: +#line 147 "yacc.y" + {yyerror("[Beta] you cannot -still- define several variable on the same line");} +#line 1509 "yacc.tab.c" + break; + + case 63: +#line 148 "yacc.y" + {yyerror("[Beta] you cannot -still- define several variable on the same line");} +#line 1515 "yacc.tab.c" + break; + + case 66: +#line 157 "yacc.y" + {decreaseDepth();} +#line 1521 "yacc.tab.c" + break; + + +#line 1525 "yacc.tab.c" + + 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. */ + { + const int yylhs = yyr1[yyn] - YYNTOKENS; + const int yyi = yypgoto[yylhs] + *yyssp; + yystate = (0 <= yyi && yyi <= YYLAST && yycheck[yyi] == *yyssp + ? yytable[yyi] + : yydefgoto[yylhs]); + } + + 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 = YY_CAST (char *, YYSTACK_ALLOC (YY_CAST (YYSIZE_T, 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 when the user code never invokes YYERROR and the + label yyerrorlab therefore never appears in user code. */ + if (0) + YYERROR; + + /* 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 -- parsing is finished, return the result. | +`-----------------------------------------------------*/ +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 161 "yacc.y" + + +void yyerror(const char *msg) { + fprintf(stderr, "\033[1m\033[31m[/!\\]\033[0m Error : %s\n", msg); + exit(1); +} + +int main(void) { + initSymbolTable(); + yyparse(); +} + // SI >> SC diff --git a/yacc.tab.h b/yacc.tab.h new file mode 100644 index 0000000..40b26ae --- /dev/null +++ b/yacc.tab.h @@ -0,0 +1,105 @@ +/* A Bison parser, made by GNU Bison 3.5.1. */ + +/* Bison interface for Yacc-like parsers in C + + Copyright (C) 1984, 1989-1990, 2000-2015, 2018-2020 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. */ + +/* Undocumented macros, especially those whose name start with YY_, + are private implementation details. Do not rely on them. */ + +#ifndef YY_YY_YACC_TAB_H_INCLUDED +# define YY_YY_YACC_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 + { + tWHILE = 258, + tIF = 259, + tELSE = 260, + tRETURN = 261, + tPRINT = 262, + tFLOAT = 263, + tINT = 264, + tVOID = 265, + tDIV = 266, + tMUL = 267, + tADD = 268, + tSUB = 269, + tASSIGN = 270, + tLT = 271, + tGT = 272, + tNE = 273, + tEQ = 274, + tGE = 275, + tLE = 276, + tAND = 277, + tOR = 278, + tNOT = 279, + tLBRACE = 280, + tRBRACE = 281, + tLPAR = 282, + tRPAR = 283, + tSEMI = 284, + tCOMMA = 285, + tID = 286, + tNB = 287 + }; +#endif + +/* Value type. */ +#if ! defined YYSTYPE && ! defined YYSTYPE_IS_DECLARED +union YYSTYPE +{ +#line 12 "yacc.y" +int nbInt; /*enumVarType*/ int type; char* string; + +#line 93 "yacc.tab.h" + +}; +typedef union YYSTYPE YYSTYPE; +# define YYSTYPE_IS_TRIVIAL 1 +# define YYSTYPE_IS_DECLARED 1 +#endif + + +extern YYSTYPE yylval; + +int yyparse (void); + +#endif /* !YY_YY_YACC_TAB_H_INCLUDED */ diff --git a/yacc.y b/yacc.y index f0d4997..9eeb4cf 100644 --- a/yacc.y +++ b/yacc.y @@ -5,7 +5,7 @@ #include #include "table.h" - +int t; int yylex (void); void yyerror (const char *); %} @@ -37,9 +37,12 @@ void yyerror (const char *); %type Type -%start Lines +%start Program %% +Program : FunctionDef + | FunctionDef Program; + /* Lines = Any line in the code that is not within an if/while statement*/ Lines : Line | Line Lines; @@ -47,8 +50,7 @@ void yyerror (const char *); Line : IfStatement | WhileStatement | Assignment - | FunctionDef - | Declaration + | Declarations | FunctionCall | Return | Print; @@ -75,7 +77,8 @@ ConditionalExpression : tID /*NbOrVariable is either a number or a variable of type int*/ -NbOrVariable : tID | tNB; +NbOrVariable : tID {/* copy */} + | tNB {/* Affectation */}; /*List of all numerical operators*/ NumericalOperator : tLE | tGE | tEQ | tNE | tLT | tGT; @@ -127,19 +130,14 @@ VarWithType : Type tID; Type : tINT {$$ = INT;} | tFLOAT {$$ = FLOAT;}; -Declaration : Type tID tSEMI {addElement($2, (enumVarType) $1);} - | Type tID tASSIGN Expression tSEMI {addElement($2, $1);setInit($2);} -/* Potential improvement : take care of multiple definition on same line*/ - | Type tID tCOMMA VarsCommaSeparated tSEMI {yyerror("[Beta] you cannot -still- define several variable on the same line");} - | Type tID tCOMMA VarsCommaSeparated tASSIGN Expression tSEMI {yyerror("[Beta] you cannot -still- define several variable on the same line");}; - // yes this is perfectly valid in C, the last variable will hold the value, the others won't +Declarations : Type { t = $1; } Declaration Declarations1 tSEMI ; +Declaration : tID {addElement($1, (enumVarType) t);} + | tID tASSIGN Expression {addElement($1, (enumVarType) t);setInit($1);} ; + +Declarations1 : tCOMMA Declaration Declarations1 | {} ; - // this is only used in case of a declaration of several same-typed - // variables, ex : `int a,b,c;` -VarsCommaSeparated : tID - | tID tCOMMA VarsCommaSeparated; Return : tRETURN Expression tSEMI {decreaseDepth();};