fabil.ast
Class FabricArrayInit_c
java.lang.Object
ArrayInit_c
fabil.ast.FabricArrayInit_c
- All Implemented Interfaces:
- Annotated, FabricArrayInit
public class FabricArrayInit_c
- extends ArrayInit_c
- implements FabricArrayInit, Annotated
Constructor Summary |
FabricArrayInit_c(Position pos,
java.util.List<Expr> elements,
Expr label,
Expr location)
|
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
location
protected Expr location
label
protected Expr label
FabricArrayInit_c
public FabricArrayInit_c(Position pos,
java.util.List<Expr> elements,
Expr label,
Expr location)
elements
public FabricArrayInit elements(java.util.List elements)
- Specified by:
elements
in interface FabricArrayInit
location
public Expr location()
- Specified by:
location
in interface Annotated
location
public FabricArrayInit_c location(Expr location)
- Specified by:
location
in interface Annotated
- Specified by:
location
in interface FabricArrayInit
label
public Expr label()
- Specified by:
label
in interface Annotated
label
public FabricArrayInit_c label(Expr label)
- Specified by:
label
in interface Annotated
- Specified by:
label
in interface FabricArrayInit
reconstruct
protected FabricArrayInit_c reconstruct(java.util.List<Expr> elements,
Expr location,
Expr label)
- Reconstructs the initializer.
visitChildren
public Node visitChildren(NodeVisitor v)
typeCheck
public FabricArrayInit_c typeCheck(TypeChecker tc)
throws SemanticException
- Throws:
SemanticException
arrayOf
protected Type arrayOf(TypeSystem ts,
Type baseType)
childExpectedType
public Type childExpectedType(Expr child,
AscriptionVisitor av)
acceptCFG
public java.util.List acceptCFG(CFGBuilder v,
java.util.List succs)
copy
public Node copy(NodeFactory nf)