com.clarkparsia.pellint.lintpattern.axiom
Class GCIPattern

java.lang.Object
  org.semanticweb.owl.util.OWLAxiomVisitorAdapter
      com.clarkparsia.pellint.lintpattern.axiom.AxiomLintPattern
          com.clarkparsia.pellint.lintpattern.axiom.GCIPattern

All Implemented Interfaces:

LintPattern, org.semanticweb.owl.model.OWLAxiomVisitor

public class GCIPattern
extends AxiomLintPattern

Title:

Description:

Copyright: Copyright (c) 2008

Company: Clark & Parsia, LLC.

Author:

Harris Lin

Constructor Summary

GCIPattern()

Method Summary

LintFormat	getDefaultLintFormat()
java.lang.String	getDescription()
java.lang.String	getName()
boolean	isFixable() Returns true if this pattern provides an automatic fix for every Lint it matches.
void	visit(org.semanticweb.owl.model.OWLEquivalentClassesAxiom axiom)
void	visit(org.semanticweb.owl.model.OWLSubClassAxiom axiom)

Methods inherited from class com.clarkparsia.pellint.lintpattern.axiom.AxiomLintPattern

match

Methods inherited from class org.semanticweb.owl.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, visit, visit, visit

Methods inherited from class java.lang.Object

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

Constructor Detail

GCIPattern

public GCIPattern()

Method Detail

getName

public java.lang.String getName()

Returns:

The name of the pattern.

getDescription

public java.lang.String getDescription()

Returns:

The detailed description of the pattern.

isFixable

public boolean isFixable()

Description copied from interface: LintPattern

Returns true if this pattern provides an automatic fix for every Lint it matches. An automatic fix for every Lint can be made available by calling Lint.setLintFixer(LintFixer).

Returns:

true if this pattern provides an automatic fix for every Lint it matches.

See Also:

Lint.setLintFixer(LintFixer)

getDefaultLintFormat

public LintFormat getDefaultLintFormat()

Returns:

The default LintFormat for this pattern.

See Also:

LintFormat

visit

public void visit(org.semanticweb.owl.model.OWLEquivalentClassesAxiom axiom)

Specified by:

visit in interface org.semanticweb.owl.model.OWLAxiomVisitor

Overrides:

visit in class org.semanticweb.owl.util.OWLAxiomVisitorAdapter

visit

public void visit(org.semanticweb.owl.model.OWLSubClassAxiom axiom)

Specified by:

visit in interface org.semanticweb.owl.model.OWLAxiomVisitor

Overrides:

visit in class org.semanticweb.owl.util.OWLAxiomVisitorAdapter