Package org.semanticweb.owlapi.debugging

Class DebuggerClassExpressionGenerator

java.lang.Object

org.semanticweb.owlapi.util.OWLAxiomVisitorAdapter

org.semanticweb.owlapi.debugging.DebuggerClassExpressionGenerator

All Implemented Interfaces:

OWLAnnotationAxiomVisitor, OWLAxiomVisitor, OWLLogicalAxiomVisitor

public class DebuggerClassExpressionGenerator
extends OWLAxiomVisitorAdapter

Since:

2.0.0

Author:

Matthew Horridge, The University Of Manchester, Bio-Health Informatics Group

Constructor Summary

Constructors

Constructor	Description
DebuggerClassExpressionGenerator(OWLDataFactory dataFactory)	Instantiates a new debugger class expression generator.

Method Summary

Modifier and Type	Method	Description
OWLClassExpression	getDebuggerClassExpression()	Gets the debugger class expression.
void	visit(OWLClassAssertionAxiom axiom)	visit OWLClassAssertionAxiom type
void	visit(OWLDataPropertyDomainAxiom axiom)	visit OWLDataPropertyDomainAxiom type
void	visit(OWLEquivalentClassesAxiom axiom)	visit OWLEquivalentClassesAxiom type
void	visit(OWLObjectPropertyDomainAxiom axiom)	visit OWLObjectPropertyDomainAxiom type
void	visit(OWLObjectPropertyRangeAxiom axiom)	visit OWLObjectPropertyRangeAxiom type
void	visit(OWLSubClassOfAxiom axiom)	visit OWLSubClassOfAxiom type
void	visit(OWLSubObjectPropertyOfAxiom axiom)	visit OWLSubObjectPropertyOfAxiom type

Methods inherited from class java.lang.Object

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

Methods inherited from class org.semanticweb.owlapi.util.OWLAxiomVisitorAdapter

visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit

Constructor Detail

DebuggerClassExpressionGenerator

public DebuggerClassExpressionGenerator(@Nonnull
                                        OWLDataFactory dataFactory)

Instantiates a new debugger class expression generator.

Parameters:

dataFactory - factory to use

Method Detail

getDebuggerClassExpression

@Nullable
public OWLClassExpression getDebuggerClassExpression()

Gets the debugger class expression.

Returns:

the class expression

visit

public void visit(@Nonnull
                  OWLSubClassOfAxiom axiom)

Description copied from interface: OWLLogicalAxiomVisitor

visit OWLSubClassOfAxiom type

Specified by:

visit in interface OWLLogicalAxiomVisitor

Overrides:

visit in class OWLAxiomVisitorAdapter

Parameters:

axiom - axiom to visit

visit

public void visit(OWLDataPropertyDomainAxiom axiom)

Description copied from interface: OWLLogicalAxiomVisitor

visit OWLDataPropertyDomainAxiom type

Specified by:

visit in interface OWLLogicalAxiomVisitor

Overrides:

visit in class OWLAxiomVisitorAdapter

Parameters:

axiom - axiom to visit

visit

public void visit(OWLObjectPropertyDomainAxiom axiom)

Description copied from interface: OWLLogicalAxiomVisitor

visit OWLObjectPropertyDomainAxiom type

Specified by:

visit in interface OWLLogicalAxiomVisitor

Overrides:

visit in class OWLAxiomVisitorAdapter

Parameters:

axiom - axiom to visit

visit

public void visit(OWLObjectPropertyRangeAxiom axiom)

Description copied from interface: OWLLogicalAxiomVisitor

visit OWLObjectPropertyRangeAxiom type

Specified by:

visit in interface OWLLogicalAxiomVisitor

Overrides:

visit in class OWLAxiomVisitorAdapter

Parameters:

axiom - axiom to visit

visit

public void visit(OWLSubObjectPropertyOfAxiom axiom)

Description copied from interface: OWLLogicalAxiomVisitor

visit OWLSubObjectPropertyOfAxiom type

Specified by:

visit in interface OWLLogicalAxiomVisitor

Overrides:

visit in class OWLAxiomVisitorAdapter

Parameters:

axiom - axiom to visit

visit

public void visit(OWLClassAssertionAxiom axiom)

Description copied from interface: OWLLogicalAxiomVisitor

visit OWLClassAssertionAxiom type

Specified by:

visit in interface OWLLogicalAxiomVisitor

Overrides:

visit in class OWLAxiomVisitorAdapter

Parameters:

axiom - axiom to visit

visit

public void visit(OWLEquivalentClassesAxiom axiom)

Description copied from interface: OWLLogicalAxiomVisitor

visit OWLEquivalentClassesAxiom type

Specified by:

visit in interface OWLLogicalAxiomVisitor

Overrides:

visit in class OWLAxiomVisitorAdapter

Parameters:

axiom - axiom to visit