uk.ac.manchester.cs.owl.inference.dig11
Class DIGReasonerPreferences

java.lang.Object
  uk.ac.manchester.cs.owl.inference.dig11.DIGReasonerPreferences

public class DIGReasonerPreferences
extends java.lang.Object

Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group
Date: 21-Nov-2006

Method Summary

static DIGReasonerPreferences	getInstance()
java.io.OutputStream	getLogOutputStream() Gets the output stream used for logging.
java.net.URL	getReasonerURL()
boolean	isLogDIG() Determines if logging is on.
boolean	isTreatErrorsAsWarnings() Determines if DIG Errors should be regarded as warnings.
void	loadDefaults()
void	setLogDIG(boolean b) Specifies whether or not the DIG communication with the reasoner should be logged.
void	setLogOutputStream(java.io.OutputStream logOutputStream) Sets the output stream used for logging.
void	setReasonerURL(java.net.URL url)
void	setTreatErrorsAsWarnings(boolean b) Specifies whether DIG Errors should be regarded as warnings

Methods inherited from class java.lang.Object

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

Method Detail

getInstance

public static DIGReasonerPreferences getInstance()

loadDefaults

public void loadDefaults()

getReasonerURL

public java.net.URL getReasonerURL()

setReasonerURL

public void setReasonerURL(java.net.URL url)

isTreatErrorsAsWarnings

public boolean isTreatErrorsAsWarnings()

Determines if DIG Errors should be regarded as warnings.

setTreatErrorsAsWarnings

public void setTreatErrorsAsWarnings(boolean b)

Specifies whether DIG Errors should be regarded as warnings

Parameters:

b - true if errors should be regarded as warnings, otherwise false.

isLogDIG

public boolean isLogDIG()

Determines if logging is on. If logging is on then the DIG communication with the DIG Reasoner is logged to the specified log stream (or std out if no log stream has been specified).

setLogDIG

public void setLogDIG(boolean b)

Specifies whether or not the DIG communication with the reasoner should be logged.

getLogOutputStream

public java.io.OutputStream getLogOutputStream()

Gets the output stream used for logging.

setLogOutputStream

public void setLogOutputStream(java.io.OutputStream logOutputStream)

Sets the output stream used for logging.