slime.checks
Class CheckException

java.lang.Object
  extended byjava.lang.Throwable
      extended byjava.lang.Exception
          extended byslime.checks.CheckException
All Implemented Interfaces:
java.io.Serializable
Direct Known Subclasses:
Typecheck.TypecheckException, Wellformed.WException

public class CheckException
extends java.lang.Exception

Generic exception for the check class. More specific exceptions are subclasses from this one. Since the checks will be implemented as visitor to the abstract syntax, the most general exception must be a subclass of the general visitor exception offered by the abstract syntax.

Version:
$Id: CheckException.java,v 1.9 2002/07/11 08:39:53 swprakt Exp $
Author:
Martin Steffen and Karsten Stahl.
See Also:
Serialized Form

Field Summary
 java.lang.String message
          contains exception message
 
Constructor Summary
CheckException()
           
 
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
 

Field Detail

message

public java.lang.String message
contains exception message

Constructor Detail

CheckException

public CheckException()
Method Detail

getMessage

public java.lang.String getMessage()
access the message of the exception

Returns:
exception message