Package daikon

Class Daikon.UserError

Object

Throwable

Exception

RuntimeException

Daikon.DaikonTerminationException

UserError

All Implemented Interfaces:

Serializable

Enclosing class:

Daikon

public static class Daikon.UserError
extends Daikon.DaikonTerminationException

Indicates a user error. Thrown to indicate that main should not print a stack trace, but only print the message itself to the user.

Code in Daikon should throw other exceptions such as BugInDaikon in cases of a Daikon bug or a system problem (like unpredictable IOExceptions). If the string is null, then this is normal termination, not an error; no message is printed.

See Also:

Serialized Form

Constructor Summary

Constructors

Constructor	Description
UserError()
UserError(String s)
UserError(String msg, FileIO.ParseState state)
UserError(String msg, LineNumberReader reader, String filename)
UserError(Throwable e)
UserError(Throwable e, FileIO.ParseState state)
UserError(Throwable e, LineNumberReader reader, String filename)
UserError(Throwable e, String msg)
UserError(Throwable e, String msg, LineNumberReader reader, String filename)

Method Summary

Modifier and Type	Method	Description
static String	error_at_line_file(LineNumberReader reader, String filename, String msg)
static String	error_at_line_file(LineNumberReader reader, String filename, Throwable e)

Methods inherited from class Throwable

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

Methods inherited from class Object

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

Constructor Detail

UserError

public UserError(Throwable e)

UserError

public UserError(Throwable e,
                 String msg)

UserError

public UserError(Throwable e,
                 FileIO.ParseState state)

UserError

public UserError(Throwable e,
                 LineNumberReader reader,
                 String filename)

UserError

public UserError(Throwable e,
                 String msg,
                 LineNumberReader reader,
                 String filename)

UserError

public UserError()

UserError

public UserError(String s)

UserError

public UserError(String msg,
                 FileIO.ParseState state)

UserError

public UserError(String msg,
                 LineNumberReader reader,
                 String filename)

Method Detail

error_at_line_file

public static String error_at_line_file(LineNumberReader reader,
                                        String filename,
                                        Throwable e)

error_at_line_file

public static String error_at_line_file(LineNumberReader reader,
                                        String filename,
                                        String msg)