daikon
Class Daikon.TerminationMessage

Object
  Throwable
      Exception
          RuntimeException
              Daikon.TerminationMessage

All Implemented Interfaces:

Serializable

Enclosing class:

Daikon

public static class Daikon.TerminationMessage
extends RuntimeException

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 this Exception in cases of user error, an throw other exceptions 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

Daikon.TerminationMessage()

Daikon.TerminationMessage(String s)

Daikon.TerminationMessage(String msg, FileIO.ParseState state)

Daikon.TerminationMessage(String msg, LineNumberReader reader, String filename)

Daikon.TerminationMessage(Throwable e)

Daikon.TerminationMessage(Throwable e, FileIO.ParseState state)

Daikon.TerminationMessage(Throwable e, LineNumberReader reader, String filename)

Daikon.TerminationMessage(Throwable e, String msg)

Daikon.TerminationMessage(Throwable e, String msg, LineNumberReader reader, String filename)

Method Summary

static String

error_at_line_file(LineNumberReader reader, String filename)

Methods inherited from class Throwable

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

Methods inherited from class Object

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

Constructor Detail

Daikon.TerminationMessage

public Daikon.TerminationMessage(Throwable e)

Daikon.TerminationMessage

public Daikon.TerminationMessage(Throwable e,
                                 String msg)

Daikon.TerminationMessage

public Daikon.TerminationMessage(Throwable e,
                                 FileIO.ParseState state)

Daikon.TerminationMessage

public Daikon.TerminationMessage(Throwable e,
                                 LineNumberReader reader,
                                 String filename)

Daikon.TerminationMessage

public Daikon.TerminationMessage(Throwable e,
                                 String msg,
                                 LineNumberReader reader,
                                 String filename)

Daikon.TerminationMessage

public Daikon.TerminationMessage()

Daikon.TerminationMessage

public Daikon.TerminationMessage(String s)

Daikon.TerminationMessage

public Daikon.TerminationMessage(String msg,
                                 FileIO.ParseState state)

Daikon.TerminationMessage

public Daikon.TerminationMessage(String msg,
                                 LineNumberReader reader,
                                 String filename)

Method Detail

error_at_line_file

public static String error_at_line_file(LineNumberReader reader,
                                        String filename)