de.uka.ilkd.key.util

Class CommandLineException

java.lang.Object

java.lang.Throwable

java.lang.Exception

de.uka.ilkd.key.util.CommandLineException

All Implemented Interfaces:

Serializable

public class CommandLineException
extends Exception

Exception used by CommandLine.

See Also:

CommandLine, Serialized Form

Constructor Summary

Constructors

Constructor and Description
CommandLineException() Instantiates a new command line exception without message.
CommandLineException(String message) Instantiates a new command line exception.
CommandLineException(String message, Throwable cause) Instantiates a new command line exception.
CommandLineException(Throwable cause) Instantiates a new command line exception.

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 Detail

CommandLineException

public CommandLineException()

Instantiates a new command line exception without message.

CommandLineException

public CommandLineException(String message,
                            Throwable cause)

Instantiates a new command line exception.

Parameters:

message - an error message

cause - the exception causing this exception

CommandLineException

public CommandLineException(String message)

Instantiates a new command line exception.

Parameters:

message - an error message

CommandLineException

public CommandLineException(Throwable cause)

Instantiates a new command line exception.

Parameters:

cause - the exception causing this exception