public class FabricArrayInitExt_c extends AnnotatedExt_c
Constructor and Description |
---|
FabricArrayInitExt_c() |
Modifier and Type | Method and Description |
---|---|
Annotated |
assignLabels(LabelAssigner la)
Used by LabelAssigner to assign labels to all
new expressions. |
FabricArrayInit |
node() |
Expr |
rewriteProxiesOverrideImpl(ProxyRewriter rewriter) |
assignLocations, dump
rewriteProxies, rewriteProxiesImpl, rewriteProxiesOverride
collectStaticInitializers, ext, rewriteAtomic, rewriteRemoteCalls, rewriteThreads
public Expr rewriteProxiesOverrideImpl(ProxyRewriter rewriter)
rewriteProxiesOverrideImpl
in class ExprExt_c
public FabricArrayInit 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.