org.semanticweb.elk.owlapi
Class ElkExceptionConverter

java.lang.Object
  org.semanticweb.elk.owlapi.ElkExceptionConverter

public class ElkExceptionConverter
extends Object

Converts ElkExceptions to corresponding OWLRuntimeExceptions whenever possible

Author:

"Yevgeny Kazakov"

Method Summary

org.semanticweb.owlapi.model.OWLRuntimeException	convert(ElkException e)
org.semanticweb.owlapi.reasoner.FreshEntitiesException	convert(ElkFreshEntitiesException e)
org.semanticweb.owlapi.reasoner.InconsistentOntologyException	convert(ElkInconsistentOntologyException e)
org.semanticweb.owlapi.reasoner.ReasonerInterruptedException	convert(ElkInterruptedException e)
org.semanticweb.owlapi.model.OWLRuntimeException	convert(ElkRuntimeException e)
static ElkExceptionConverter	getInstance()

Methods inherited from class java.lang.Object

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

Method Detail

getInstance

public static ElkExceptionConverter getInstance()

convert

public org.semanticweb.owlapi.reasoner.FreshEntitiesException convert(ElkFreshEntitiesException e)

convert

public org.semanticweb.owlapi.reasoner.InconsistentOntologyException convert(ElkInconsistentOntologyException e)

convert

public org.semanticweb.owlapi.reasoner.ReasonerInterruptedException convert(ElkInterruptedException e)

convert

public org.semanticweb.owlapi.model.OWLRuntimeException convert(ElkRuntimeException e)

convert

public org.semanticweb.owlapi.model.OWLRuntimeException convert(ElkException e)