fabric.visit
Class ThisLabelChecker

java.lang.Object
  extended by ErrorHandlingVisitor
      extended by fabric.visit.ThisLabelChecker

public class ThisLabelChecker
extends ErrorHandlingVisitor


Constructor Summary
ThisLabelChecker(Job job, FabricTypeSystem ts, FabricNodeFactory nf)
           
 
Method Summary
 Node leaveCall(Node old, Node n, NodeVisitor v)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

ThisLabelChecker

public ThisLabelChecker(Job job,
                        FabricTypeSystem ts,
                        FabricNodeFactory nf)
Method Detail

leaveCall

public Node leaveCall(Node old,
                      Node n,
                      NodeVisitor v)
               throws SemanticException
Throws:
SemanticException