public class ElkExceptionConverter extends Object
ElkExceptions to corresponding OWLRuntimeExceptions
whenever possible| Modifier and Type | Method and Description |
|---|---|
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() |
public static ElkExceptionConverter getInstance()
public org.semanticweb.owlapi.reasoner.FreshEntitiesException convert(ElkFreshEntitiesException e)
public org.semanticweb.owlapi.reasoner.InconsistentOntologyException convert(ElkInconsistentOntologyException e)
public org.semanticweb.owlapi.reasoner.ReasonerInterruptedException convert(ElkInterruptedException e)
public org.semanticweb.owlapi.model.OWLRuntimeException convert(ElkRuntimeException e)
public org.semanticweb.owlapi.model.OWLRuntimeException convert(ElkException e)
Copyright © 2011-2015 Department of Computer Science, University of Oxford. All Rights Reserved.