edu.mit.ai.psg.jevaES
Class IllegalTypeException

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

public class IllegalTypeException

extends VerifyingException

IllegalTypeException is thrown when Jeva finds a type conflict. (Type conflicts are "compile time errors" in Java language specification.)

Author:

CarlManning, caroma@ai.mit.edu
Copyright (c) 1997, 1998 Massachusetts Institute of Technology

See Also:

Serialized Form

Field Summary

String

explanation

Fields inherited from class edu.mit.ai.psg.jevaES.VerifyingException

environment, node

Constructor Summary

IllegalTypeException(IJevaNode n, IEnv env, String explain)

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

explanation

public String explanation

Constructor Detail

IllegalTypeException

public IllegalTypeException(IJevaNode n,
                            IEnv env,
                            String explain)

Method Detail

toString

public String toString()

Overrides:

toString in class VerifyingException