Praktikum Compilerbau Sitzung 4 Semantik und Typprüfung

Transkript

1 Praktikum Compilerbau Sitzung 4 Semantik und Typprüfung Lehrstuhl für Programmierparadigmen Universität Karlsruhe (TH) 13. Mai 2009 (IPD Snelting) Sitzung 4 Semantik 13. Mai / 13

2 1 Letzte Woche 2 3 Sonstiges (IPD Snelting) Sitzung 4 Semantik 13. Mai / 13

3 Letzte Woche Letzte Woche Beispielprogramme im Wiki: Syntax: pp.info.uni-karlsruhe.de/lehre/ss2009/ compprakt/wiki/index.php/tests_syntax Semantik pp.info.uni-karlsruhe.de/lehre/ss2009/ compprakt/wiki/index.php/tests_semantik Modellierung: Wie wurde Sie gewählt? (Dokumente) Was waren die Probleme? Hat soweit alles geklappt? (IPD Snelting) Sitzung 4 Semantik 13. Mai / 13

4 Letzte Woche Wie sieht hier der AST aus? public c l a s s A { p u b lic i n t x ; p u b lic i n t y ; p u b lic i n t c a l c ( i n t x, i n t y ) { i n t sum ; i f ( x > y ) { sum = x + y ; e l s e { sum = x y ; return sum ; (IPD Snelting) Sitzung 4 Semantik 13. Mai / 13

5 Compilerphasen Lexer Parser Tokens AST Semantik Zwischencodeerzeugung Optimierung attributierter AST Zwischencode Zwischencode Codeerzeugung (IPD Snelting) Sitzung 4 Semantik 13. Mai / 13

6 Aufgaben für diese Woche Namensanalyse: Wofür steht der Name? Definitionstabelle: Jede Definition ein Eintrag. Verweise auf entsprechenden Eintrag. Typanalyse: Welchen Typ hat der Ausdruck? Semantik: Sind die Typen ok? Operatoridentifikation (nicht nötig) (IPD Snelting) Sitzung 4 Semantik 13. Mai / 13

7 Namensanalyse: Attribute, Parameter, Lokale Variablen c l a s s A { p ublic i n t a ; p ublic i n t foo ( i n t a ) { return a + t h i s. a ; p ublic i n t foo2 ( ) { return a ; p ublic i n t foo3 (A a ) { return foo ( t h i s. a ) + a. foo2 ( ) ; (IPD Snelting) Sitzung 4 Semantik 13. Mai / 13

8 Namensanalyse: Symboltabelle public c l a s s Symbol { public i n t e r f a c e SymbolTable { Symbol f i n d O r I n s e r t ( S t r i n g s t r i n g ) ; (IPD Snelting) Sitzung 4 Semantik 13. Mai / 13

9 Namensanalyse: Namenstabelle public i n t e r f a c e NameTable { void e n t e r S c o p e ( ) ; void l e a v e S c o p e ( ) ; void e n t e r D e f i n i t i o n ( Symbol symbol, D e f i n i t i o n d e f i n i t i o n ) ; D e f i n i t i o n g e t C u r r e n t D e f i n i t i o n ( Symbol symbol ) ; boolean d e f i n i t i o n I n C u r r e n t S c o p e ( Symbol symbol ) ; Beachte: Feldzugriff nicht über Namenstabelle (IPD Snelting) Sitzung 4 Semantik 13. Mai / 13

10 Typanalyse Wo kommen Typen vor? (Ausdrücke, Methoden, Felder) Was für Typen gibt es? (Integer, Boolean, ObjektTyp, MethodenTyp?) 3 + 4: 3 int, 4 int, int + int int a: Auf welche Definition verweist a? Typ ist Typ der Definition. foo(), foo2(p1, p2): Typ ist Returnwert. 3 < 4: 3 int, 4 int, int < int boolean new X(): Typ ist Objekt der Klasse X. (IPD Snelting) Sitzung 4 Semantik 13. Mai / 13

11 Semantik Zuweisungen x = y: Typ(x) == Typ(y) und x ist Attribut/Variable Bedingungen if (x), while(x): Typ(x) == Boolean Vergleiche x < y: Typ(x) = Typ(y) = Integer Operationen x + y, x * y: Typ(x) = Typ(y) = Integer Boolsche Operationen!x, x && y: Typ(x) = Typ(y) = Boolean Feldzugriffe o.f: Typ(o) ist ein Objekt einer Klasse die ein Attribut f besitzt Deklarationen MyClass m: Exisitiert eine Klasse MyClass? Methodenaufrufe m(p 1,.., p n ): m hat n Parameter und jeder Ausdruck p i hat den Typ des entsprechenden Parameters Return Statements return x: Typ(x) passt zur Methode. Return darf nicht fehlen, falls Methode nicht void. (IPD Snelting) Sitzung 4 Semantik 13. Mai / 13

12 Testen Testen! compprakt/wiki/index.php/tests_semantik (IPD Snelting) Sitzung 4 Semantik 13. Mai / 13

13 Sonstiges Feedback! Fragen? Probleme? Laptop mitbringen (Firm wird installiert) Anmerkungen? Probleme? Fragen? (IPD Snelting) Sitzung 4 Semantik 13. Mai / 13