fabric.visit
Class ThisLabelChecker

java.lang.Object
  ErrorHandlingVisitor
      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