fabil.extension
Class InstanceofExt_c

java.lang.Object
  extended by Ext_c
      extended by fabil.extension.FabILExt_c
          extended by fabil.extension.ExprExt_c
              extended by fabil.extension.InstanceofExt_c
All Implemented Interfaces:
FabILExt

public class InstanceofExt_c
extends ExprExt_c


Constructor Summary
InstanceofExt_c()
           
 
Method Summary
 Instanceof node()
           
protected  Expr rewriteProxiesImpl(ProxyRewriter pr)
           
 
Methods inherited from class fabil.extension.ExprExt_c
rewriteProxies, rewriteProxiesOverride, rewriteProxiesOverrideImpl
 
Methods inherited from class fabil.extension.FabILExt_c
assignLabels, assignLocations, collectStaticInitializers, ext, rewriteAtomic, rewriteRemoteCalls, rewriteThreads
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

InstanceofExt_c

public InstanceofExt_c()
Method Detail

rewriteProxiesImpl

protected Expr rewriteProxiesImpl(ProxyRewriter pr)
Overrides:
rewriteProxiesImpl in class ExprExt_c

node

public Instanceof node()
Overrides:
node in class ExprExt_c