Dotazování nad stromem abstraktní syntaxe

Rozměr: px

Začít zobrazení ze stránky:

Download "Dotazování nad stromem abstraktní syntaxe"

Břetislav Vávra
před 8 lety
Počet zobrazení:

1 Fakulta jaderná a fyzikáln inºenýrská ƒeské vysoké u ení technické v Praze

2 Osnova while 1 Reprezentace programu 2 AST a Java 3 Vyhledávání v AST 4 Aplikace body if expr

3 Jak reprezentovat program Pro? Hello World Jak? analýza, transformace refaktorování; zdrojový kód, strom abstraktní syntaxe, abstraktní sémantický graf;

4 Reprezentace zdrojový kód P íklad vara = 10 if vara == 10 then print "Hello World" else print vara Výhody dostupnost, vyhledávání textových informací; Nevýhody zbyte né informace, hledání souvislostí;

5 Reprezentace strom abstraktní syntaxe (AST) block decl if vara 10 == then else vara 10 print str print vara Výhody výstup kompilátoru, jasná struktura; Nevýhody ne v²echny souvislosti

6 Reprezentace abstraktní sémantický graf (ASG) block decl if vara 10 == then else vara 10 print str print vara Nevýhody náro n j²í na sestavení Výhody podgraf stále AST, zachycuje i sémantickou stránku;

7 AST jazyka Java Vlastnosti p es 100 druh uzl (26 druh výraz, 22 p íkaz a dal²í), rozsáhlý (i pro malé kompila ní jednotky); Vytvo ení chybí standardní nástroj, Eclipse JDT - ASTParser (JLS 2 i 3), ANTLR + p íslu²ná gramatika;

8 AST jazyka Java optimalizace P íklad + int a = ; other 3 4

9 Vyhledávání v AST R zné p ístupy ru ní prohledávání do ²í ky/hloubky, návrhový vzor náv²t vník, specializované nástroje; Nástroje XML XPath, XML XQuery;

10 Návrhový vzor náv²t vník JDT Java Development Tools AST DOM, ASTNode.accept() ASTVisitor.visit() pro kaºdý typ uzlu; Výhody/nevýhody základní dotazy jednoduché na implementaci, pro kaºdý typ dotazu novou implementaci ASTVisitor;

11 XML nástroje Moºnosti XPath XML Path Language, XQuery XML Query Language, XSLT extensible Stylesheet Language Transformations; Problémy AST XML, implementovat DOM nad AST p evod AST DOM, dotazování transformace;

12 P evod AST XML DOM e²ení JRefLib knihovna v Jav p evod AST z JDT do XML DOMu zachovává vazbu na p vodní syntaktický strom Problémy mapování AST: p es 100 druh uzl XML DOM: elementy, atributy

13 XPath PMD P íklad //ClassOrInterfaceBodyDeclaration[ count( //VariableDeclarator[../Type/ReferenceType/ ClassOrInterfaceType[@Image='Logger'] ] ) > 1 ]

14 XQuery JRefactor XQuery funkcionální dotazovací jazyk pro XML nadmnoºina XPath Výhody/nevýhody adresování element pomocí XPath podoba s SQL nemá update, delete

15 XQuery a AST ukázka P íklad for $type in.//type let $methods := $type/methods/method[name=$methodname] where $type/name = $typename return if (count($methods) = 1) then $methods[1] else for $m in $methods where $m/@signature = $methodsignature return $m

16 Aplikace a dal²í rozvoj Vytvo ené knihovny a nástroje JRefLib knihovna pro p evod AST do XML DOM JRefactor prototyp refaktorovacího nástroje vyuºívající XQuery SrcToXML, RunXQ malé aplikace pro testování skript XQuery Dal²í rozvoj XQuery také transformace (update, delete) AST standard pro p evod do XML (zatím pokusy OMG)

17 Dotazy

Podobné dokumenty

Ukládání a vyhledávání XML dat

Ukládání a vyhledávání XML dat XML teorie a praxe značkovacích jazyků (4IZ238) Jirka Kosek Poslední modifikace: $Date: 2014/12/04 19:41:24 $ Obsah Ukládání XML dokumentů... 3 Ukládání XML do souborů... 4 Nativní XML databáze... 5 Ukládání