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, dumprewriteProxies, rewriteProxiesOverridecollectStaticInitializers, ext, rewriteAtomic, rewriteRemoteCalls, rewriteThreadspublic Expr rewriteProxiesImpl(ProxyRewriter pr)
rewriteProxiesImpl in class ExprExt_cpublic Expr rewriteProxiesOverrideImpl(ProxyRewriter rewriter)
rewriteProxiesOverrideImpl in class ExprExt_cpublic NewFabricArray node()
node in class AnnotatedExt_cpublic Annotated assignLabels(LabelAssigner la) throws SemanticException
FabILExtnew expressions.assignLabels in interface FabILExtassignLabels in class FabILExt_cSemanticException - when a label is missing and no default can be assigned.