2014compiler课件Ch6_2章节(259KB).pptVIP

Goal We want to develop attribute equations that use a symbol table to keep track of the declarations in let expressions and that express the scope rules and interactions. For simplicity, we are going to determine whether an expression is erroneous or not. We compute the synthesized Boolean attribute err. We need an inherited attribute symtab, representing the symbol table, and inherited attribute nestlevel, which is nonnegative integer representing the current nesting level of the let blocks. symtab Attribute insert(s, n, l) returns a new symbol table containing all the information from s