@Deprecated public class FabricArrayInit_c extends ArrayInit_c implements FabricArrayInit, Annotated
| Modifier and Type | Field and Description | 
|---|---|
protected Expr | 
accessPolicy
Deprecated.  
  | 
protected Expr | 
label
Deprecated.  
  | 
protected Expr | 
location
Deprecated.  
  | 
| Constructor and Description | 
|---|
FabricArrayInit_c(Position pos,
                 java.util.List<Expr> elements,
                 Expr label,
                 Expr accessLabel,
                 Expr location)
Deprecated.  
 | 
FabricArrayInit_c(Position pos,
                 java.util.List<Expr> elements,
                 Expr label,
                 Expr accessLabel,
                 Expr location,
                 Ext ext)
Deprecated.  
  | 
| Modifier and Type | Method and Description | 
|---|---|
<T> java.util.List<T> | 
acceptCFG(<any> v,
         java.util.List<T> succs)
Deprecated.  
  | 
Expr | 
accessPolicy()
Deprecated.  
  | 
FabricArrayInit_c | 
accessPolicy(Expr accessLabel)
Deprecated.  
  | 
protected <N extends FabricArrayInit_c> | 
accessPolicy(N n,
            Expr accessPolicy)
Deprecated.  
  | 
protected Type | 
arrayOf(TypeSystem ts,
       Type baseType)
Deprecated.  
  | 
Type | 
childExpectedType(Expr child,
                 AscriptionVisitor av)
Deprecated.  
  | 
Node | 
copy(NodeFactory nf)
Deprecated.  
  | 
FabricArrayInit | 
elements(java.util.List<Expr> elements)
Deprecated.  
  | 
Expr | 
location()
Deprecated.  
  | 
FabricArrayInit_c | 
location(Expr location)
Deprecated.  
  | 
protected <N extends FabricArrayInit_c> | 
location(N n,
        Expr location)
Deprecated.  
  | 
protected <N extends FabricArrayInit_c> | 
reconstruct(N n,
           java.util.List<Expr> elements,
           Expr location,
           Expr label,
           Expr accessPolicy)
Deprecated.  
Reconstructs the initializer. 
 | 
FabricArrayInit_c | 
typeCheck(TypeChecker tc)
Deprecated.  
  | 
Expr | 
updateLabel()
Deprecated.  
  | 
FabricArrayInit_c | 
updateLabel(Expr label)
Deprecated.  
  | 
protected <N extends FabricArrayInit_c> | 
updateLabel(N n,
           Expr label)
Deprecated.  
  | 
Node | 
visitChildren(NodeVisitor v)
Deprecated.  
  | 
protected Expr location
protected Expr label
protected Expr accessPolicy
@Deprecated
public FabricArrayInit_c(Position pos,
                                     java.util.List<Expr> elements,
                                     Expr label,
                                     Expr accessLabel,
                                     Expr location)
public FabricArrayInit_c(Position pos,
                         java.util.List<Expr> elements,
                         Expr label,
                         Expr accessLabel,
                         Expr location,
                         Ext ext)
public FabricArrayInit elements(java.util.List<Expr> elements)
elements in interface FabricArrayInitpublic FabricArrayInit_c location(Expr location)
location in interface Annotatedlocation in interface FabricArrayInitprotected <N extends FabricArrayInit_c> N location(N n, Expr location)
public Expr updateLabel()
updateLabel in interface FabricArrayInitpublic FabricArrayInit_c updateLabel(Expr label)
updateLabel in interface FabricArrayInitprotected <N extends FabricArrayInit_c> N updateLabel(N n, Expr label)
public Expr accessPolicy()
accessPolicy in interface FabricArrayInitpublic FabricArrayInit_c accessPolicy(Expr accessLabel)
accessPolicy in interface FabricArrayInitprotected <N extends FabricArrayInit_c> N accessPolicy(N n, Expr accessPolicy)
protected <N extends FabricArrayInit_c> N reconstruct(N n, java.util.List<Expr> elements, Expr location, Expr label, Expr accessPolicy)
public Node visitChildren(NodeVisitor v)
public FabricArrayInit_c typeCheck(TypeChecker tc) throws SemanticException
SemanticExceptionprotected Type arrayOf(TypeSystem ts,
                       Type baseType)
public Type childExpectedType(Expr child,
                              AscriptionVisitor av)
public <T> java.util.List<T> acceptCFG(<any> v,
                                       java.util.List<T> succs)
public Node copy(NodeFactory nf)