public class EquivalentToAllValuePattern extends AxiomLintPattern
Title:
Description:
Copyright: Copyright (c) 2008
Company: Clark & Parsia, LLC.
| Constructor and Description |
|---|
EquivalentToAllValuePattern() |
| 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. |
void |
visit(org.semanticweb.owlapi.model.OWLEquivalentClassesAxiom axiom) |
makeLint, match, setLinthandleDefault, 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, visit, visit, visitpublic String getName()
public String getDescription()
public 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).true if this pattern provides an automatic fix for every Lint it matches.Lint.setLintFixer(LintFixer)public LintFormat getDefaultLintFormat()
LintFormat for this pattern.LintFormatpublic void visit(org.semanticweb.owlapi.model.OWLEquivalentClassesAxiom axiom)
visit in interface org.semanticweb.owlapi.model.OWLLogicalAxiomVisitorvisit in class org.semanticweb.owlapi.util.OWLAxiomVisitorAdapterCopyright © 2019. All rights reserved.