e specific ac i on semantic a

Especificacin de errores Semnticos a implementar

Especificacin de errores Semnticos a implementar.1. Checar tipo en valor asignado en constantes y en variables.

2. Verificar que dimensin sea constante y entero cuando se declare con un Iden.

3. Verificar que los prototipos de funciones o procedimientos tengan una implementacin.4. Verificar tipos en expresiones segn tabla de tipos dada.

5. No permitir modificar el valor de los identificadores de constantes.

6. Que la asignacin sea solo a variables globales, locales o parmetros.

7. No permitir llamar funciones como procedimientos y viceversa.

8. Verificar tipos en la asignacin.

9. Verificar cantidad y tipo de dimensiones en variables.

10. Verificar que variables no dimensionadas no se dimensionen.

11. Verificar tipos en los estatutos.

12. Verificar tipo en valor de retorno de una funcin.

13. No permitir regresa vacos en funciones.

14. No permitir regresa no vacos en procedimientos.15. Verificar que funciones siempre tengan al menos un regresa.

16. Verificar que rompe y contina estn solo en ciclos.

17. Si al usar una variable no esta declarada indicarlo.

18. Verificar tipo de dimensin sea entero al usarlo en expresin.

19. Si se hace uso de un identificador de funcin o procedimiento obligar a expresar los parntesis.

20. Si se usa un Identificador de funcin o procedimiento que no exista indicar que no esta declarado como tal.