fabil.extension

Class FieldExt_c

java.lang.Object

Ext_c

fabil.extension.FabILExt_c

fabil.extension.ExprExt_c

fabil.extension.FieldExt_c

All Implemented Interfaces:

FabILExt

public class FieldExt_c
extends ExprExt_c

Constructor Summary

Constructors

Constructor and Description
FieldExt_c()

Method Summary

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