edu.sc.seis.fissuresUtil.exceptionHandler
Class HTMLReporter
java.lang.Object
edu.sc.seis.fissuresUtil.exceptionHandler.HTMLReporter
- All Implemented Interfaces:
- ExceptionReporter
public class HTMLReporter
- extends java.lang.Object
- implements ExceptionReporter
Method Summary |
protected void |
appendToIndexFile(java.io.File errorFile,
java.lang.Throwable t)
|
protected java.lang.String |
getHeader(java.lang.Throwable t,
int i)
|
protected int |
getLastHandledErNo()
|
protected void |
initIndexFile()
|
void |
report(java.lang.String message,
java.lang.Throwable e,
java.util.List sections)
|
protected void |
writeln(java.io.BufferedWriter out,
java.lang.String s)
|
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
HTMLReporter
public HTMLReporter(java.io.File directory)
throws java.io.IOException
- Throws:
java.io.IOException
report
public void report(java.lang.String message,
java.lang.Throwable e,
java.util.List sections)
throws java.io.IOException
- Specified by:
report
in interface ExceptionReporter
- Throws:
java.io.IOException
initIndexFile
protected void initIndexFile()
throws java.io.IOException
- Throws:
java.io.IOException
appendToIndexFile
protected void appendToIndexFile(java.io.File errorFile,
java.lang.Throwable t)
throws java.io.IOException
- Throws:
java.io.IOException
writeln
protected void writeln(java.io.BufferedWriter out,
java.lang.String s)
throws java.io.IOException
- Throws:
java.io.IOException
getLastHandledErNo
protected int getLastHandledErNo()
getHeader
protected java.lang.String getHeader(java.lang.Throwable t,
int i)