Chapter 4 Action Routines
Syntax and Semantics In general: Syntax form Semantics meaning In programming languages: Syntax part of the language definition that can be described via a context-free grammar Semantics part of language definition that can t.
Non-Syntax Items Can t be enforced by a context-free grammar: Variables must be declared before use Variables must be assigned before use Type compatibility in expressions Number and type of arguments must match the number and type of formal parameters Procedure must contain a return statement for each execution path
Semantics Recall, semantics can be broken into: Static semantics can be enforced by the compiler at compile time Dynamic semantics enforced at run-time, probably via code generated at compile time by the compiler.
Evaluating Attribute Grammars Attribute grammar variables can be characterized as: Intrinsic look-up value Synthesized Variables on the left side of a production get attribute values calculated from values on the right side of the production. In other words, attribute values come from values lower in the parse tree. Inherited Variables on the right side of a production get attribute values from items on the left side of the production or items to the left of the variable. In other words, values come from parents or siblings on the right in the parse tree.
Synthesized Attributes Simple attribute grammar for constant expressions using standard arithmetic operations Figure 4.1, page 181
Evaluating Attributes
Synthesized & Inherited Attributes Attribute grammar for constant expressions based on LL(1) context-free grammar. Several productions have two semantic rules Figure 4.3, page 186
Evaluating Attributes - Example
Attribute Grammars Semantic analysis and code generation can be described in terms of annotation, or decoration of a parse or syntax tree Attribute grammars provide a formal framework for decorating such a tree
Example Context-Free Grammar E E + T E E T E T T T * F T T / F T F F - F Says nothing about what the program means
Example Attribute Grammar E E + T E1.val = E2.val + T.val E E T E1.val = E2.val - T.val E T E.val = T.val T T * F T1.val = T2.val * F.val T T / F T1.val = T2.val / F.val T F T.val = F.val F - F F1.val = - F2.val
Assertions Some languages allow programmers to write logical assertions about values of program data Example: assert denominator!= 0 C allows via library routine assert Ada and Java have built-in language support for assertions Euclid and Eiffel include explicit support for invariants, preconditions and post-conditions
Action Routines Action routine a semantic function that a grammar writer can associate with a grammar for the compiler to execute at particular points during parsing Action routines are more flexible than attribute grammars.
Action Routines Action routines routines attached to a grammar which is executed by the compiler as it parses code Often used in production compilers Can be used to build parse trees
Example for LL Parsing LL parsing action routines can appear anywhere within a right-had side. Pointer to the action routine is pushed onto the stack and is executed when it is at the top of the stack. Thus: Action routine at the beginning is executed when the parser predicts the production Routine embedded in the middle of the righthand side is executed when the parser matches the symbol to its left
Action Routine Example Consider the grammar: E T TT TT + T TT - T TT ε T F FT FT * F FT / F FT ε F - F F ( E ) F const Figure 4.9 in text, page 195
Action Routine Example Action routines added: E T {TT.st:=T.ptr} TT {E.ptr:=TT.ptr} TT 1 T {TT 2.st:=make_bin_op( +,TT 1.st,T.ptr)} TT 2 {TT 1.ptr:=TT 2.ptr} TT 1 T {TT 2.st:=make_bin_op( -,TT 1.st,T.ptr)} TT 2 {TT 1.ptr:=TT 2.ptr} TT ε {TT.ptr:=TT.st} T F {FT.st:=F.ptr} FT {T.ptr:=FT.ptr}
Action Routine Example - continued FT 1 F {FT 2.st:=make_bin_op( x,ft 1.st,F.ptr)} FT 2 {FT 1.ptr:=FT 2.ptr} FT 1 F {FT 2.st:=make_bin_op( /,FT 1.st,F.ptr)} FT 2 {FT 1.ptr:=FT 2.ptr} FT ε {FT.ptr:=FT.st} F 1 F F 2 {F 1.ptr:=make_un_op( +/-,FT 2.ptr)} (E) {F.ptr:=E.ptr} F const {F.ptr:=make_leaf(const.ptr)}
Build Tree Use the previous grammar with action routines to build a tree for the expression: 2 * 3 + 5
Build Tree Stack: F F const {F.ptr:=make_leaf(const.ptr)} FT T TT E
Build Tree Stack: FT 1 * F {FT 2.st:= make_bin_op( x,ft 1.st, F.ptr)} FT 2 {FT 1.ptr:= FT 2.ptr} * F FT TT
Simplified Action Routine Example Demonstrating action routines using a more simple (LR) grammar. E E + T E E T E T T T * F T T / F T F F - F F (E) F const
Simplified Action Routine Example More simplified example: E E + T E 1.ptr:= make_bin_op( +, E 2.ptr, T.ptr) E E - T E 1.ptr:= make_bin_op( -, E 2.ptr, T.ptr) E T E.ptr:= T.ptr T T * F T 1.ptr:= make_bin_op( x, T 2.ptr, F.ptr) T T / F T 1.ptr:= make_bin_op( /, T 2.ptr, F.ptr) T F T.ptr:= F.ptr F - F F 1.ptr:= make_un_op( +/-, F 2.ptr) (+/- - indicates a change of sign, similar to on calculators) F (E) F.ptr:=E.ptr F const F.ptr:=make_leaf(const.val)