40 likes | 143 Views
Explore the intricacies of compiler design, syntax analysis, and runtime type information in this detailed guide. Learn about regular expressions, data flow analysis, control flow analysis, and more. Practice building parsers and delve into utilizing runtime type information for enhanced programming efficiency. Discover techniques like slicing for variable value tracking. Enhance your knowledge with exercises on parser programming. Compiler tools such as lex/yacc, Eli, and JavaCC are also discussed. Dive into the backend implementation and abstract syntax tree generation with tools like JTB. Delve into class reflection for leveraging runtime type information in Java.
E N D
Ziele Heute • Compilerbau Nachlese • Ausnutzung von Laufzeittypinformation
Compilerbau Nachlese • reguläre Ausdrücke: einfach aber ungenau • Compilerbau: • genaue Analyse der Struktur von Texten • Analyse von "statischer" Semantik per Symboltabelle(Cross Reference Table) • Datenflussanalyse: "read-from" Beziehung • Kontrollflulssanalyse: Ausführungsreihenfolgen • Slicing: wer hat hier zum Wert der Variablen X beigetragen? • Übung zu Hause: • Jeder: selber die Parserübungen programmieren • Importe mit Berücksichtigen • if / while / for mit analysieren: wird in jedem Fall ein return ausgeführt?
Compiler Compiler • Compiler / Parser können von Compiler Compilern generiert werdenz.B.: lex/yacc (veraltet), Eli, javacc (Standard für Java) • Back-End in die Grammatik einbauen: • Standard Back-End zur Erzeugung eines abstrakten Syntaxbaumsz.B.: JTB (Java Tree Builder) • Siehe Fujaba JavaParser Plugin
Ausnutzung von Laufzeittypinformation • schreibt Methode ClassFinder.addDotClassToSymbolTable() benutz java.lang.reflect • Class.forName (String) • Class. getDeclaredMethods () • Method.getName () • . . . • Class.getDeclaredFields () • Field.getName() • . . . • Class.getInterfaces () • Class.getSuperClass () • testet im Dobs ClassFinder.addDotClassToSymbolTable ("java.lang.System"), ...