edu.udo.cs.yale.tools
Class BugReport

java.lang.Object
  edu.udo.cs.yale.tools.BugReport

public class BugReport
extends java.lang.Object

A bug report can be send by the user. It should only be used in cases where an exception does not occur due to a user error.

Version:

$Id: BugReport.java,v 1.11 2006/08/14 12:28:15 ingomierswa Exp $

Author:

Simon Fischer, Ingo Mierswa

Field Summary

private static int

BUFFER_SIZE

Constructor Summary

BugReport()

Method Summary

static void	createBugReport(java.io.File reportFile, java.lang.Throwable exception, java.lang.String userMessage, Experiment experiment, java.lang.String logMessage, java.io.File[] attachments)
static java.lang.String	getProperties()
private static void	getProperties(java.lang.String prefix, java.lang.StringBuffer string)
static java.lang.String	getStackTrace(java.lang.Throwable throwable)
private static void	write(java.lang.String name, java.lang.String comment, java.lang.String string, java.util.zip.ZipOutputStream out)
private static void	writeFile(java.io.File file, java.util.zip.ZipOutputStream out)

Methods inherited from class java.lang.Object

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

Field Detail

BUFFER_SIZE

private static final int BUFFER_SIZE

See Also:

Constant Field Values

Constructor Detail

BugReport

public BugReport()

Method Detail

getProperties

private static void getProperties(java.lang.String prefix,
                                  java.lang.StringBuffer string)

getProperties

public static java.lang.String getProperties()

getStackTrace

public static java.lang.String getStackTrace(java.lang.Throwable throwable)

createBugReport

public static void createBugReport(java.io.File reportFile,
                                   java.lang.Throwable exception,
                                   java.lang.String userMessage,
                                   Experiment experiment,
                                   java.lang.String logMessage,
                                   java.io.File[] attachments)
                            throws java.io.IOException

Throws:

java.io.IOException

writeFile

private static void writeFile(java.io.File file,
                              java.util.zip.ZipOutputStream out)
                       throws java.io.IOException

Throws:

java.io.IOException

write

private static void write(java.lang.String name,
                          java.lang.String comment,
                          java.lang.String string,
                          java.util.zip.ZipOutputStream out)
                   throws java.io.IOException

Throws:

java.io.IOException