FabricExceptionChecker

public class FabricExceptionChecker
extends JifExceptionChecker

Fields
Modifier and Type	Field and Description
`protected boolean`	`inRemoteWrapper`

Constructors
Constructor and Description
`FabricExceptionChecker(Job job, TypeSystem ts, NodeFactory nf)`

All Methods Instance Methods Concrete Methods
Modifier and Type	Method and Description
`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

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

protected NodeVisitor enterCall(Node n)
                         throws SemanticException

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

Class FabricExceptionChecker