Traductor e intérprete del lenguaje CL 1.23
SemanticErrors.java File Reference

Errores semánticos detectados en el TypeCheck. More...

Go to the source code of this file.

Classes

class  SemanticError
 Errores semánticos detectables en el TypeCheck. More...
class  SemanticErrors
 Lista de los errores semánticos detectados. More...

Enumerations

enum  SemErrorCodes {
  identAlreadyDeclared, identIsNotDeclared, incompatibleAssignment, nonReferenceableLeftAssigment,
  incompatibleOperation, fieldAlreadyDefined, fieldIsNotDefined, booleanExpressionRequired,
  readWriteRequireBasic, referenciableExpressionRequired, integerIndexRequired, identIsNotProcedure,
  identIsNotFunction, incompatibleParameter, nonReferenceableParameter, incorrectNumberOfParameters,
  incompatibleReturnExpression
}
 Enumeracion de los códigos de todos los errores semánticos que puede detectar el TypeCheck. More...

Detailed Description

Errores semánticos detectados en el TypeCheck.

Author:
José Miguel Rivero Almeida <rivero at lsi dot upc dot edu>
Version:
1.23

LICENSE

This program is free software; you can redistribute it and/or modify it under the terms of the GNU General Public License as published by the Free Software Foundation; either version 2 of the License, or (at your option) any later version.

This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details at http://www.gnu.org/copyleft/gpl.html

DESCRIPTION

Define todos los errores semánticos que puede detectar el TypeCheck, con métodos para guardarlos y visualizarlos

Definition in file SemanticErrors.java.


Enumeration Type Documentation

enum SemErrorCodes [package]

Enumeracion de los códigos de todos los errores semánticos que puede detectar el TypeCheck.

Enumerator:
identAlreadyDeclared 

Un identificador con este nombre ya ha sido declarado dentro del bloque actual.

identIsNotDeclared 

Uso de un identificador no declarado en ninguno de los bloques visibles desde este punto del programa.

incompatibleAssignment 

Los tipos de las expresiones a ambos lados de la asignacion tienen tipos incompatibles.

nonReferenceableLeftAssigment 

La expresion a la izquierda de la asignacion no es referenciable.

incompatibleOperation 

El o los operandos de una operacion tienen un tipo incompatible con el operador.

fieldAlreadyDefined 

El nombre del campo de un struct esta repetido.

fieldIsNotDefined 

Acceso a un campo inexistente de un struct.

booleanExpressionRequired 

La instrucccion requiere una condicion de tipo booleano.

readWriteRequireBasic 

Solo se pueden leer o escribir valores de tipos basicos.

referenciableExpressionRequired 

La instruccion requiere una expresion referenciable.

integerIndexRequired 

Acceso a un array donde el indice no es entero.

identIsNotProcedure 

Llamada a un procedimiento donde el identificador no lo es.

identIsNotFunction 

Llamada a una funcion donde el identificador no lo es.

incompatibleParameter 

En una llamada el parametro real tiene un tipo incompatible con el parametro formal.

nonReferenceableParameter 

En una llamada el parametro real no es referenciable y esta pasado por referencia.

incorrectNumberOfParameters 

En una llamada el numero de parametros reales y el de formales no coinciden.

incompatibleReturnExpression 

La expresion de retorno de una funcion no tiene un tipo compatible con la declaracion de la misma.

Definition at line 33 of file SemanticErrors.java.

 All Classes Files Functions Variables Enumerations