fabil.extension

Class CallExt_c

java.lang.Object

Ext_c

fabil.extension.FabILExt_c

fabil.extension.ExprExt_c

fabil.extension.CallExt_c

All Implemented Interfaces:

FabILExt

public class CallExt_c
extends ExprExt_c

Constructor Summary

Constructors

Constructor and Description
CallExt_c()

Method Summary

Modifier and Type	Method and Description
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()