public override void checkSemantica(TablaSimbolos tabla)
{
sentencias.checkSemantica(tabla);
condicion.checkSemantica(tabla);
//validar que la condición sea de tipo booleana
if (!condicion.Tipo_Expr.Equals(NucleoLenguaje.tipoBool))
{
SemantErrorReport.Instancia.semantError(condicion, "la condición del \"repeat-until\" debe ser un valor de tipo _lógico");
}
}
public override void checkSemantica(TablaSimbolos tabla)
{
//Para cada sentencia del programa realizar el análisis semántico
sentencias.checkSemantica(tabla);
}
