Protégé-OWL 3.3.1

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

java.lang.Object
  extended by 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


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
 

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.


Protégé-OWL 3.3.1

Submit a bug report or feature request
Copyright (c) 1998-2007 Stanford University.