fabil.ast
Class FabricArrayInit_c

java.lang.Object
  extended by ArrayInit_c
      extended by fabil.ast.FabricArrayInit_c
All Implemented Interfaces:
Annotated, FabricArrayInit

public class FabricArrayInit_c
extends ArrayInit_c
implements FabricArrayInit, Annotated


Field Summary
protected  Expr label
           
protected  Expr location
           
 
Constructor Summary
FabricArrayInit_c(Position pos, java.util.List<Expr> elements, Expr label, Expr location)
           
 
Method Summary
 java.util.List acceptCFG(CFGBuilder v, java.util.List succs)
           
protected  Type arrayOf(TypeSystem ts, Type baseType)
           
 Type childExpectedType(Expr child, AscriptionVisitor av)
           
 Node copy(NodeFactory nf)
           
 FabricArrayInit elements(java.util.List elements)
           
 Expr label()
           
 FabricArrayInit_c label(Expr label)
           
 Expr location()
           
 FabricArrayInit_c location(Expr location)
           
protected  FabricArrayInit_c reconstruct(java.util.List<Expr> elements, Expr location, Expr label)
          Reconstructs the initializer.
 FabricArrayInit_c typeCheck(TypeChecker tc)
           
 Node visitChildren(NodeVisitor v)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

location

protected Expr location

label

protected Expr label
Constructor Detail

FabricArrayInit_c

public FabricArrayInit_c(Position pos,
                         java.util.List<Expr> elements,
                         Expr label,
                         Expr location)
Method Detail

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)