polyglot.ext.pao.extension
Class PaoCastExt_c

java.lang.Object
  extended bypolyglot.ext.jl.ast.Ext_c
      extended bypolyglot.ext.pao.extension.PaoExt_c
          extended bypolyglot.ext.pao.extension.PaoCastExt_c
All Implemented Interfaces:
java.lang.Cloneable, Copy, Ext, PaoExt

public class PaoCastExt_c
extends PaoExt_c


Field Summary
 
Fields inherited from class polyglot.ext.jl.ast.Ext_c
ext, node
 
Constructor Summary
PaoCastExt_c()
           
 
Method Summary
 Node rewrite(PaoTypeSystem ts, NodeFactory nf)
           
 
Methods inherited from class polyglot.ext.jl.ast.Ext_c
copy, dump, ext, ext, init, node, toString
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 
Methods inherited from interface polyglot.ast.Ext
dump, ext, ext, init, node
 
Methods inherited from interface polyglot.util.Copy
copy
 

Constructor Detail

PaoCastExt_c

public PaoCastExt_c()
Method Detail

rewrite

public Node rewrite(PaoTypeSystem ts,
                    NodeFactory nf)
Specified by:
rewrite in interface PaoExt
Overrides:
rewrite in class PaoExt_c