KickJava   Java API By Example, From Geeks To Geeks.

Java > Open Source Codes > polyglot > ext > pao > extension > PaoExt_c


1 package polyglot.ext.pao.extension;
2
3 import polyglot.ast.Node;
4 import polyglot.ast.NodeFactory;
5 import polyglot.ext.jl.ast.Ext_c;
6 import polyglot.ext.pao.types.PaoTypeSystem;
7
8 /**
9  * Default implementation of <code>PaoExt</code>.
10  */

11 public class PaoExt_c extends Ext_c implements PaoExt {
12     /**
13      * Default implementation of <code>rewrite</code>, returns the node
14      * unchanged.
15      *
16      * @see PaoExt#rewrite(PaoTypeSystem, NodeFactory)
17      */

18     public Node rewrite(PaoTypeSystem ts, NodeFactory nf) {
19         return node();
20     }
21 }
22
Popular Tags