Updated structure
This commit is contained in:
Scarlett
279
src/grammar.y
Normal file
279
src/grammar.y
Normal file
@ -0,0 +1,279 @@
|
||||
/* Syntax Analyzer with Bison (3.8.1) */
|
||||
/* (referenced Bison manual for file boilerplate [3.1]) */
|
||||
|
||||
// Prologue
|
||||
%{
|
||||
#include <stdio.h>
|
||||
#include "symbol_table.c"
|
||||
extern int yylex(void);
|
||||
void yyerror(const char *err);
|
||||
extern char* yytext;
|
||||
extern int yychar;
|
||||
SymbolTable * st;
|
||||
//char* cur_value;
|
||||
//char* cur_type;
|
||||
int token_tracker;
|
||||
extern int line_number;
|
||||
extern int column_number;
|
||||
%}
|
||||
|
||||
%union {
|
||||
int integ;
|
||||
char * words;
|
||||
}
|
||||
//precedence order
|
||||
%precedence RESERVE
|
||||
%precedence RELEASE
|
||||
%precedence DOT
|
||||
%precedence SUB_OR_NEG
|
||||
%precedence NOT
|
||||
%left MUL
|
||||
%left DIV
|
||||
%left REM
|
||||
%left ADD
|
||||
//need subtraction only here
|
||||
%left LESS_THAN
|
||||
%left EQUAL_TO
|
||||
%left AND
|
||||
%left OR
|
||||
%left ASSIGN
|
||||
|
||||
%token <words> ID 101
|
||||
%token T_INTEGER 201
|
||||
%token T_ADDRESS 202
|
||||
%token T_BOOLEAN 203
|
||||
%token T_CHARACTER 204
|
||||
%token T_STRING 205
|
||||
%token C_INTEGER 301
|
||||
%token C_NULL 302
|
||||
%token C_CHARACTER 303
|
||||
%token C_STRING 304
|
||||
%token C_TRUE 305
|
||||
%token C_FALSE 306
|
||||
%token WHILE 401
|
||||
%token IF 402
|
||||
%token THEN 403
|
||||
%token ELSE 404
|
||||
%token TYPE 405
|
||||
%token FUNCTION 406
|
||||
%token RETURN 407
|
||||
%token EXTERNAL 408
|
||||
%token AS 409
|
||||
%token L_PAREN 501
|
||||
%token R_PAREN 502
|
||||
%token L_BRACKET 503
|
||||
%token R_BRACKET 504
|
||||
%token L_BRACE 505
|
||||
%token R_BRACE 506
|
||||
%token SEMI_COLON 507
|
||||
%token COLON 508
|
||||
%token COMMA 509
|
||||
%token ARROW 510
|
||||
/* %token ADD 601
|
||||
%token SUB_OR_NEG 602
|
||||
%token MUL 603
|
||||
%token DIV 604
|
||||
%token REM 605
|
||||
%token LESS_THAN 606
|
||||
%token EQUAL_TO 607
|
||||
%token ASSIGN 608
|
||||
%token NOT 609
|
||||
%token AND 610
|
||||
%token OR 611
|
||||
%token DOT 612
|
||||
%token RESERVE 613
|
||||
%token RELEASE 614 */
|
||||
%token COMMENT 700
|
||||
|
||||
|
||||
%%
|
||||
|
||||
program:
|
||||
prototype_or_definition_list;
|
||||
|
||||
prototype_or_definition_list:
|
||||
prototype prototype_or_definition_list
|
||||
| definition prototype_or_definition_list
|
||||
| prototype
|
||||
| definition
|
||||
;
|
||||
prototype:
|
||||
L_PAREN EXTERNAL R_PAREN FUNCTION ID COLON ID;
|
||||
|
||||
definition:
|
||||
TYPE ID COLON dblock
|
||||
| TYPE ID COLON constant ARROW ID
|
||||
| TYPE ID COLON types ARROW ID
|
||||
| FUNCTION ID COLON ID
|
||||
| TYPE ID COLON ID ARROW ID
|
||||
| ID parameter ASSIGN sblock
|
||||
;
|
||||
|
||||
parameter:
|
||||
L_PAREN ID R_PAREN
|
||||
| AS L_PAREN idlist R_PAREN
|
||||
;
|
||||
|
||||
idlist:
|
||||
ID COMMA idlist
|
||||
|ID
|
||||
;
|
||||
|
||||
sblock:
|
||||
L_BRACE {st = CreateScope(st,2,2);} statement_list {st = getParent(st);} R_BRACE
|
||||
| L_BRACE {st = CreateScope(st,2,2);} dblock statement_list {st = getParent(st);} R_BRACE
|
||||
;
|
||||
|
||||
dblock:
|
||||
L_BRACKET declaration_list R_BRACKET;
|
||||
|
||||
declaration_list:
|
||||
declaration
|
||||
{printf(
|
||||
"declaration list a rule encountered");
|
||||
//CreateEntry(st,cur_type,cur_value);
|
||||
}
|
||||
SEMI_COLON declaration_list
|
||||
| declaration
|
||||
{printf(
|
||||
"declaration rule b encountered");
|
||||
//CreateEntry(st,cur_type,cur_value);
|
||||
}
|
||||
;
|
||||
|
||||
declaration:
|
||||
ID COLON ID {
|
||||
|
||||
CreateEntry(st,strdup($1),strdup($3));
|
||||
// printf("declaration rule encountered");
|
||||
// if(cur_value != NULL){
|
||||
// char* delete1 = cur_value;
|
||||
// printf("delete1 var assigned to cur_value");
|
||||
// free(delete1);
|
||||
// printf("delete1 var freed");
|
||||
// }
|
||||
// if(cur_type != NULL){
|
||||
// char* delete2 = cur_type;
|
||||
// free(delete2);}
|
||||
// int len = strlen($1);
|
||||
// printf("length determined");
|
||||
// cur_value = malloc(len + 1);
|
||||
// printf("space allocated");
|
||||
// strcpy(cur_value, $1);
|
||||
// printf("string copied over");
|
||||
|
||||
// len = strlen($3);
|
||||
// cur_type = malloc(len + 1);
|
||||
// strcpy(cur_type, $3);
|
||||
// printf("value var is %s type var is %s\n",cur_value,cur_type);
|
||||
}
|
||||
| types COLON ID
|
||||
;
|
||||
|
||||
statement_list:
|
||||
compound_statement statement_list
|
||||
| compound_statement
|
||||
| simple_statement SEMI_COLON statement_list
|
||||
| simple_statement SEMI_COLON
|
||||
;
|
||||
|
||||
compound_statement:
|
||||
WHILE L_PAREN expression R_PAREN sblock
|
||||
| IF L_PAREN expression R_PAREN THEN sblock ELSE sblock
|
||||
| sblock
|
||||
;
|
||||
|
||||
simple_statement:
|
||||
assignable ASSIGN expression
|
||||
| RETURN expression
|
||||
;
|
||||
|
||||
assignable:
|
||||
ID
|
||||
| assignable ablock
|
||||
| assignable DOT ID
|
||||
;
|
||||
|
||||
expression:
|
||||
constant
|
||||
| UnaryOperator expression
|
||||
| assignable
|
||||
| constant binaryOperator expression
|
||||
| L_PAREN expression R_PAREN
|
||||
| memOp assignable
|
||||
;
|
||||
|
||||
ablock:
|
||||
L_PAREN argument_list R_PAREN;
|
||||
|
||||
argument_list:
|
||||
expression COMMA argument_list
|
||||
| expression
|
||||
;
|
||||
|
||||
UnaryOperator:
|
||||
SUB_OR_NEG
|
||||
| NOT
|
||||
;
|
||||
|
||||
memOp:
|
||||
RESERVE
|
||||
| RELEASE
|
||||
;
|
||||
|
||||
binaryOperator:
|
||||
ADD
|
||||
| SUB_OR_NEG
|
||||
| MUL
|
||||
| DIV
|
||||
| REM
|
||||
| AND
|
||||
| OR
|
||||
| LESS_THAN
|
||||
| EQUAL_TO
|
||||
;
|
||||
|
||||
constant:
|
||||
C_STRING
|
||||
| C_INTEGER
|
||||
| C_NULL
|
||||
| C_CHARACTER
|
||||
| C_TRUE
|
||||
| C_FALSE
|
||||
;
|
||||
|
||||
types:
|
||||
T_STRING
|
||||
| T_INTEGER
|
||||
| T_ADDRESS
|
||||
| T_CHARACTER
|
||||
| T_BOOLEAN
|
||||
;
|
||||
//
|
||||
%%
|
||||
|
||||
void yyerror(const char *err) {
|
||||
// fprintf(stderr, "ERROR: %s at token %s at line number %d,column number %d\n", err,yytext,line_number,column_number);
|
||||
}
|
||||
|
||||
int main() {
|
||||
//char *str = strdup("taco");
|
||||
//cur_value = NULL;
|
||||
//cur_type = NULL;
|
||||
|
||||
token_tracker = 1;
|
||||
st=CreateScope(NULL,1,1);
|
||||
//int a;
|
||||
yyparse();
|
||||
//while ((a = yyparse() != EOF){
|
||||
// token_tracker++;
|
||||
//printf("%d = a: yytext = %s: yychar = %d, token number: %d\n", a, yytext, yychar,token_tracker);
|
||||
//if(yytext[0] == '\n'){
|
||||
FILE* f = fdopen(1,"w");
|
||||
print_symbol_table(getAncestor(st),f);
|
||||
fclose(f);
|
||||
// break;
|
||||
//}
|
||||
//}
|
||||
return 0;
|
||||
}
|
||||
Reference in New Issue
Block a user