edu.mit.ai.psg.jevaES
Class IllegalNameException

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

public class IllegalNameException

extends VerifyingException

IllegalNameException is thrown when Jeva finds a name conflict, e.g., a name that has already been used or is ambiguous. (These are "compile time errors" in the 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

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

IllegalNameException

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

Method Detail

toString

public String toString()

Overrides:

toString in class VerifyingException