@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 FabricArrayInit
public FabricArrayInit_c location(Expr location)
location
in interface Annotated
location
in interface FabricArrayInit
protected <N extends FabricArrayInit_c> N location(N n, Expr location)
public Expr updateLabel()
updateLabel
in interface FabricArrayInit
public FabricArrayInit_c updateLabel(Expr label)
updateLabel
in interface FabricArrayInit
protected <N extends FabricArrayInit_c> N updateLabel(N n, Expr label)
public Expr accessPolicy()
accessPolicy
in interface FabricArrayInit
public FabricArrayInit_c accessPolicy(Expr accessLabel)
accessPolicy
in interface FabricArrayInit
protected <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
SemanticException
protected 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)