com.clarkparsia.pellint.lintpattern

Interface LintPattern

All Known Subinterfaces:

OntologyLintPattern

All Known Implementing Classes:

AxiomLintPattern, EquivalentAndSubclassAxiomPattern, EquivalentToAllValuePattern, EquivalentToComplementPattern, EquivalentToMaxCardinalityPattern, EquivalentToTopPattern, ExistentialExplosionPattern, GCIPattern, LargeCardinalityPattern, LargeDisjunctionPattern, TooManyDifferentIndividualsPattern

public interface LintPattern

Title: Lint Pattern Interface

Description: The root interface for all lint patterns which provides some basic presentation interfaces.

Copyright: Copyright (c) 2008

Company: Clark & Parsia, LLC.

Author:

Harris Lin

Method Summary

Modifier and Type	Method and Description
LintFormat	getDefaultLintFormat()
String	getDescription()
String	getName()
boolean	isFixable() Returns true if this pattern provides an automatic fix for every Lint it matches.

Method Detail

getName

String getName()

Returns:

The name of the pattern.

getDescription

String getDescription()

Returns:

The detailed description of the pattern.

isFixable

boolean isFixable()

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

LintFormat getDefaultLintFormat()

Returns:

The default LintFormat for this pattern.

See Also:

LintFormat