edu.mit.ai.psg.jeva
Class VerifyingException

java.lang.Object
  |
  +--java.lang.Throwable
        |
        +--java.lang.Exception
              |
              +--edu.mit.ai.psg.jeva.VerifyingException

Direct Known Subclasses:

IllegalConstructException, IllegalNameException, IllegalTypeException

public abstract class VerifyingException

extends Exception

Base class for exceptions for illegal nodes found while verifying types; saves node and environment where problem occurred. In contrast, AbruptCompletionExceptions are thrown during evaluation by the correctly running program.

See Also:

AbruptCompletionException, Serialized Form

Field Summary

IEnv	environment
IJevaNode	node

Method Summary

String

toString()

Methods inherited from class java.lang.Throwable

fillInStackTrace, getLocalizedMessage, getMessage, printStackTrace, printStackTrace, printStackTrace

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Field Detail

node

public IJevaNode node

environment

public IEnv environment

Method Detail

toString

public String toString()

Overrides:

toString in class Throwable