slime.checks
Class Typecheck.TypeMismatch

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

public class Typecheck.TypeMismatch
extends Typecheck.TypecheckException

See Also:
Serialized Form

Constructor Summary
Typecheck.TypeMismatch()
           
 
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.TypeMismatch

public Typecheck.TypeMismatch()
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