Contextual Analysis (Chapter 5) 1 Course Overview PART I: overview material 1Introduction 2Language processors (tombstone diagrams, bootstrapping) 3Architecture of a compiler PART II: inside a compiler 4Syntax analysis 5Contextual analysis 6Runtime organization 7Code generation PART III: conclusion 8Interpretation 9Review

Contextual Analysis (Chapter 5) 2 Traversal over the AST: Visitor Design Pattern Visitor Design Pattern? What’s that? A “visitor” is an often used “design trick” for defining an operation over a tree-like structure, without having to scatter the implementation of that operation all over the class tree. For example, printing an AST AST print() DeclarationExpression ConstDecl print() {…} VarDecl print() {…} SequentialDecl print() {…} Print code is all over the place => Solution: use a “visitor”

Contextual Analysis (Chapter 5) 3 Visitor Example: Printing with a visitor AST visit(Visitor) Expression ConstDecl visit(Visitor v) { v.visitConstDecl(this) } VarDecl visit(Visitor v) { v.visitVarDecl(this) } Visitor visitConstDecl(ConstDecl) visitVarDecl(VarDecl)... Declaration PrintVisitor visit All implementation code related to printing AST is now here!

Contextual Analysis (Chapter 5) 4 Traversal over the AST: Visitor Design Pattern public interface Visitor { // Programs public Object visitProgram(Program p, Object arg); // Commands public Object visitAssignCommand (AssignCommand c, Object arg); public Object visitCallCommand (CallCommand c, Object arg);... // Expressions public Object visitVnameExpression (VnameExpression e, Object arg); public Object visitUnaryExpression (UnaryExpression e, Object arg);... public interface Visitor { // Programs public Object visitProgram(Program p, Object arg); // Commands public Object visitAssignCommand (AssignCommand c, Object arg); public Object visitCallCommand (CallCommand c, Object arg);... // Expressions public Object visitVnameExpression (VnameExpression e, Object arg); public Object visitUnaryExpression (UnaryExpression e, Object arg);... For passing extra arguments/info to a traversal Traversal may compute a value

Contextual Analysis (Chapter 5) 5 Traversal over the AST: Visitor Design Pattern public abstract class AST {... public abstract Object visit(Visitor v, Object arg); } public abstract class AST {... public abstract Object visit(Visitor v, Object arg); } public class AssignCommand extends AST {... public Object visit(Visitor v, Object arg) { return v.visitAssignCommand(this,arg); } public class IfCommand extends AST {... public Object visit(Visitor v, Object arg) { return v.visitIfCommand(this,arg); } public class AssignCommand extends AST {... public Object visit(Visitor v, Object arg) { return v.visitAssignCommand(this,arg); } public class IfCommand extends AST {... public Object visit(Visitor v, Object arg) { return v.visitIfCommand(this,arg); } In every concrete AST class add:

Contextual Analysis (Chapter 5) 6 Example: Mini-Triangle Contextual Analyzer public class Type { private byte kind; // BOOL, INT, or ERROR public static final byte BOOL=0, INT=1, ERROR= -1; private Type(byte kind) {... } public boolean equals(Object other) {... } public static Type boolT = new Type(BOOL); public static Type intT = new Type(INT); public static Type errorT = new Type(ERROR); } public class Type { private byte kind; // BOOL, INT, or ERROR public static final byte BOOL=0, INT=1, ERROR= -1; private Type(byte kind) {... } public boolean equals(Object other) {... } public static Type boolT = new Type(BOOL); public static Type intT = new Type(INT); public static Type errorT = new Type(ERROR); } Mini Triangle Types

Contextual Analysis (Chapter 5) 7 Example: Mini-Triangle Contextual Analyzer public class Checker implements Visitor { private IdentificationTable idTable; public void check(Program prog) { idTable = new IdentificationTable( ); // initialize with standard environment idTable.enter(“false”,...);... idTable.enter(“putint”,...); prog.visit(this, null); }... public class Checker implements Visitor { private IdentificationTable idTable; public void check(Program prog) { idTable = new IdentificationTable( ); // initialize with standard environment idTable.enter(“false”,...);... idTable.enter(“putint”,...); prog.visit(this, null); }... Contextual Analyzer as an AST visitor Checker is a traversal of AST Start AST traversal with this checker

Contextual Analysis (Chapter 5) 8 What the Checker Visitor Does visitProgramCheck whether program is well-formed and return null. visit…CommandCheck whether the command is well-formed and return null. visit…ExpressionCheck expression, decorate it with its type, and return that type. visitSimpleVNameCheck whether name is declared. Decorate it with its type, and indicate whether it is a variable or constant. Return its type. visit…DeclarationCheck that declaration is well-formed. Enter declared identifier into ID table. Return null. visitSimpleTypeDenCheck that type denoter is well-formed. Decorate with its type. Return the type. visitIdentifierCheck whether identifier is declared. Decorate with link to its declaration. Return declaration.

Contextual Analysis (Chapter 5) 9 Example: Mini-Triangle Contextual Analyzer public class Checker implements Visitor {... // check commands public Object visitAssignCommand (AssignCommand com, Object arg) { Type vType = (Type) com.V.visit(this, null); Type eType = (Type) com.E.visit(this, null); if (! com.V.variable) report error: v is not a variable (cannot assign to a constant) if (! eType.equals(vType) ) report error: incompatible types in assignCommand return null; }... public class Checker implements Visitor {... // check commands public Object visitAssignCommand (AssignCommand com, Object arg) { Type vType = (Type) com.V.visit(this, null); Type eType = (Type) com.E.visit(this, null); if (! com.V.variable) report error: v is not a variable (cannot assign to a constant) if (! eType.equals(vType) ) report error: incompatible types in assignCommand return null; }...

Contextual Analysis (Chapter 5) 10 Example: Mini-Triangle Contextual Analyzer... public Object visitIfCommand (IfCommand com, Object arg) { Type eType = (Type) com.E.visit(this, null); if (! eType.equals(Type.boolT) ) report error: expression in ifCommand is not boolean com.C1.visit(this, null); com.C2.visit(this, null); return null; }... public Object visitIfCommand (IfCommand com, Object arg) { Type eType = (Type) com.E.visit(this, null); if (! eType.equals(Type.boolT) ) report error: expression in ifCommand is not boolean com.C1.visit(this, null); com.C2.visit(this, null); return null; }...

Contextual Analysis (Chapter 5) 11 Example: Mini-Triangle Contextual Analyzer... public Object visitSequentialCommand (SequentialCommand com, Object arg) { com.C1.visit(this, null); com.C2.visit(this, null); return null; } public Object visitLetCommand (LetCommand com, Object arg) { idTable.openScope( ); com.D.visit(this, null); // enters declarations into idTable com.C.visit(this, null); idTable.closeScope( ); return null; }... public Object visitSequentialCommand (SequentialCommand com, Object arg) { com.C1.visit(this, null); com.C2.visit(this, null); return null; } public Object visitLetCommand (LetCommand com, Object arg) { idTable.openScope( ); com.D.visit(this, null); // enters declarations into idTable com.C.visit(this, null); idTable.closeScope( ); return null; }...

Contextual Analysis (Chapter 5) 12 Example: Mini-Triangle Contextual Analyzer // check expressions public Object visitIntegerExpression (IntegerExpression expr, Object arg) { expr.type = Type.intT; // decoration return expr.type; } public Object visitVnameExpression (VnameExpression expr, Object arg) { Type vType = (Type) expr.V.visit(this, null); expr.type = vType; // decoration return expr.type; } // check expressions public Object visitIntegerExpression (IntegerExpression expr, Object arg) { expr.type = Type.intT; // decoration return expr.type; } public Object visitVnameExpression (VnameExpression expr, Object arg) { Type vType = (Type) expr.V.visit(this, null); expr.type = vType; // decoration return expr.type; }

Contextual Analysis (Chapter 5) 13 Example: Mini-Triangle Contextual Analyzer public Object visitBinaryExpression (BinaryExpression expr, Object arg) { Type e1Type = expr.E1.visit(this, null); Type e2Type = expr.E2.visit(this, null); OperatorDeclaration opdecl = (OperatorDeclaration) expr.O.visit(this, null); if (opdecl==null) { // error: operator not defined expr.type = Type.error; } else if (opdecl instanceof BinaryOperatorDecl) { // check binary operator, see details on next slide } else { // error: operator not binary expr.type = Type.errorT; } return expr.type; } public Object visitBinaryExpression (BinaryExpression expr, Object arg) { Type e1Type = expr.E1.visit(this, null); Type e2Type = expr.E2.visit(this, null); OperatorDeclaration opdecl = (OperatorDeclaration) expr.O.visit(this, null); if (opdecl==null) { // error: operator not defined expr.type = Type.error; } else if (opdecl instanceof BinaryOperatorDecl) { // check binary operator, see details on next slide } else { // error: operator not binary expr.type = Type.errorT; } return expr.type; }

Contextual Analysis (Chapter 5) 14 Example: Mini-Triangle Contextual Analyzer public Object visitBinaryExpression (BinaryExpression expr, Object arg) {... } else if (opdecl instanceof BinaryOperatorDecl) { BinaryOperatorDecl bopdecl = (BinaryOperatorDecl) opdecl; if (! e1Type.equals(bopdecl.operand1Type) ) // error: first argument wrong type if (! e2Type.equals(bopdecl.operand2Type) ) // error: second argument wrong type expr.type = bopdecl.resultType; } else { // error: operator not binary... } return expr.type; } public Object visitBinaryExpression (BinaryExpression expr, Object arg) {... } else if (opdecl instanceof BinaryOperatorDecl) { BinaryOperatorDecl bopdecl = (BinaryOperatorDecl) opdecl; if (! e1Type.equals(bopdecl.operand1Type) ) // error: first argument wrong type if (! e2Type.equals(bopdecl.operand2Type) ) // error: second argument wrong type expr.type = bopdecl.resultType; } else { // error: operator not binary... } return expr.type; }

Contextual Analysis (Chapter 5) 15 Example: Mini-Triangle Contextual Analyzer // check declarations public Object visitVarDeclaration (VarDeclaration decl, Object arg) { decl.T.visit(this, null); idTable.enter(decl.I.spelling, decl); return null; } public Object visitConstDeclaration (ConstDeclaration decl, Object arg) { decl.E.visit(this, null); idTable.enter(decl.I.spelling, decl); return null; }... // check declarations public Object visitVarDeclaration (VarDeclaration decl, Object arg) { decl.T.visit(this, null); idTable.enter(decl.I.spelling, decl); return null; } public Object visitConstDeclaration (ConstDeclaration decl, Object arg) { decl.E.visit(this, null); idTable.enter(decl.I.spelling, decl); return null; }...

Contextual Analysis (Chapter 5) 16 Example: Mini-Triangle Contextual Analyzer // check type denoters public Object visitSimpleTypeDenoter (SimpleTypeDenoter den, Object arg) { if (den.I.spelling.equals(“Integer”)) den.type = Type.intT; else if (den.I.spelling.equals(“Boolean”)) den.type = Type.boolT; else { // error: unknown type denoter den.type = Type.errorT; } return den.type; }... // check type denoters public Object visitSimpleTypeDenoter (SimpleTypeDenoter den, Object arg) { if (den.I.spelling.equals(“Integer”)) den.type = Type.intT; else if (den.I.spelling.equals(“Boolean”)) den.type = Type.boolT; else { // error: unknown type denoter den.type = Type.errorT; } return den.type; }...

Contextual Analysis (Chapter 5) 17 Example: Mini-Triangle Contextual Analyzer // check VNames public Object visitSimpleVName (SimpleVname vname, Object arg) { Declaration decl = vname.I.visit(this, null); if (decl==null) { // error: VName not declared vname = Type.errorT; vname.variable = true; } else if (decl instanceof ConstDeclaration) { vname.type = ((ConstDeclaration) decl).E.type); vname.variable = false; } else if (decl instanceof VarDeclaration) { vname.type = ((VarDeclaration) decl).T.type); vname.variable = true; } return vname.type; } // check VNames public Object visitSimpleVName (SimpleVname vname, Object arg) { Declaration decl = vname.I.visit(this, null); if (decl==null) { // error: VName not declared vname = Type.errorT; vname.variable = true; } else if (decl instanceof ConstDeclaration) { vname.type = ((ConstDeclaration) decl).E.type); vname.variable = false; } else if (decl instanceof VarDeclaration) { vname.type = ((VarDeclaration) decl).T.type); vname.variable = true; } return vname.type; }

Contextual Analysis (Chapter 5) 18 Example: Mini-Triangle Contextual Analyzer... // check applied occurrences of Identifiers public Object visitIdentifier (Identifier id, Object arg) { id.decl = idTable.retrieve(id.spelling); return id.decl; }... // check applied occurrences of Identifiers public Object visitIdentifier (Identifier id, Object arg) { id.decl = idTable.retrieve(id.spelling); return id.decl; } Note: the above method is only called with applied identifiers. (Previous code to check declarations does not visit those identifiers.)