public class NewFabricArrayExt_c extends AnnotatedExt_c
Constructor and Description |
---|
NewFabricArrayExt_c() |
Modifier and Type | Method and Description |
---|---|
Annotated |
assignLabels(LabelAssigner la)
Used by LabelAssigner to assign labels to all
new expressions. |
NewFabricArray |
node() |
Expr |
rewriteProxiesImpl(ProxyRewriter pr) |
Expr |
rewriteProxiesOverrideImpl(ProxyRewriter rewriter) |
assignLocations, dump
rewriteProxies, rewriteProxiesOverride
collectStaticInitializers, ext, rewriteAtomic, rewriteRemoteCalls, rewriteThreads
public Expr rewriteProxiesImpl(ProxyRewriter pr)
rewriteProxiesImpl
in class ExprExt_c
public Expr rewriteProxiesOverrideImpl(ProxyRewriter rewriter)
rewriteProxiesOverrideImpl
in class ExprExt_c
public NewFabricArray node()
node
in class AnnotatedExt_c
public Annotated assignLabels(LabelAssigner la) throws SemanticException
FabILExt
new
expressions.assignLabels
in interface FabILExt
assignLabels
in class FabILExt_c
SemanticException
- when a label is missing and no default can be assigned.