public class Lint extends Object
Title: Lint
Description: Encaptulates all the information related to a lint found.
Copyright: Copyright (c) 2008
Company: Clark & Parsia, LLC.
| Constructor and Description |
|---|
Lint(LintPattern lintPattern,
org.semanticweb.owlapi.model.OWLOntology participatingOntology) |
| Modifier and Type | Method and Description |
|---|---|
void |
addAllParticipatingAxioms(Collection<? extends org.semanticweb.owlapi.model.OWLClassAxiom> a) |
void |
addAllParticipatingClasses(Collection<? extends org.semanticweb.owlapi.model.OWLClass> c) |
void |
addParticipatingAxiom(org.semanticweb.owlapi.model.OWLClassAxiom a) |
void |
addParticipatingClass(org.semanticweb.owlapi.model.OWLClass c) |
boolean |
applyFix(org.semanticweb.owlapi.model.OWLOntologyManager manager)
|
LintFixer |
getLintFixer() |
Set<org.semanticweb.owlapi.model.OWLClassAxiom> |
getParticipatingAxioms() |
Set<org.semanticweb.owlapi.model.OWLClass> |
getParticipatingClasses() |
org.semanticweb.owlapi.model.OWLOntology |
getParticipatingOntology() |
LintPattern |
getPattern() |
Severity |
getSeverity() |
void |
setLintFixer(LintFixer fixer) |
void |
setSeverity(Severity v) |
String |
toString()
It is recommended to use LintFormat.format() instead of calling toString() directly on a Lint.
|
public Lint(LintPattern lintPattern, org.semanticweb.owlapi.model.OWLOntology participatingOntology)
public LintPattern getPattern()
LintPattern which generated this Lint.public void setLintFixer(LintFixer fixer)
public LintFixer getLintFixer()
public void setSeverity(Severity v)
public Severity getSeverity()
Severity of this Lint
relative to all the Lint found for this LintPattern.public void addParticipatingClass(org.semanticweb.owlapi.model.OWLClass c)
public void addAllParticipatingClasses(Collection<? extends org.semanticweb.owlapi.model.OWLClass> c)
public Set<org.semanticweb.owlapi.model.OWLClass> getParticipatingClasses()
public void addParticipatingAxiom(org.semanticweb.owlapi.model.OWLClassAxiom a)
public void addAllParticipatingAxioms(Collection<? extends org.semanticweb.owlapi.model.OWLClassAxiom> a)
public Set<org.semanticweb.owlapi.model.OWLClassAxiom> getParticipatingAxioms()
public org.semanticweb.owlapi.model.OWLOntology getParticipatingOntology()
public boolean applyFix(org.semanticweb.owlapi.model.OWLOntologyManager manager)
throws org.semanticweb.owlapi.model.OWLOntologyChangeException
LintFixer to the source OWLOntology where
this Lint was found, using the given
OWLOntologyManager. The source OWLOntology must be part of the given OWLOntologyManager.manager - the owl ontology manager to usetrue if a LintFixer was available and successfully applied, otherwise false.org.semanticweb.owlapi.model.OWLOntologyChangeException - if a LintFixer was available
but org.semanticweb.owlapi.model.OWLOntologyChangeException was thrown when applying the change to the source OWLOntology.LintFixer.apply(OWLOntologyManager, OWLOntology)Copyright © 2019. All rights reserved.