-
Notifications
You must be signed in to change notification settings - Fork 0
/
prism.y
369 lines (319 loc) · 18.4 KB
/
prism.y
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
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
%{
#include <stdio.h>
#include <QString>
#include <QHash>
#include "ast.h"
//FLEX + BISON variables
extern int yylex();
extern char*yytext;
extern int yyparse();
extern FILE *yyin;
extern int line;
int errors = 0;
void check_or_insert(QString,DATATYPE,DataType *);
bool check(QString);
//QT interface variable;
QString syntax;
//Error handling function
void yyerror(const char *s);
//ast root
Root *root;
//symbol table
QHash<QString,Identifier*> symbols;
%}
%union{
float* fval;
QString* string;
std::vector<Sentence*>* sentence_list;
Sentence* sentence;
Declaration* declaration;
Asignation* asignation;
Function* function;
Draw* draw;
Background* background;
Fill* fill;
Rotate* rotate;
Translate* translate;
Scale* scale;
Param* param;
Vect* vect;
Vect2d* vect2d;
Vect3d* vect3d;
Color * color;
Expresion* expresion;
}
%token INICIO FIN ESCENA _2D _3D
%token DIBUJAR RELLENAR ROTAR TRASLADAR ESCALAR EJE FONDO
%token <fval>PTO_FLOT
%token COLOR VECT2D VECT3D FLOTANTE
%token PUNTO RECTA CURVA PLANO TRIANGULO CUADRILATERO
%token ELIPSE CIRCUNFERENCIA PARABOLA HIPERBOLA
%token POLIEDRO CILINDRO CONO ESFERA
%token <string>COLOR_PREDEF
%token <string>ID
%type <sentence_list>Lista_Sentencias
%type <sentence>Sentencia
%type <declaration>Declaracion
%type <asignation>Asignacion
%type <function> Funcion
%type <param> Param;
%type <vect2d> Vect2d
%type <vect3d> Vect3d
%type <color> Color
%type <draw>Dibujar
%type <fill> Rellenar
%type <rotate> Rotar
%type <scale> Escalar
%type <translate> Trasladar
%type <expresion> Expresion
%start Programa
%%
Programa : INICIO Lista_Sentencias FIN {root = new Root($2);
if(errors==0)
syntax+="\nSintaxis Correcta\n";}
|INICIO ESCENA _2D Lista_Sentencias FIN {root = new Root($4,true);
if(errors==0)
syntax+="\nSintaxis Correcta\n";}
|INICIO ESCENA _3D Lista_Sentencias FIN {root = new Root($4,false);
if(errors==0)
syntax+="\nSintaxis Correcta\n";}
;
Lista_Sentencias : Sentencia {$$ = new std::vector<Sentence*>(); $$->push_back($1);}
| Lista_Sentencias Sentencia {$$->push_back($2);} //push lista de parametros
;
Sentencia : Declaracion ';' {$$ = $1;}
| Asignacion ';' {$$ = $1;}
| Funcion ';' { $$ = $1; }
;
Declaracion : FLOTANTE ID PTO_FLOT {$$ = new Declaration($2);
check_or_insert(*$2,FLOAT_DT,new Float(*$3));}
|VECT2D ID Vect2d {$$ = new Declaration($2);
check_or_insert(*$2,VECT2_DT,$3);}
|VECT3D ID Vect3d {$$ = new Declaration($2);
check_or_insert(*$2,VECT3_DT,$3);}
|COLOR ID Color {$$ = new Declaration($2);
check_or_insert(*$2,COLOR_DT,$3);}
|PUNTO ID '{' Param '}' {$$ = new Declaration($2);
check_or_insert(*$2,POINT_DT,new Point($4));
if($4->type!=VECT2_DT){yyerror("ERROR: La posicion del punto debe ser Vector2d\nPrototipo: Punto {Vector2d posicion}");}
}
|RECTA ID '{' Param ',' Param '}' {$$ = new Declaration($2);
check_or_insert(*$2,RECT_DT,new Rect($4,$6));
if($4->type!=VECT2_DT){yyerror("ERROR: El punto \"a\" debe ser Vector2d\nPrototipo: Recta {Vector2d a,Vector2d b}");}
if($6->type!=VECT2_DT){yyerror("ERROR: El punto \"b\" debe ser Vector2d\nPrototipo: Recta {Vector2d a,Vector2d b}");}
}
|CURVA ID '{' Param ',' Param ',' Param '}' {$$ = new Declaration($2);
check_or_insert(*$2,CURVE_DT,new Curve($4,$6,$8));
if($4->type!=VECT2_DT){yyerror("ERROR: El punto \"a\" debe ser Vector2d\nPrototipo: Curva {Vector2d a,Vector2d b,Vector2d c}");}
if($6->type!=VECT2_DT){yyerror("ERROR: El punto \"b\" debe ser Vector2d\nPrototipo: Curva {Vector2d a,Vector2d b,Vector2d c}");}
if($8->type!=VECT2_DT){yyerror("ERROR: El punto \"c\" debe ser Vector2d\nPrototipo: Curva {Vector2d a,Vector2d b,Vector2d c}");}
Vect2d *a,*b,*c;
a = (Vect2d*)$4->value;
b = (Vect2d*)$6->value;
c = (Vect2d*)$8->value;
if(!((a->x<b->x) && (b->x < c->x ))){yyerror("ERROR: La coordenada x de los puntos debe estar ordenada de menor a mayor");}
}
|PLANO ID '{' Param ',' Param '}' {$$ = new Declaration($2);
check_or_insert(*$2,PLANE_DT,new Plane($4,$6));
if($4->type!=VECT3_DT){yyerror("ERROR: El centro debe ser Vector3d\nPrototipo: Plano {Vector2d centro,Flotante lado}");}
if($6->type!=FLOAT_DT){yyerror("ERROR: El lado debe ser flotante\nPrototipo: Plano {Vector2d centro,Flotante lado}");}
}
|TRIANGULO ID '{' Param ',' Param ',' Param '}' {$$ = new Declaration($2);
check_or_insert(*$2,TRIANGLE_DT,new Triangle($4,$6,$8));
if($4->type!=VECT2_DT){yyerror("ERROR: El vertice \"a\" debe ser Vector2d\nPrototipo: Triangulo {Vector2d a,Vector2d b,Vector2d c}");}
if($6->type!=VECT2_DT){yyerror("ERROR: El vertice \"b\" debe ser Vector2d\nPrototipo: Triangulo {Vector2d a,Vector2d b,Vector2d c}");}
if($8->type!=VECT2_DT){yyerror("ERROR: El vertice \"c\" debe ser Vector2d\nPrototipo: Triangulo {Vector2d a,Vector2d b,Vector2d c}");}
}
|CUADRILATERO ID '{' Param ',' Param ',' Param ',' Param '}' {$$ = new Declaration($2);
check_or_insert(*$2,QUAD_DT,new Quad($4,$6,$8,$10));
if($4->type!=VECT2_DT){yyerror("ERROR: El vertice \"a\" debe ser Vector2d\nPrototipo: Cuadrilatero {Vector2d a,Vector2d b,Vector2d c,Vector2d d}");}
if($6->type!=VECT2_DT){yyerror("ERROR: El vertice \"b\" debe ser Vector2d\nPrototipo: Cuadrilatero {Vector2d a,Vector2d b,Vector2d c,Vector2d d}");}
if($8->type!=VECT2_DT){yyerror("ERROR: El vertice \"c\" debe ser Vector2d\nPrototipo: Cuadrilatero {Vector2d a,Vector2d b,Vector2d c,Vector2d d}");}
if($10->type!=VECT2_DT){yyerror("ERROR: El vertice \"d\" debe ser Vector2d\nPrototipo: Cuadrilatero {Vector2d a,Vector2d b,Vector2d c,Vector2d d}");}
}
|ELIPSE ID '{' Param ',' Param ',' Param '}' {$$ = new Declaration($2);
check_or_insert(*$2,ELIPSE_DT,new Elipse($4,$6,$8));
if($4->type!=VECT2_DT){yyerror("ERROR: El centro debe ser Vector2d\nPrototipo: Elipse {Vector2d centro,Flotante ancho,Flotante altura}");}
if($6->type!=FLOAT_DT){yyerror("ERROR: El ancho debe ser Flotante\nPrototipo: Elipse {Vector2d centro,Flotante ancho,Flotante altura}");}
if($8->type!=FLOAT_DT){yyerror("ERROR: La altura debe ser Flotante\nPrototipo: Elipse {Vector2d centro,Flotante ancho,Flotante altura}");}
}
|CIRCUNFERENCIA ID '{' Param ',' Param '}' {$$ = new Declaration($2);
check_or_insert(*$2,CIRC_DT,new Circ($4,$6));
if($4->type!=VECT2_DT){yyerror("ERROR: El centro debe ser Vector2d\nPrototipo: Circunferencia {Vector2d centro,Flotante radio}");}
if($6->type!=FLOAT_DT){yyerror("ERROR: El radio debe ser Flotante\nPrototipo: Circunferencia {Vector2d centro,Flotante radio}");}
}
|PARABOLA ID '{' Param ',' Param '}' {$$ = new Declaration($2);
check_or_insert(*$2,PARABOLE_DT,new Parabole($4,$6));
if($4->type!=VECT2_DT){yyerror("ERROR: El punto minimo debe ser Vector2d\nPrototipo: Parabola {Vector2d punto_minimo,Flotante factor_multiplicativo}");}
if($6->type!=FLOAT_DT){yyerror("ERROR: El factor multiplicativo debe ser Flotante\nPrototipo: Parabola {Vector2d punto_minimo,Flotante factor_multiplicativo}");}
}
|HIPERBOLA ID '{' Param ',' Param ',' Param '}' {$$ = new Declaration($2);
check_or_insert(*$2,HYPERBOLE_DT,new Hyperbole($4,$6,$8));
if($4->type!=VECT2_DT){yyerror("ERROR: El foco debe ser Vector2d\nPrototipo: Hiperbola {Vector2d foco,Flotante factor_multiplicativo,Flotante distancia_focal}");}
if($6->type!=FLOAT_DT){yyerror("ERROR: El factor multiplicativo debe ser Flotante\nPrototipo: Hiperbola {Vector2d foco,Flotante factor_multiplicativo,Flotante distancia_focal}");}
if($8->type!=FLOAT_DT){yyerror("ERROR: La distancia focal ser Flotante\nPrototipo: Hiperbola {Vector2d foco,Flotante factor_multiplicativo,Flotante distancia_focal}");}
}
|POLIEDRO ID '{' Param ',' Param '}' {$$ = new Declaration($2);
check_or_insert(*$2,POLYHEDRON_DT,new Polyhedron($4,$6));
if($4->type!=FLOAT_DT){yyerror("ERROR: El numero de caras debe ser Flotante\nPrototipo: Poliedro {Flotante num_caras,Flotante num_lados}");}
if($6->type!=FLOAT_DT){yyerror("ERROR: El numero de lados debe ser Flotante\nPrototipo: Poliedro {Flotante num_caras,Flotante num_lados}");}
}
|CILINDRO ID '{' Param ',' Param ',' Param '}' {$$ = new Declaration($2);
check_or_insert(*$2,CYLINDRE_DT,new Cylindre($4,$6,$8));
if($4->type!=VECT3_DT){yyerror("ERROR: El centro de la base ser Vector3d\nPrototipo: Cilindro {Vector3d centro,Flotante altura,Flotante radio}");}
if($6->type!=FLOAT_DT){yyerror("ERROR: La altura debe ser Flotante\nPrototipo: Cilindro {Vector3d centro,Flotante altura,Flotante radio}");}
if($8->type!=FLOAT_DT){yyerror("ERROR: El radio debe ser Flotante\nPrototipo: Cilindro {Vector3d centro,Flotante altura,Flotante radio}");}
}
|CONO ID '{' Param ',' Param ',' Param '}' {$$ = new Declaration($2);
check_or_insert(*$2,CONE_DT,new Cone($4,$6,$8));
if($4->type!=VECT3_DT){yyerror("ERROR: El centro de la base ser Vector3d\nPrototipo: Cono {Vector3d centro,Flotante altura,Flotante radio}");}
if($6->type!=FLOAT_DT){yyerror("ERROR: La altura debe ser Flotante\nPrototipo: Cono {Vector3d centro,Flotante altura,Flotante radio}");}
if($8->type!=FLOAT_DT){yyerror("ERROR: El radio de la base debe ser Flotante\nPrototipo: Cono {Vector3d centro,Flotante altura,Flotante radio}");}
}
|ESFERA ID '{' Param ',' Param '}' {$$ = new Declaration($2);
check_or_insert(*$2,SPHERE_DT,new Sphere($4,$6));
if($4->type!=VECT3_DT){yyerror("ERROR: El centro de la base ser Vector3d\nPrototipo: Esfera {Vector3d centro,Flotante radio}");}
if($6->type!=FLOAT_DT){yyerror("ERROR: El radio debe ser Flotante\nPrototipo: Esfera {Vector3d centro,Flotante radio}");}
}
;
Asignacion : ID '=' Expresion {$$ = new Asignation($1,$3);
check(*$1);
}
;
Expresion : Param {$$ = new ParamExpresion($1);}
|Param '+' Param {$$ = new Plus($1,$3);
if($1->type != $3->type){yyerror("ERROR: Los parametros de la suma no concuerdan");} }
|Param '-' Param {$$ = new Less($1,$3);
if($1->type != $3->type){yyerror("ERROR: Los parametros de la resta no concuerdan");} }
|Param '*' Param {$$ = new Times($1,$3);
if($1->type != $3->type){yyerror("ERROR: Los parametros de la multiplicacion no concuerdan");} }
|Param '/' Param {$$ = new Division($1,$3);
if($1->type != $3->type){yyerror("ERROR: Los parametros de la division no concuerdan");} }
;
Param : Color {$$= new Param(COLOR_DT,(void*)$1);}
|PTO_FLOT {$$= new Param(FLOAT_DT,(void*)new Float(*$1));}
|Vect2d {$$= new Param(VECT2_DT,(void*)$1);}
|Vect3d {$$= new Param(VECT3_DT,(void*)$1);}
|ID { if(check(*$1)) {$$ = new Param($1);} else{ $$ = new Param(); } }
;
Funcion : Dibujar {$$=$1;}
|Rellenar {$$=$1;}
|Rotar {$$=$1;}
|Trasladar {$$=$1;}
|Escalar {$$=$1;}
|FONDO Param {$$= new Background($2);}
;
Dibujar : DIBUJAR ID COLOR Param { $$ = new Draw($2,$4);
if(check(*$2))
{
Identifier* id = symbols.value(*$2);
if(id->type == VECT2_DT||id->type == VECT3_DT || id->type == FLOAT_DT)
yyerror("ERROR: Solo se pueden dibujar figuras GEOM2D o GEOM3D");
if($4->type!=COLOR_DT)
yyerror("ERROR: El parametro de Color debe ser un Color valido rgba o un color predefinido" );
}
}
;
Rellenar : RELLENAR ID COLOR Param { $$ = new Fill($2,$4); check(*$2);
if(check(*$2))
{
Identifier* id = symbols.value(*$2);
if(id->type == VECT2_DT||id->type == VECT3_DT || id->type == FLOAT_DT)
yyerror("ERROR: Solo se pueden dibujar figuras GEOM2D o GEOM3D");
if($4->type!=COLOR_DT){
yyerror("ERROR: El parametro de Color debe ser un Color valido rgba o un color predefinido" );
}
}
}
;
Rotar : ROTAR ID EJE Param Param { $$ = new Rotate($2,$4,$5);
if(check(*$2))
{
Identifier* id = symbols.value(*$2);
if(id->type == VECT2_DT||id->type == VECT3_DT || id->type == FLOAT_DT)
yyerror("ERROR: Solo se pueden rotar figuras GEOM2D o GEOM3D");
if($4->type!=VECT3_DT)
yyerror("ERROR: El eje de rotacion debe ser un Vector3d" );
if($5->type!=FLOAT_DT)
yyerror("ERROR: El parametro de rotacion debe ser un Flotante");
}
}
;
Escalar : ESCALAR ID Param { $$ = new Scale($2,$3);
if(check(*$2))
{
Identifier* id = symbols.value(*$2);
if(id->type == VECT2_DT||id->type == VECT3_DT || id->type == FLOAT_DT)
yyerror("ERROR: Solo se pueden escalar figuras GEOM2D o GEOM3D");
else if(id->dimension == Identifier::GEOM2D && $3->type!=VECT2_DT){
yyerror("ERROR: El parametro de escala debe ser un Vector2d" );
}else if(id->dimension == Identifier::GEOM3D && $3->type!=VECT3_DT){
yyerror("ERROR: El parametro de escala debe ser un Vector3d" );
}
}
}
;
Trasladar : TRASLADAR ID Param { $$ = new Translate($2,$3);
if(check(*$2))
{
Identifier* id = symbols.value(*$2);
if(id->type == VECT2_DT||id->type == VECT3_DT || id->type == FLOAT_DT)
yyerror("ERROR: Solo se pueden trasladar figuras GEOM2D o GEOM3D");
else if(id->dimension == Identifier::GEOM2D && $3->type!=VECT2_DT){
yyerror("ERROR: El parametro de traslacion debe ser un Vector2d" );
}else if(id->dimension == Identifier::GEOM3D && $3->type!=VECT3_DT){
yyerror("ERROR: El parametro de traslacion debe ser un Vector3d" );
}
}
}
;
Color : '(' PTO_FLOT ',' PTO_FLOT ',' PTO_FLOT ',' PTO_FLOT ')' {$$=new Color(*$2,*$4,*$6,*$8);
if(*$2<0||*$2>1)
yyerror("ERROR: El componente de rojo del color debe estar entre 0 y 1");
if(*$4<0||*$4>1)
yyerror("ERROR: El componente de verde del color debe estar entre 0 y 1");
if(*$6<0||*$6>1)
yyerror("ERROR: El componente de azul del color debe estar entre 0 y 1");
if(*$8<0||*$8>1)
yyerror("ERROR: El componente alpha (transparencia) del color debe estar entre 0 y 1");
}
|COLOR_PREDEF {$$=new Color($1);}
;
Vect2d: '(' PTO_FLOT ',' PTO_FLOT ')' {$$=new Vect2d(*$2,*$4);}
;
Vect3d: '(' PTO_FLOT ',' PTO_FLOT ',' PTO_FLOT ')' {$$=new Vect3d(*$2,*$4,*$6);}
%%
void check_or_insert(QString name,DATATYPE t,DataType * value){
if(symbols.contains(name))
{
yyerror("ERROR: No se puede redefinir una variable ya declarada" );
}
else
{
symbols.insert(name,new Identifier(name,t,value));
}
}
bool check(QString name){
if(!symbols.contains(name))
{
yyerror("ERROR: Variable no declarada");
return false;
}
symbols.value(name)->referenced=true;
return true;
}
int yywrap()
{
return 1;
}
void yyerror(const char *s){
errors++;
syntax+="En la linea ";
syntax+=QString::number(line);
syntax+=": ";
if(strcmp (s,"syntax error")==0)
syntax+="ERROR: Error de sintaxis ";
else
syntax+=s;
syntax+='\n';
}