fabil.extension
Class UnaryExt_c

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

public class UnaryExt_c
extends ExprExt_c


Constructor Summary
UnaryExt_c()
           
 
Method Summary
 ReadWriteChecker.State accessState()
           
 void accessState(ReadWriteChecker.State s)
           
 Unary node()
           
 Expr rewriteProxiesOverrideImpl(ProxyRewriter rewriter)
           
 
Methods inherited from class fabil.extension.ExprExt_c
rewriteProxies, rewriteProxiesImpl, rewriteProxiesOverride
 
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

UnaryExt_c

public UnaryExt_c()
Method Detail

rewriteProxiesOverrideImpl

public Expr rewriteProxiesOverrideImpl(ProxyRewriter rewriter)
Overrides:
rewriteProxiesOverrideImpl in class ExprExt_c

node

public Unary node()
Overrides:
node in class ExprExt_c

accessState

public void accessState(ReadWriteChecker.State s)

accessState

public ReadWriteChecker.State accessState()