fabil.extension
Class CallExt_c

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

public class CallExt_c
extends ExprExt_c


Constructor Summary
CallExt_c()
           
 
Method Summary
 ReadWriteChecker.State accessState()
           
 void accessState(ReadWriteChecker.State s)
           
 Call node()
           
 Expr rewriteProxiesImpl(ProxyRewriter pr)
           
protected  Expr rewriteProxiesOverrideImpl(ProxyRewriter pr)
           
 Node rewriteRemoteCalls(RemoteCallRewriter rr)
          Used by RemoteCallRewriter to translate RMIs.
 Node rewriteThreads(ThreadRewriter tr)
          Used by ThreadRewriter to hook Threads into the worker's transaction manager.
 
Methods inherited from class fabil.extension.ExprExt_c
rewriteProxies, rewriteProxiesOverride
 
Methods inherited from class fabil.extension.FabILExt_c
assignLabels, assignLocations, collectStaticInitializers, ext, rewriteAtomic
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

CallExt_c

public CallExt_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

rewriteThreads

public Node rewriteThreads(ThreadRewriter tr)
Description copied from interface: FabILExt
Used by ThreadRewriter to hook Threads into the worker's transaction manager.

Specified by:
rewriteThreads in interface FabILExt
Overrides:
rewriteThreads in class FabILExt_c

rewriteRemoteCalls

public Node rewriteRemoteCalls(RemoteCallRewriter rr)
Description copied from interface: FabILExt
Used by RemoteCallRewriter to translate RMIs.

Specified by:
rewriteRemoteCalls in interface FabILExt
Overrides:
rewriteRemoteCalls in class FabILExt_c

node

public Call node()
Overrides:
node in class ExprExt_c

accessState

public void accessState(ReadWriteChecker.State s)

accessState

public ReadWriteChecker.State accessState()