1.7 Manejo de Errores Semánticos

1.7 Manejo de errores semánticos. 

Un error semántico se produce cuando la sintaxis del código es correcta, pero la semántica o significado no es el que se pretende. La construcción obedece las reglas del lenguaje, y por ello el compilador o intérprete no detectan los errores semánticos. Los compiladores e intérpretes sólo se ocupan de la estructura del código que se escribe, y no de su significado. Un error semántico puede hacer que el programa termine de forma anormal, con o sin un mensaje de error. Hablando en términos coloquiales, puede hacer que el equipo se quede "colgado". Bueno esto quiere decir que los Errores semánticos son más que nada errores que cometen las personas, al momento de trabajar ya que la computadora no tiene pensamiento propio solo acata las reglas por las que fue diseño y su protocolo. El computador trabaja revisando la sintaxis y la estructura del programa mas no la lógica. 

¿Cómo manejar errores?

Un compilador es un sistema que en la mayoría de los casos tiene que manejar una entrada incorrecta. Sobre todo, en las primeras etapas de la creación de un programa, es probable que el compilador se reajustara para implementar las características que deberían proporcionar un buen sistema de edición dirigido por la sintaxis, es decir, para determinar si las variables han sido declaradas antes de usarla, o si faltan corchetes o algo así. Por lo tanto, el manejo de errores es parte importante de un compilador y el escritor del compilador siempre debe tener esto presente durante su diseño.

Hay que señalar que los posibles errores ya deben estar considerados al diseñar un lenguaje de programación. Por ejemplo, considere si cada proposición del lenguaje de la programación comienza con una palabra clave diferente (excepto la proposición de consultar, por supuesto). Sin embargo, es indispensable lo siguiente:

1. El compilador debe ser capaz de detectar errores en la entrada;

2. El compilador debe recuperarse de los errores sin perder demasiada información;

3.Y sobre todo, el compilador debe producir un mensaje de error que permita al programador encontrar y corregir fácilmente los elementos (sintácticamente)incorrectos de su programa.