Está en la página 1de 13

MANEJO DE

ERRORES
SEMANTICOS

Un error semntico se produce cuando la sintaxis del cdigo es


correcta, pero la semntica o significado no es el que se pretenda. La
construccin obedece las reglas del lenguaje, y por ello el compilador o
intrprete no detectan los errores semnticos.

Bueno esto quiere decir que los Errores semanticos son mas 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 diseo y su protocolo.

Sin embargo, no todos los errores semnticos se manifiestan de una


forma tan obvia. Un programa puede continuar en ejecucin despus de
haberse producido errores semnticos, pero su estado interno puede ser
distinto del esperado. Quiz las variables no contengan los datos
correctos, o bien es posible que el programa siga un camino distinto del
pretendido. Eventualmente, la consecuencia ser un resultado
incorrecto. Estos errores se denominan lgicos, ya que aunque el
programa no se bloquea, la lgica que representan contiene un error.

Tipos De Errores.

la mayora de los errores semnticos pueden ser detectados mediante la


revisin de la tabla de smbolos, suponiendo un tipo que se base en el
contexto donde ocurra o un tipo universal que permita al identificador ser un
operando de cualquier operador del lenguaje. Al hacerlo, evitamos la
produccin de un mensaje de error cada vez que se use la variable no
definida. Si el tipo de un operando no concuerda con los requisitos de tipo
del operador, tambin es conveniente reemplazar el operando con una
variable ficticia de tipo universal.

En cierto modo, este tipo de error es el ms difcil de depurar, ya que ni el


compilador ni el sistema proporcionan informacin sobre qu est fallando.
Lo nico cierto es que el programa no se est comportando como debera.
Un error semntico se produce cuando la sintaxis del cdigo es correcta,
pero la semntica o significado no es el que se pretenda. La construccin
obedece las reglas del lenguaje, y por ello el compilador o intrprete no
detectan los errores semnticos. Los compiladores e intrpretes slo se
ocupan de la estructura del cdigo que se escribe, y no de su significado.

EJEMPLO

Los principales errores semnticos son:


Conversiones de tipos no permitidas
int x;
x = 4.32;
Variables usadas y no definidas
Operandos de tipos no compatibles
if (x || 5) x = 0;