com.clarkparsia.pellint.model
Class Lint

java.lang.Object
  com.clarkparsia.pellint.model.Lint

public class Lint
extends java.lang.Object

Title: Lint

Description: Encaptulates all the information related to a lint found.

Copyright: Copyright (c) 2008

Company: Clark & Parsia, LLC.

Author:

Harris Lin

Constructor Summary

Lint(LintPattern lintPattern, org.semanticweb.owl.model.OWLOntology participatingOntology)

Method Summary

void	addAllParticipatingAxioms(java.util.Collection<? extends org.semanticweb.owl.model.OWLClassAxiom> a)
void	addAllParticipatingClasses(java.util.Collection<? extends org.semanticweb.owl.model.OWLClass> c)
void	addParticipatingAxiom(org.semanticweb.owl.model.OWLClassAxiom a)
void	addParticipatingClass(org.semanticweb.owl.model.OWLClass c)
boolean	applyFix(org.semanticweb.owl.model.OWLOntologyManager manager) Apply LintFixer to the source OWLOntology where this Lint was found, using the given OWLOntologyManager.
LintFixer	getLintFixer()
java.util.Set<org.semanticweb.owl.model.OWLClassAxiom>	getParticipatingAxioms()
java.util.Set<org.semanticweb.owl.model.OWLClass>	getParticipatingClasses()
org.semanticweb.owl.model.OWLOntology	getParticipatingOntology()
LintPattern	getPattern()
Severity	getSeverity()
void	setLintFixer(LintFixer fixer)
void	setSeverity(Severity v)
java.lang.String	toString() It is recommended to use LintFormat.format() instead of calling toString() directly on a Lint.

Methods inherited from class java.lang.Object

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

Constructor Detail

Lint

public Lint(LintPattern lintPattern,
            org.semanticweb.owl.model.OWLOntology participatingOntology)

Method Detail

getPattern

public LintPattern getPattern()

Returns:

The LintPattern which generated this Lint.

setLintFixer

public void setLintFixer(LintFixer fixer)

getLintFixer

public LintFixer getLintFixer()

setSeverity

public void setSeverity(Severity v)

getSeverity

public Severity getSeverity()

Returns:

The Severity of this Lint relative to all the Lint found for this LintPattern.

addParticipatingClass

public void addParticipatingClass(org.semanticweb.owl.model.OWLClass c)

addAllParticipatingClasses

public void addAllParticipatingClasses(java.util.Collection<? extends org.semanticweb.owl.model.OWLClass> c)

getParticipatingClasses

public java.util.Set<org.semanticweb.owl.model.OWLClass> getParticipatingClasses()

addParticipatingAxiom

public void addParticipatingAxiom(org.semanticweb.owl.model.OWLClassAxiom a)

addAllParticipatingAxioms

public void addAllParticipatingAxioms(java.util.Collection<? extends org.semanticweb.owl.model.OWLClassAxiom> a)

getParticipatingAxioms

public java.util.Set<org.semanticweb.owl.model.OWLClassAxiom> getParticipatingAxioms()

getParticipatingOntology

public org.semanticweb.owl.model.OWLOntology getParticipatingOntology()

applyFix

public boolean applyFix(org.semanticweb.owl.model.OWLOntologyManager manager)
                 throws org.semanticweb.owl.model.OWLOntologyChangeException

Apply LintFixer to the source OWLOntology where this Lint was found, using the given OWLOntologyManager. The source OWLOntology must be part of the given OWLOntologyManager.

Returns:

true if a LintFixer was available and successfully applied, otherwise false.

Throws:

org.semanticweb.owl.model.OWLOntologyChangeException - if a LintFixer was available but org.semanticweb.owl.model.OWLOntologyChangeException was thrown when applying the change to the source OWLOntology.

See Also:

LintFixer.apply(OWLOntologyManager, OWLOntology)

toString

public java.lang.String toString()

It is recommended to use LintFormat.format() instead of calling toString() directly on a Lint.

Overrides:

toString in class java.lang.Object