Se agregaron tests exitosos y se arreglaron algunos bugs
En el momento arreglar un bug encontrado por el test programa_sintacticamente_valido02 (null pointer)

TODO
Tomar decisiones sobre
- Que hacer cuando hay returns que no son alcanzables en metodos que tienen valor de retorno (e.g. un retorno adentro de un if, pero no afuera) - Consultado el
8/11/13, puede dejarse asi
- Que hacer cuando se declaran varias clases main (en este momento ocurre un error, solo vale que haya una sola clase main) - Consultado el 8/11/13, es una
opcion viable, aunque se podria dejar que hayan varios main y simplemente tomar el primero
- Agregar un control extra para los metodos void. En este momento la excepcion dice que se esperaba retornar algo de tipo void, cuando en realidad seria mejor
decir que el metodo no retorna nada
- Ver que posibilidades hay que haya un new con llamadas (e.g. es valido new obj().m1().m2()...?)
- Es valido un nodo binario con una llamada? (e.g. b >= potencia(x,y), siendo que potencia retorna un entero)
- Controlar que los metodos estaticos no invoquen metodos dinamicos o this (lo ultimo esta hecho)
- Hacer tests fallidos
- Empezar con GCI