fabil.extension

Class FieldAssignExt_c

java.lang.Object

Ext_c

fabil.extension.FabILExt_c

fabil.extension.ExprExt_c

fabil.extension.FieldAssignExt_c

All Implemented Interfaces:

FabILExt

public class FieldAssignExt_c
extends ExprExt_c

Constructor Summary

Constructors

Constructor and Description
FieldAssignExt_c()

Method Summary

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