fabil.extension
Class FieldExt_c

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

public class FieldExt_c
extends ExprExt_c


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

FieldExt_c

public FieldExt_c()
Method Detail

rewriteProxiesOverrideImpl

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

rewriteProxiesImpl

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

node

public Field node()
Overrides:
node in class ExprExt_c

accessState

public void accessState(ReadWriteChecker.State s)

accessState

public ReadWriteChecker.State accessState()