com.ifcomputer.minerva
Class MinervaException

java.lang.Object
  |
  +--java.lang.Throwable
        |
        +--java.lang.Exception
              |
              +--com.ifcomputer.minerva.MinervaException

All Implemented Interfaces:

java.io.Serializable

Direct Known Subclasses:

MinervaSystemError

public class MinervaException

extends java.lang.Exception

The class MinervaException and its subclasses are a form of Exception that indicates error conditions that cannot be handled by Minerva.

Constructor Summary

MinervaException(java.lang.String error)
Constructs an MinervaException with a specific detail message.

MinervaException(java.lang.String error, java.lang.String domain)
Constructs an MinervaException with a specific detail message for an unhandled domain error.

MinervaException(java.lang.String error, java.lang.String domain, int culprit)
Constructs an MinervaException with a specific detail message for an unhandled domain error.

MinervaException(java.lang.String error, java.lang.String domain, java.lang.String type)
Constructs an MinervaException with a specific detail message for an unhandled domain error.

MinervaException(java.lang.String error, java.lang.String domain, java.lang.String type, int culprit)
Constructs an MinervaException with a specific detail message for an unhandled domain error.

Method Summary

void	setCulprit(int culprit) set the information about the term which caused the exception to be thrown.
java.lang.String	toString() Returns a short error description

Methods inherited from class java.lang.Throwable

fillInStackTrace, getCause, getLocalizedMessage, getMessage, getStackTrace, initCause, printStackTrace, printStackTrace, printStackTrace, setStackTrace

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

MinervaException

public MinervaException(java.lang.String error)

Constructs an MinervaException with a specific detail message.

Parameters:

error - standard error class (like type_error, instantiation_error, etc.

MinervaException

public MinervaException(java.lang.String error,
                        java.lang.String domain)

Constructs an MinervaException with a specific detail message for an unhandled domain error.

Parameters:

error - standard error class (like type_error, instantiation_error, etc.

domain - specifies the domain context in which the error was thrown (like MinervaException("representation_error", "character_code").

MinervaException

public MinervaException(java.lang.String error,
                        java.lang.String domain,
                        int culprit)

Constructs an MinervaException with a specific detail message for an unhandled domain error.

Parameters:

error - standard error class (like type_error, instantiation_error, etc.

domain - specifies the domain context in which the error was thrown (like MinervaException("representation_error", "character_code").

culprit - term which caused the exception to be thrown. The term has to be in the internal Minerva term format (and must be allocated on the internal Minerva stack).

MinervaException

public MinervaException(java.lang.String error,
                        java.lang.String domain,
                        java.lang.String type)

Constructs an MinervaException with a specific detail message for an unhandled domain error.

Parameters:

error - standard error class (like type_error, instantiation_error, etc.

domain - specifies the domain context in which the error was thrown (like MinervaException("representation_error", "character_code").

type - specifies the domain type more specifically.

MinervaException

public MinervaException(java.lang.String error,
                        java.lang.String domain,
                        java.lang.String type,
                        int culprit)

Constructs an MinervaException with a specific detail message for an unhandled domain error.

Parameters:

error - standard error class (like type_error, instantiation_error, etc.

domain - specifies the domain context in which the error was thrown (like MinervaException("representation_error", "character_code").

type - specifies the domain type more specifically.

culprit - term which caused the exception to be thrown. The term has to be in the internal Minerva term format (and must be allocated on the internal Minerva stack).

Method Detail

setCulprit

public void setCulprit(int culprit)

set the information about the term which caused the exception to be thrown.

Parameters:

culprit - term which caused the exception to be thrown. The term has to be in the internal Minerva term format (and must be allocated on the internal Minerva stack).

toString

public java.lang.String toString()

Returns a short error description

Overrides:

toString in class java.lang.Throwable