org.symcomp.openmath
Class OpenMathException

java.lang.Object
  extended by java.lang.Throwable
      extended by java.lang.Exception
          extended by org.symcomp.openmath.OpenMathException
All Implemented Interfaces:
java.io.Serializable

public class OpenMathException
extends java.lang.Exception

Exceptions thrown from within org.symcomp.openmath should (!) be of this type.

See Also:
Serialized Form

Constructor Summary
OpenMathException(java.lang.String text)
           
 
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
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Constructor Detail

OpenMathException

public OpenMathException(java.lang.String text)


Copyright © 2010. All Rights Reserved.