JavaCC

semantic analysis

the maintenance of symbol tables (also called environments) mapping identifiers to their types and locations

As the declarations of types, variables, and functions are processed, these identifiers are bound to “meanings” in the symbol tables. When uses (nondefining occurrences) of identifiers are found, they are looked up in the symbol tables.

scope

visibility

스택

local variable

변수 참조의 해결

타입 참조의 해결

타입 정의 체크