TPTP 4.6.0 Platform Project
Public API Specification

org.eclipse.hyades.probekit
Class ProbekitException

java.lang.Object
  extended by java.lang.Throwable
      extended by java.lang.Exception
          extended by org.eclipse.hyades.probekit.ProbekitException
All Implemented Interfaces:
java.io.Serializable
Direct Known Subclasses:
ProbekitCompileProblemException

public class ProbekitException
extends java.lang.Exception

The exception class for probekit exceptions. All thrown exceptions are of this type, and are created with a string value which describes the problem.

See Also:
Serialized Form

Constructor Summary
ProbekitException(java.lang.String string)
          String constructor.
 
Method Summary
 
Methods inherited from class java.lang.Throwable
fillInStackTrace, getCause, getLocalizedMessage, getMessage, getStackTrace, initCause, printStackTrace, printStackTrace, printStackTrace, setStackTrace, toString
 
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Constructor Detail

ProbekitException

public ProbekitException(java.lang.String string)
String constructor. Exceptions are always created with a string telling what's wrong.

Parameters:
string - A message (in English) telling what's wrong.

TPTP 4.6.0 Platform Project
Public API Specification