dk.brics.tajs.monitoring.soundness

Class LogFileHelper

java.lang.Object

dk.brics.tajs.monitoring.soundness.LogFileHelper

public class LogFileHelper
extends java.lang.Object

Utility class for creating, finding, and parsing log files.

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static class	LogFileHelper.LogFileException Exception for situations where there is something wrong with a log file.

Constructor Summary

Constructors

Constructor and Description
LogFileHelper()

Method Summary

Modifier and Type	Method and Description
java.net.URL	createOrGetLogFile() Returns the URL of the log file, and if necessary generates the file.
java.net.URL	getLogFile() Returns the URL where the log file can be read.
java.nio.file.Path	getMainFile() Finds the main file.
static dk.au.cs.casa.jer.LogParser	makeLogParser(java.net.URL logFile)

Methods inherited from class java.lang.Object

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

Constructor Detail

LogFileHelper

public LogFileHelper()

Method Detail

createOrGetLogFile

public java.net.URL createOrGetLogFile()

Returns the URL of the log file, and if necessary generates the file.

getLogFile

public java.net.URL getLogFile()

Returns the URL where the log file can be read.

getMainFile

public java.nio.file.Path getMainFile()

Finds the main file.

makeLogParser

public static dk.au.cs.casa.jer.LogParser makeLogParser(java.net.URL logFile)