fabric.visit
Class FabricExceptionChecker

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