edu.stanford.smi.protegex.owl.inference.dig.reasoner
Class DIGReasonerPreferences

java.lang.Object
  edu.stanford.smi.protegex.owl.inference.dig.reasoner.DIGReasonerPreferences

public class DIGReasonerPreferences

extends Object

User: matthewhorridge
The Univeristy Of Manchester
Medical Informatics Group
Date: Feb 15, 2005

matthew.horridge@cs.man.ac.uk
www.cs.man.ac.uk/~horridgm

Field Summary

private static DIGReasonerPreferences	instance
private boolean	logDIG
private OutputStream	logOutputStream
private boolean	treatErrorsAsWarnings

Constructor Summary

private

DIGReasonerPreferences()

Method Summary

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

Methods inherited from class java.lang.Object

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

Field Detail

instance

private static DIGReasonerPreferences instance

treatErrorsAsWarnings

private boolean treatErrorsAsWarnings

logDIG

private boolean logDIG

logOutputStream

private OutputStream logOutputStream

Constructor Detail

DIGReasonerPreferences

private DIGReasonerPreferences()

Method Detail

getInstance

public static DIGReasonerPreferences getInstance()

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 OutputStream getLogOutputStream()

Gets the output stream used for logging.

setLogOutputStream

public void setLogOutputStream(OutputStream logOutputStream)

Sets the output stream used for logging.