Compare commits

..

No commits in common. "be674bf59ed4f4ed3b92f13bdb35926a71953263" and "8da76e2ec2155792e21fb7cfbb8410a9ca393a1b" have entirely different histories.

7 changed files with 17 additions and 3352 deletions

3
.gitignore vendored
View file

@ -1,5 +1,2 @@
.gitignore
.idea
out
yacc.tab.*
yacc.output

View file

@ -18,7 +18,7 @@ build: $(BIN)
$(CC) -c $(CFLAGS) $(CPPFLAGS) $< -o $@
yacc.tab.c: $(GRM)
bison -d -t -v $<
bison -d $<
lex.yy.c: $(LEX)
flex $<
@ -27,5 +27,5 @@ $(BIN): $(OBJ)
$(CC) $(CFLAGS) $(CPPFLAGS) $^ -o $@
clean:
rm $(OBJ) yacc.tab.c yacc.tab.h lex.yy.c
rm $(OBJ) y.tab.c y.tab.h lex.yy.c

BIN
out

Binary file not shown.

File diff suppressed because it is too large Load diff

1768
yacc.tab.c

File diff suppressed because it is too large Load diff

View file

@ -1,105 +0,0 @@
/* 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 <http://www.gnu.org/licenses/>. */
/* 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 */

31
yacc.y
View file

@ -5,13 +5,10 @@
#include <stdlib.h>
#include "table.h"
int t;
%}
%code provides{
int yylex (void);
void yyerror (const char *);
}
%}
%union {char str[NAME_MAX_LENGTH]; int nbInt; enumVarType type; }
/*loops keywords*/
@ -40,12 +37,9 @@ void yyerror (const char *);
%type <type> Type
%start Program
%start Lines
%%
Program : FunctionDef
| FunctionDef Program;
/* Lines = Any line in the code that is not within an if/while statement*/
Lines : Line
| Line Lines;
@ -53,7 +47,8 @@ Program : FunctionDef
Line : IfStatement
| WhileStatement
| Assignment
| Declarations
| FunctionDef
| Declaration
| FunctionCall
| Return
| Print;
@ -80,8 +75,7 @@ ConditionalExpression : tID
/*NbOrVariable is either a number or a variable of type int*/
NbOrVariable : tID {/* copy */}
| tNB {/* Affectation */};
NbOrVariable : tID | tNB;
/*List of all numerical operators*/
NumericalOperator : tLE | tGE | tEQ | tNE | tLT | tGT;
@ -133,14 +127,19 @@ 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);}
Declarations : Type { t = $1; } Declaration Declarations1 tSEMI ;
/* 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
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();};