Comprobación de errores semánticos

PLGRUPO / AnalisisAmbitoJison

http://peaceful-headland-8284.herokuapp.com/

MIT License

0 stars 0 forks source link

Comprobación de errores semánticos #3

Closed alu0100700459 closed 10 years ago

alu0100700459 commented 10 years ago

Cada llamada a una función debe comprobar que el número de argumentos pasados es correcto
Cada vez que se use un identificador se comprobará que está declarado dentro de su ámbito o uno que lo englobe
Se debe prohibir asignar valores a una constante después de su declaración

alu0100700459 commented 10 years ago

Para comprobar si un identificador ha sido declarado hay que buscar recursivamente hacia arriba por las tablas de símbolos hasta que se encuentre la declaración o se llegue a la última (la global), así que hay que tener para cada tabla de símbolos cuál es su padre para tenerlas enlazadas.

Una vez se haya encontrado la tabla donde se declara la variable, su nombre se pone como atributo del nodo del identificador en el árbol.