fabric.extension
Class FabricNewDel
java.lang.Object
JL_c
fabric.extension.FabricNewDel
public class FabricNewDel
- extends JL_c
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
FabricNewDel
public FabricNewDel()
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