|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||
java.lang.Objectcom.clarkparsia.pellint.lintpattern.ontology.ExistentialExplosionPattern
public class ExistentialExplosionPattern
Title:
Description:
Copyright: Copyright (c) 2008
Company: Clark & Parsia, LLC.
| Constructor Summary | |
|---|---|
ExistentialExplosionPattern()
|
|
| 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. |
java.util.List<Lint> |
match(org.semanticweb.owl.model.OWLOntology ontology)
Match an OWLOntology and returns a list of Lint
for the OWLOntology. |
void |
setMaxTreeSize(int value)
|
| Methods inherited from class java.lang.Object |
|---|
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
| Constructor Detail |
|---|
public ExistentialExplosionPattern()
| Method Detail |
|---|
public java.lang.String getName()
getName in interface LintPatternpublic java.lang.String getDescription()
getDescription in interface LintPatternpublic boolean isFixable()
LintPatterntrue 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).
isFixable in interface LintPatterntrue if this pattern provides an automatic fix for every Lint it matches.Lint.setLintFixer(LintFixer)public LintFormat getDefaultLintFormat()
getDefaultLintFormat in interface LintPatternLintFormat for this pattern.LintFormatpublic void setMaxTreeSize(int value)
public java.util.List<Lint> match(org.semanticweb.owl.model.OWLOntology ontology)
OntologyLintPatternLint
for the OWLOntology.
match in interface OntologyLintPatternLint for the OWLOntology. Never returns null.Lint
|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||