edu.mit.ai.psg.jeva
Class VerifyingError

java.lang.Object
  |
  +--java.lang.Throwable
        |
        +--java.lang.Error
              |
              +--edu.mit.ai.psg.jeva.VerifyingError

public class VerifyingError

extends Error

Error used to capture context of internal errors thrown while verifying types in source code. (Not related to java.lang.VerifyError, which is about bytecode verification of class files by a JVM.)

See Also:

Serialized Form

Field Summary

IEnv	environment
Throwable	error
IJevaNode	node

Constructor Summary

VerifyingError(IJevaNode n, IEnv env, Throwable err)

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

error

public Throwable error

Constructor Detail

VerifyingError

public VerifyingError(IJevaNode n,
                      IEnv env,
                      Throwable err)

Method Detail

toString

public String toString()

Overrides:

toString in class Throwable