schemacrawler.tools.lint

Class LinterRegistry

java.lang.Object

schemacrawler.tools.registry.BasePluginRegistry

schemacrawler.tools.lint.LinterRegistry

All Implemented Interfaces:

LinterInitializer, PluginRegistry

public final class LinterRegistry
extends BasePluginRegistry
implements LinterInitializer

Linter registry for mapping linters by id.

Method Summary

Modifier and Type	Method and Description
static LinterRegistry	getLinterRegistry()
String	getName()
Set<String>	getRegisteredLinters()
Collection<us.fatehi.utility.property.PropertyName>	getRegisteredPlugins()
boolean	hasLinter(String linterId)
Linter	newLinter(String linterId, LintCollector lintCollector)

Methods inherited from class schemacrawler.tools.registry.BasePluginRegistry

log

Methods inherited from class java.lang.Object

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

Method Detail

getLinterRegistry

public static LinterRegistry getLinterRegistry()

getName

public String getName()

Specified by:

getName in interface PluginRegistry

getRegisteredLinters

public Set<String> getRegisteredLinters()

Specified by:

getRegisteredLinters in interface LinterInitializer

getRegisteredPlugins

public Collection<us.fatehi.utility.property.PropertyName> getRegisteredPlugins()

Specified by:

getRegisteredPlugins in interface PluginRegistry

hasLinter

public boolean hasLinter(String linterId)

newLinter

public Linter newLinter(String linterId,
                        LintCollector lintCollector)

Specified by:

newLinter in interface LinterInitializer