summaryrefslogtreecommitdiff
path: root/grammar.y
blob: 8d660a9440d29c6a50d84edfa210ebc4cd34647d (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
%{
#include <stdio.h>

#include "ast.c"

extern FILE *yyin;

extern int yylex();
extern void yyerror();

ast_node* yyast = NULL;
%}

%define parse.error verbose

%union {
  char* string;
  int number;
  ast_node* node;
}

%token OPERATOR_PLUS
%token OPERATOR_MINUS
%token ASSIGN

%token FUNCTION
%token IF
%token ELSE
%token RETURN
%token CONST
%token VAR

%token <string> TYPE_INTEGER
%token <string> TYPE_STRING
%token <string> TYPE_VOID

%token PARENTHESIS_LEFT
%token PARENTHESIS_RIGHT
%token BRACE_LEFT
%token BRACE_RIGHT
%token BRACKET_LEFT
%token BRACKET_RIGHT

%token COMMA;
%token COLON;

%token <number> NUMBER;
%token <string> IDENTIFIER
%token COMMENT;

%token END_OF_LINE;

%type <node> program
%type <node> function
%type <node> arguments
%type <node> argument
%type <node> return_type
%type <node> variable_type
%type <node> statements
%type <node> statement
%type <node> expression

%start program

%%
program: { $$ = NULL; }
  | program statement END_OF_LINE { $$ = create_program_node($1, $2); }


// function henshin(): void {}
// function henshin(hen: integer, shin: integer): void {}
function:
  FUNCTION IDENTIFIER PARENTHESIS_LEFT PARENTHESIS_RIGHT COLON return_type BRACE_LEFT statements BRACE_RIGHT
  | FUNCTION IDENTIFIER PARENTHESIS_LEFT arguments PARENTHESIS_RIGHT COLON return_type BRACE_LEFT statements BRACE_RIGHT

arguments:
  argument
  | arguments COMMA argument

argument:
  IDENTIFIER COLON variable_type { $$ = create_argument_node($1, $3); }


return_type:
  TYPE_INTEGER { $$ = create_type_node($1); }
  | TYPE_STRING { $$ = create_type_node($1); }
  | TYPE_VOID { $$ = create_type_node($1); }

variable_type:
  TYPE_INTEGER { $$ = create_type_node($1); }
  | TYPE_STRING { $$ = create_type_node($1); }


statements:
  statement
  | statements END_OF_LINE statement

statement:
  // const henshin: integer = 2
  | CONST IDENTIFIER COLON variable_type ASSIGN expression
  | RETURN expression
  | IDENTIFIER PARENTHESIS_LEFT PARENTHESIS_RIGHT
  | function


expression:
  NUMBER
  | IDENTIFIER
%%

void main (int argc, char **argv)
{
  //henshin_lex();
  yyin = fopen(argv[1], "r");
  yyparse();

  printf("%s", yyast);
}