Package eu.bandm.tools.annotations

Class ImpossibleError

java.lang.Object

java.lang.Throwable

java.lang.Error

eu.bandm.tools.annotations.ImpossibleError

All Implemented Interfaces:

Serializable

public class ImpossibleError
extends Error

Is thrown at a point in the control flow which can never be reached, according to the intended semantics and conditions.

It is sometimes useful to have statements that throw errors of this class, in order to shut up complaints that arise from the incompleteness of static control-flow analysis.

Since:

1.0

See Also:

• Serialized Form

Constructor Summary

Constructors

Constructor	Description
ImpossibleError()	Constructur with no information.
ImpossibleError(String s)	Constructor with some text information.
ImpossibleError(String s, Throwable c)	Constructor with some text information and causing Throwable.
ImpossibleError(Throwable c)	Constructor with causing Throwable.

Method Summary

Methods inherited from class java.lang.Throwable

addSuppressed, fillInStackTrace, getCause, getLocalizedMessage, getMessage, getStackTrace, getSuppressed, initCause, printStackTrace, printStackTrace, printStackTrace, setStackTrace, toString

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Details

ImpossibleError

public ImpossibleError()

Constructur with no information. User must consult its stack trace.

ImpossibleError

public ImpossibleError(String s)

Constructor with some text information. User can additionally consult its stack trace.

Parameters:

s - descriging text.

ImpossibleError

public ImpossibleError(Throwable c)

Constructor with causing Throwable. User can additionally consult its stack trace.

Parameters:

c - the causing throwable.

ImpossibleError

public ImpossibleError(String s,
 Throwable c)

Constructor with some text information and causing Throwable. User can additionally consult its stack trace.

Parameters:

s - descriging text.

c - the causing throwable.