fabil.extension
Class FieldAssignExt_c

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

public class FieldAssignExt_c
extends ExprExt_c


Constructor Summary
FieldAssignExt_c()
           
 
Method Summary
 ReadWriteChecker.State accessState()
           
 void accessState(ReadWriteChecker.State s)
           
 FieldAssign node()
           
 Expr rewriteProxiesOverrideImpl(ProxyRewriter pr)
           
 
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

FieldAssignExt_c

public FieldAssignExt_c()
Method Detail

rewriteProxiesOverrideImpl

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

node

public FieldAssign node()
Overrides:
node in class ExprExt_c

accessState

public void accessState(ReadWriteChecker.State s)

accessState

public ReadWriteChecker.State accessState()