fabric.extension

Class FabricNewDel

java.lang.Object

JifNewDel

fabric.extension.FabricNewDel

public class FabricNewDel
extends JifNewDel

Constructor Summary

Constructors

Constructor and Description
FabricNewDel()

Method Summary

Modifier and Type	Method and Description
Node	disambiguateOverride(Node parent, AmbiguityRemover ar)
java.util.List<Type>	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<Type> 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