public abstract class AxiomLintPattern extends org.semanticweb.owlapi.util.OWLAxiomVisitorAdapter implements LintPattern
Title: Axiom-based Lint Pattern Abstract Class
Description: Provides convenience (protected) methods to create and set Lint,
and methods to traverse an OWLAxiom (through OWLAxiomVisitorAdapter).
Copyright: Copyright (c) 2008
Company: Clark & Parsia, LLC.
| Constructor and Description |
|---|
AxiomLintPattern() |
| Modifier and Type | Method and Description |
|---|---|
protected Lint |
makeLint() |
Lint |
match(org.semanticweb.owlapi.model.OWLOntology ontology,
org.semanticweb.owlapi.model.OWLAxiom axiom)
Match an OWLAxiom and returns a
Lint
for the axiom if found. |
protected void |
setLint(Lint lint) |
handleDefault, 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, visit, visit, visit, visit, visit, visit, visitclone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, waitgetDefaultLintFormat, getDescription, getName, isFixableprotected Lint makeLint()
protected void setLint(Lint lint)
public final Lint match(org.semanticweb.owlapi.model.OWLOntology ontology, org.semanticweb.owlapi.model.OWLAxiom axiom)
Lint
for the axiom if found.
Do not override this method.
To create and return a Lint, implementers of this class should
call makeLint() first, set any necessary information on the Lint,
and lastly call setLint(Lint).Copyright © 2019. All rights reserved.