@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)