sofya.graphs.cfg
Class TypeInferenceException

java.lang.Object
  java.lang.Throwable
      java.lang.Exception
          sofya.graphs.cfg.TypeInferenceException

All Implemented Interfaces:

java.io.Serializable

public class TypeInferenceException
extends java.lang.Exception

Exception thrown to indicate that a failure has occurred in the type inferencing module. These exceptions frequently wrap other exceptions which indicate the true cause of failure.

Version:

09/13/2004

Author:

Alex Kinneer

See Also:

Serialized Form

Constructor Summary

TypeInferenceException()
Creates a type inference exception with no message or causing exception.

TypeInferenceException(java.lang.String msg)
Creates a type inference exception with the specified message and no causing exception.

TypeInferenceException(java.lang.String msg, java.lang.Throwable cause)
Creates a type inference exception with the specified message and causing exception.

Method Summary

java.lang.Throwable

getCause() Gets the wrapped exception indicating the original cause for failure.

Methods inherited from class java.lang.Throwable

fillInStackTrace, 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

TypeInferenceException

public TypeInferenceException()

Creates a type inference exception with no message or causing exception.

TypeInferenceException

public TypeInferenceException(java.lang.String msg)

Creates a type inference exception with the specified message and no causing exception.

Parameters:

msg - Message associated with this exception.

TypeInferenceException

public TypeInferenceException(java.lang.String msg,
                              java.lang.Throwable cause)

Creates a type inference exception with the specified message and causing exception.

Method Detail

getCause

public java.lang.Throwable getCause()

Gets the wrapped exception indicating the original cause for failure.

Overrides:

getCause in class java.lang.Throwable

Returns:

The original exception which caused this type inference exception to be raised, may be null.