slime.checks
Class Typecheck.NonuniqueDeclaration

java.lang.Object
  extended byjava.lang.Throwable
      extended byjava.lang.Exception
          extended byslime.checks.CheckException
              extended byslime.checks.Typecheck.TypecheckException
                  extended byslime.checks.Typecheck.NonuniqueDeclaration
All Implemented Interfaces:
java.io.Serializable
Enclosing class:
Typecheck

public class Typecheck.NonuniqueDeclaration
extends Typecheck.TypecheckException

See Also:
Serialized Form

Constructor Summary
Typecheck.NonuniqueDeclaration(java.lang.String varname)
           
 
Method Summary
 java.lang.String getMessage()
          access the message of the exception
 
Methods inherited from class java.lang.Throwable
fillInStackTrace, getCause, getLocalizedMessage, getStackTrace, initCause, printStackTrace, printStackTrace, printStackTrace, setStackTrace, toString
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Constructor Detail

Typecheck.NonuniqueDeclaration

public Typecheck.NonuniqueDeclaration(java.lang.String varname)
Method Detail

getMessage

public java.lang.String getMessage()
Description copied from class: CheckException
access the message of the exception

Overrides:
getMessage in class Typecheck.TypecheckException