fabric.ast
Class ClassDecl_c

java.lang.Object
  extended by jif.ast.JifClassDecl_c
      extended by fabric.ast.ClassDecl_c

public class ClassDecl_c
extends jif.ast.JifClassDecl_c


Constructor Summary
ClassDecl_c(Position pos, Flags flags, Id name, java.util.List params, TypeNode superClass, java.util.List interfaces, java.util.List authority, ClassBody body)
           
 
Method Summary
protected  void setSuperClass(AmbiguityRemover ar, TypeNode superClass)
           
 Node typeCheck(TypeChecker tc)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

ClassDecl_c

public ClassDecl_c(Position pos,
                   Flags flags,
                   Id name,
                   java.util.List params,
                   TypeNode superClass,
                   java.util.List interfaces,
                   java.util.List authority,
                   ClassBody body)
Method Detail

setSuperClass

protected void setSuperClass(AmbiguityRemover ar,
                             TypeNode superClass)
                      throws SemanticException
Throws:
SemanticException

typeCheck

public Node typeCheck(TypeChecker tc)
               throws SemanticException
Throws:
SemanticException