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, dumprewriteProxies, rewriteProxiesImpl, rewriteProxiesOverridecollectStaticInitializers, ext, rewriteAtomic, rewriteRemoteCalls, rewriteThreadspublic Expr rewriteProxiesOverrideImpl(ProxyRewriter rewriter)
rewriteProxiesOverrideImpl in class ExprExt_cpublic FabricArrayInit 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.