1 / 30

Abstract Syntax

Leonidas Fegaras. Abstract Syntax. Abstract Syntax Tree (AST)‏. A parser typically generates an Abstract Syntax Tree (AST): A parse tree is not an AST. get token. get next character. AST. scanner. parser. source file. token. E T E F T E

kyros
Télécharger la présentation

Abstract Syntax

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript

  1. Leonidas Fegaras Abstract Syntax

  2. Abstract Syntax Tree (AST)‏ • A parser typically generates an Abstract Syntax Tree (AST): • A parse tree is not an AST get token get next character AST scanner parser source file token E T E F T E F T F id(x) + id(y) * id(z)‏ + x * y z

  3. Building Abstract Syntax Trees in Java abstract class Exp { } class IntegerExp extends Exp { public int value; public IntegerExp ( int n ) { value=n; } } class TrueExp extends Exp { public TrueExp () {} } class FalseExp extends Exp { public FalseExp () {} } class VariableExp extends Exp { public String value; public VariableExp ( String n ) { value=n; } }

  4. Exp (cont.)‏ class BinaryExp extends Exp { public String operator; public Exp left; public Exp right; public BinaryExp ( String o, Exp l, Exp r ) { operator=o; left=l; right=r; } } class UnaryExp extends Exp { public String operator; public Exp operand; public UnaryExp ( String o, Exp e ) { operator=o; operand=e; } } class ExpList { public Exp head; public ExpList next; public ExpList ( Exp h, ExpList n ) { head=h; next=n; } }

  5. Exp (cont.)‏ class CallExp extends Exp { public String name; public ExpList arguments; public CallExp ( String nm, ExpList s ) { name=nm; arguments=s; } } class ProjectionExp extends Exp { public Exp value; public String attribute; public ProjectionExp ( Exp v, String a ) { value=v; attribute=a; } }

  6. Exp (cont.)‏ class RecordElements { public String attribute; public Exp value; public RecordElements next; public RecordElements ( String a, Exp v, RecordElements el )‏ { attribute=a; value=v; next=el; } } class RecordExp extends Exp { public RecordElements elements; public RecordExp ( RecordElements el ) { elements=el; } }

  7. Examples • The AST for the input (x-2)+3 new BinaryExp("+", new BinaryExp("-", new VariableExp("x"), new IntegerExp(2)), new IntegerExp(3))‏ • The AST for the input f(x.A,true)‏ new CallExp(“f”, new ExpList(new ProjectionExp(new VariableExp("x"), “A”), new ExpList(new TrueExp(),null)))‏

  8. Gen • A Java package for constructing and manipulating ASTs • You are required to use Gen for your project • It is basically a Java preprocessor that adds syntactic constructs to the Java language to make the task of handling ASTs easier • uses a universal class Tree to capture any kind of AST • supports easy construction of ASTs using the #<...> syntax • supports pattern matching, editing, pretty-printing, etc • includes a symbol table class • Architecture: file.class file.java file.gen Gen javac

  9. The Gen Tree Class abstract class Tree { } class LongLeaf extends Tree { public long value; public LongLeaf ( long n ) { value = n; } } class DoubleLeaf extends Tree { public double value; public DoubleLeaf ( double n ) { value = n; } } class VariableLeaf extends Tree { public String value; public VariableLeaf ( String s ) { value = s; } } class StringLeaf extends Tree { public String value; public StringLeaf ( String s ) { value = s; } }

  10. AST Nodes are Instances of Tree class Node extends Tree { public String name; public Trees args; public Node ( String n, Trees a ) { tag = n; args = a; } } class Trees { public Tree head; public Trees tail; public Trees ( Tree h, Trees t ); public final static Trees nil; public Trees append ( Tree e ); }

  11. Example To construct Binop(Plus,x,Binop(Minus,y,z))‏ in Java, use: new Node("Binop", Trees.nil.append(new VariableLeaf("Plus"))‏ .append(new VariableLeaf("x"))‏ .append(new Node("Binop", Trees.nil.append(new VariableLeaf("Minus"))‏ .append(new VariableLeaf("y"))‏ .append(new VariableLeaf("z")))))‏ • Ugly! • You should never use this kind of code in your project Binop x Binop Plus y z Minus

  12. The #< > Brackets When you write #<Binop(Plus,x,Binop(Minus,y,z))> in your Gen file, it generates the following Java code: new Node("Binop", Trees.nil.append(new VariableLeaf("Plus"))‏ .append(new VariableLeaf("x"))‏ .append(new Node("Binop", Trees.nil.append(new VariableLeaf("Minus"))‏ .append(new VariableLeaf("y"))‏ .append(new VariableLeaf("z")))))‏new which represents the AST: Binop(Plus,x,Binop(Minus,y,z))‏

  13. Escaping a Value Using Backquote • Objects of the class Tree can be included into the form generated by the #< > brackets by “escaping” them with a backquote (`)‏ • The operand of the escape operator is expected to be an object of class Tree that provides the value to “fill in” the hole in the bracketed text at that point • actually, an escaped string/long/double value is also lifted to a Tree • For example Tree x = #<join(a,b,p)>; Tree y = #<select(`x,q)>; Tree z = #<project(`y,A)>; are equivalent to: Tree x = #<join(a,b,p)>; Tree y = #<select(join(a,b,p),q)>; Tree z = #<project(select(join(a,b,p),q),A)>;

  14. BNF of #< > bracketed ::= "#<" expr ">" construct an AST (instance of Tree) | "#[" arg "," ... "," arg "]" construct a list of ASTs (instance of Trees) expr ::= name the representation of a variable name | long the repr. of a long integer | double the repr. of a double number | string the repr. of a string | "`" name escaping to the value of name | "`(" code ")" escaping to the value of code | name "(" arg "," ... "," arg ")“ the repr. of an AST node | "`" name "(" arg "," ... "," arg ")" the repr. of an AST node with escaped name arg ::= expr the repr. of an expression | "..." name escaping to a list of ASTs bound to name | "...(" code ")" escaping to a list of ASTs returned by code

  15. “...” is for Trees • The three dots (...) construct is used to indicate a list of children in an AST node • name in “...name” must be an instance of the class Trees • For example, in Trees r = #[join(a,b,p),select(c,q)]; Tree z = #<project(...r)>; • z will be bound to #<project(join(a,b,p),select(c,q))>

  16. Example For example, #<`f(6,...r,g("ab",`(k(x))),`y)> is equivalent to the following Java code: new Node(f, Trees.nil.append(new LongLeaf(6))‏ .append(r)‏ .append(new Node("g",Trees.nil.append(new StringLeaf("ab"))‏ .append(k(x))))‏ .append(y)‏ • If f="h", r=#[2,z], y=#<m(1,"a")>, and k(x) returns the value #<8>, then the above term is equivalent to #<h(6,2,z,g("ab",8),m(1,"a"))>

  17. Pattern Matching • Gen provides a match statement syntax for pattern matching • Patterns match the Tree representations with similar shape • Escape operators applied to variables inside these patterns represent variable patterns, which “bind” to corresponding subterms upon a successful match • This capability makes it particularly easy to write functions that perform source-to-source transformations

  18. Example • A function that simplifies arithmetic expressions: Tree simplify ( Tree e ) { match e { case plus(`x,0): return x; case times(`x,1): return x; case times(`x,0): return #<0>; case _: return e; } } where the _ pattern matches any value. • For example, simplify(#<times(z,1)>) returns #<z>

  19. BNF case_stmt ::= "match" code “{“ case ... case "}" case ::= "case" expr ":" code expr ::= name exact match with a variable name | long exact match with a long integer | double exact match with a double number | string exact match with a string | "`" name match with the value of name | name "(" arg "," ... "," arg ")“ match an AST node | "`" name "(" arg "," ... "," arg ")" match an AST node with escaped name | "_" match any Ast arg ::= expr match an Ast | "..." name match a list of ASTs bound to name | "..." match the rest of the arguments

  20. Examples • The pattern `f(...r) matches any Node • when it is matched with #<join(a,b,c)>, it binds • f to the string "join" • r to the Arguments #[a,b,c] • The following function adds the terms #<8> and #<9> as children to any Node e: Tree add_arg ( Tree e ) { match e { case `f(...r): return #<`f(8,9,...r)>; case `x: return x; } }

  21. Another Example • The following function switches the inputs of a binary join found as a parameter to a Node e: Tree switch_join_args ( Tree e ) { match e { case `f(...r,join(`x,`y),...s): return #<`f(...r,join(`y,`x),...s)>; case `x: return x; } }

  22. Misc • To iterate over Trees, use Java's for-loop: for ( Tree v: #[a,b,c] ) System.out.println(v); • For conditional pattern matching, use if-then-else with a fail: match e { Case `f(`x): if (x instanceof VariableLeaf) fail; return #<`f(y)>; case `z: return z; }

  23. Adding Semantic Actions to a Parser int E () { int left = T(); if (current_token == '+') { read_next_token(); return left + E(); } else if (current_token == '-') { read_next_token(); return left - E(); } else error(); }; int T () { if (current_token=='num') { int n = num_value; read_next_token(); return n; } else error(); }; • Right-associative grammar: E ::= T + E | T - E T ::= num • After left factoring: E ::= T E' E' ::= + E | - E T ::= num • Recursive descent parser:

  24. Adding Semantic Actions to a Parser int E () { return Eprime(T()); }; int Eprime ( int left ) { if (current_token=='+') { read_next_token(); return Eprime(left + T()); } else if (current_token=='-') { read_next_token(); return Eprime(left - T()); } else return left; }; int T () { if (current_token=='num') { int n = num_value; read_next_token(); return n; } else error(); }; • Left-associative grammar: E ::= E + T | E - T T ::= num • After left recursion elimination: E ::= T E' E' ::= + T E' | - T E' | T ::= num • Recursive descent parser:

  25. Table-Driven Predictive Parsers • Use the parse stack to push/pop both actions and symbols but they use a separate semantic stack to execute the actions push(S); read_next_token(); repeat X = pop(); if (X is a terminal or '$')‏ if (X == current_token)‏ read_next_token(); else error(); else if (X is an action)‏ perform the action; else if (M[X,current_token] == "X ::= Y1 Y2 ... Yk")‏ { push(Yk); ... push(Y1); } else error(); until X == '$';

  26. Example • Need to embed actions { code; } in the grammar rules • Suppose that pushV and popV are the functions to manipulate the semantic stack • The following is the grammar of an interpreter that uses the semantic stack to perform additions and subtractions: E ::= T E' $ { print(popV()); } E' ::= + T { pushV(popV() + popV()); } E' | - T { pushV(-popV() + popV()); } E' | T ::= num { pushV(num); } • For example, for 1+5-2, we have the following sequence of actions: pushV(1); pushV(5); pushV(popV()+popV()); pushV(2); pushV(-popV()+popV()); print(popV());

  27. Bottom-Up Parsers • can only perform an action after a reduction • We can only have rules of the form X ::= Y1 ... Yn { action } where the action is always at the end of the rule; this action is evaluated after the rule X ::= Y1 ... Yn is reduced • How? In addition to state numbers, the parser pushes values into the parse stack • If we want to put an action in the middle of the right-hand-side of a rule, we use a dummy non-terminal, called a marker For example, X ::= a { action } b is equivalent to X ::= M b M ::= a { action }

  28. CUP • Both terminals and non-terminals are associated with typed values • these values are instances of the Object class (or of some subclass of the Object class)‏ • the value associated with a terminal is in most cases an Object, except for an identifier which is a String, for an integer which is an Integer, etc • the typical values associated with non-terminals in a compiler are ASTs, lists of ASTs, etc • You can retrieve the value of a symbol s at the right-hand-side of a rule by using the notation s:x, where x is a variable name that hasn't appeared elsewhere in this rule • The value of the non-terminal defined by a rule is called RESULT and should always be assigned a value in the action • eg if the non-terminal E is associated with an Integer object, then E ::= E:n PLUS E:m {: RESULT = n+m; :}

  29. Machinery • The parse stack elements are of type struct( state: int, value: Object )‏ • int is the state number • Object is the value • When a reduction occurs, the RESULT value is calculated from the values in the stack and is pushed along with the GOTO state • Example: after the reduction by E ::= E:n PLUS E:m {: RESULT = n+m; :} the RESULT value is stack[top-2].value + stack[top].value which is the new value pushed in the stack along with the GOTO state

  30. ASTs in CUP • Need to associate each non-terminal symbol with an AST type non terminal Ast exp; non terminal Arguments expl; exp ::= exp:e1 PLUS exp:e2 {: RESULT = new Node(plus_exp,e1,e2); :} | exp:e1 MINUS exp:e2 {: RESULT = new Node(minus_exp,e1,e2); :} | id:nm LP expl:el RP {: RESULT = new Node(call_exp,el.reverse()‏ .cons(new VariableLeaf(nm))); :} | INT:n {: RESULT = new LongValue(n.intValue()); :} ; expl ::= expl:el COMMA exp:e {: RESULT = el.cons(e); :} | exp:e {: RESULT = nil.cons(e); :} ;

More Related