Omgevingen zijn dan geïmplementeerd als Symbol Tables. Symbol Table mapt een symbool met een Binding Meerdere noties van binding –Meerdere manieren te gebruiken door de compiler. –Type voor types, value voor variables. In 1 table -> 1 gebruik.

CODE SLIDE AUB package Symbol; public Class Symbol{ public String tostring(); public static Symbol symbol(string s); } public class Table{ public Table(); public void put(Symbol key,Object value); public Object get(Symbol Key); public void beginscope(); public void endscope(); public java.util.Enumeration keys(); }

Symbool Implementatie In java : java.lang.String maakt van elke string een uniek object. Symbool -> String : elk symbool bevat een string. String -> Symbool : Moet via een hast- tabel. (java.util.hashtable)

CODE SLIDE AUB package Symbol; public Class Symbol{ public String tostring(); public static Symbol symbol(string s); } public class Table{ public Table(); public void put(Symbol key,Object value); public Object get(Symbol Key); public void beginscope(); public void endscope(); public java.util.Enumeration keys(); }

. beginscope() –Onthoudt de huidige omgeving van de tabel. endscope() –Zet de tabel terug in de staat van de meest recente, niet geëindigde beginscope(). Dienen voor als een omgeving beëindigt wordt gedane veranderingen ongedaan maken.

CODE SLIDE AUB package Symbol; public Class Symbol{ public String tostring(); public static Symbol symbol(string s); } public class Table{ public Table(); public void put(Symbol key,Object value); public Object get(Symbol Key); public void beginscope(); public void endscope(); public java.util.Enumeration keys(); }

Symbool tables voor imperatieve tables X -> b toevoegen. X wordt gehashed tot index i. Er wordt een Binder Object X -> b aangemaakt. X -> b’ wordt niet overschreven maar is niet meer bereikbaar in huidige omgeving.

Nood aan een stack. Wat wordt er op stack gegooid ? –X indien X -> b wordt toegevoegd. –Speciaal Teken als beginscope() wordt uitgevoerd. Bij endscope() worden alles uit de stack tot aan het speciale teken verwijdert en uit de symbool table gehaald.

5.2 Type checking. Wat zetten we in de tables? Welke bindings gebruiken ? –Variabelen en formele parameters -> type –Methodes -> Parameters, resultaats type & lokale variabelen –Klassen -> Methodes en variabelen declaraties

2 fasen. De symbool Tabel opmaken. Type-check alle statements en expressies. –Tijdens fase 2 : voor elke identifier token wordt de tabel geraadpleegd. 2 fasen nodig omdat de oproep van een methode kan voorkomen voor de declaratie van een methode.

1e fase Dit kan geïmplementeerd worden via een visitor. De visitor bezoekt elke node in de abstract syntax tree en bouwt de symbool tabel op. –Voeg voor elke variabele naam en type toe. –Elke variabele maar 1 maal per omgeving gedeclareert.

. // VarDecl -> Type id ; // Type t // Identifier i public void visit(VarDecl n) { Type t = n.t.accept(this) Symbol id = Symbol.symbol(n.i.toString()); bool result; if (currMethod == null) /* in klasse */ result = currClass.addVar(id,t); else /* in methode */ result = currMethod.addVar(id,t); if (!result) error.complain(id.toString() + “ is already defined”);

2e fase Visitor checkt voor expressie en statement het type. Visitor returnt het type van de expressie. Visitor returnt een error message.

// Exp e1, e2; public Type visit(Plus n) { if (! (n.e1.accept(this) instanceof IntegerType) ) error.complain(“Left side of Plus must be integer”); if (! (n.e2.accept(this) instanceof IntegerType) ) error.complain(“Right side of Plus must be integer”); return new IntegerType(); } Beide operanden van n moeten integers zijn. Return type zal ook integer zijn.

Overloading. Som van 2 integers is een integer. Integer + Real ?? In meeste talen wordt impliciet de int omgezet naar een real. Dit moet later ook expliciet worden gemaakt door de compiler in de code die hij genereert.

Toekenningen. Left hand side moet het zelfde type hebben als de right hand side. Bij overerving of extensies moet het rechtse type een subtype zijn van het linkse type. –Person p = new Woman();

Method calls. Bv : C e = new C(); e.m( int i); -> e heeft type C. -> definitie van m opgezocht in classe C. -> parameter types gematcht met de formele argument types. -> result type = return type van de methode.

Error handling. Bij een error moet een error message geprint worden met aard en locatie van de fout. int i = new String(); Error Illegal …. Line 1…. i moet toch in tabel worden opgenomen voor verdere fouten na te gaan.

Error handling. Compiler mag geen foute output code geven bij een type check error. –Latere fases van compilatie moeten opgeschort worden. –Alle (niet-logische) fouten in code moeten voor of tijdens de semantische analyse gevonden worden. –Tot zover de analyse fase.

Einde Analyse Einde Les 3