fabric.extension
Class FabricNewDel

java.lang.Object
  extended by JL_c
      extended by fabric.extension.FabricNewDel

public class FabricNewDel
extends JL_c


Constructor Summary
FabricNewDel()
           
 
Method Summary
 Node disambiguateOverride(Node parent, AmbiguityRemover ar)
           
 java.util.List throwTypes(TypeSystem ts)
           
 Node typeCheck(TypeChecker tc)
           
 Node typeCheckOverride(Node parent, TypeChecker tc)
           
 Node visitChildren(NodeVisitor v)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

FabricNewDel

public FabricNewDel()
Method Detail

visitChildren

public Node visitChildren(NodeVisitor v)

throwTypes

public java.util.List throwTypes(TypeSystem ts)

typeCheck

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

disambiguateOverride

public Node disambiguateOverride(Node parent,
                                 AmbiguityRemover ar)
                          throws SemanticException
Throws:
SemanticException

typeCheckOverride

public Node typeCheckOverride(Node parent,
                              TypeChecker tc)
                       throws SemanticException
Throws:
SemanticException