edu.mit.ai.psg.jeva
Class IllegalConstructException

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

public class IllegalConstructException

extends VerifyingException

IllegalConstructException is thrown when Jeva finds a construct used in an illegal context, e.g., using "this" in a static method, or is malformed, e.g., an array initializer with too many elements. (These are "compile time errors" in the Java language specification.)

See Also:

Serialized Form

Field Summary

String

explanation

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

environment, node

Constructor Summary

IllegalConstructException(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

IllegalConstructException

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

Method Detail

toString

public String toString()

Overrides:

toString in class VerifyingException