fabric.visit
Class FabricExceptionChecker

java.lang.Object
  extended by ExceptionChecker
      extended by fabric.visit.FabricExceptionChecker

public class FabricExceptionChecker
extends ExceptionChecker


Field Summary
protected  boolean inRemoteWrapper
           
 
Constructor Summary
FabricExceptionChecker(Job job, TypeSystem ts, NodeFactory nf)
           
 
Method Summary
protected  NodeVisitor enterCall(Node n)
           
 void throwsException(Type t, Position pos)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

inRemoteWrapper

protected boolean inRemoteWrapper
Constructor Detail

FabricExceptionChecker

public FabricExceptionChecker(Job job,
                              TypeSystem ts,
                              NodeFactory nf)
Method Detail

enterCall

protected NodeVisitor enterCall(Node n)
                         throws SemanticException
Throws:
SemanticException

throwsException

public void throwsException(Type t,
                            Position pos)
                     throws SemanticException
Throws:
SemanticException