[JAVA] Implementar analisis semantico!!

hola a todos!!
antes que explique mi duda quiero felicitarlos por este foro padrisimo gracias!!

bueno mi duda empieza asi:
estoy realizando una implementacion de compilacion en javacc, se llama MiniJava, consite en dar una gramatica (la cual ya tengo) y correrla o compilarla en javacc (JTB) para que este genere lo que biene siendo el scaner, parser (analizador sintactico) y el arbol sintactico abstracto, esos pasos ya los realice, ya genero el scanner y el parser, lo cual me checa muy bien la sintasis de la gramatica que le envio como archivo, ahora el siguiente paso en el cual tengo DUDAS es como implementar el analisis semántico utilizando visitadores, (es lo que me genera el AST) el JTB, tengo que implementar visitador para la tabla de simbolo ( el cual tengo un archivo que mas o menos me realiza esa funcion pero no se como se implementa¿? ) entonces lo importante del analizador semántico es que el visitador que implemente el chequeo de tipos, mi duda inicia en esos puntos como recorre el arbol que me genero, como hacer esa conexion..

espero resivir ayuda no estoy pidiendo ningun codigo, solo orientacion de como enlazar esto y como funciona, mas o menos tengo la idea pero al llevarlo ala programacion es donde me atoro.

porfavor si alguien tiene experiencia en este tema, me gustaria k me aclarara mis dudas y me ayudara orientandome con lo que ya tengo echo, me interesa mucho este conosimiento, por mi lado estoy buscando informacion y cosas que me puedan servir y si e aclarado dudas pero me interesaria mas conocerlo en la programacion.

espero un respuesta, y gracias por este espacio!!
para mayor informacion o comunicacion mi correo es:*****************DATOS NO PERMITIDOS. CORREO ELECTRÓNICO****************
arrivederci