Agregar analizador semántico para las expresiones condicionales

[DavidENicolasC]

Analizador semántico

Expresiones condicionales

• [ ] Deben generarse otras gramáticas, que validen que las variables que se comparan en una expresión condicional son de tipos compatibles

Por ejemplo, sabiendo que el siguiente programa es correcto:

int a;
int b;
a = 1;
b = 5;

while( a <= b )
{
    a = a + 1;
}

Debe evitarse que el siguiente programa se compile:

int x;
float y;
a = 1;
y = 3.7;

while( a <= b )
{
    a = a + 1;
}