public final class LinterRegistry extends BasePluginRegistry implements LinterInitializer
| 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) |
logpublic static LinterRegistry getLinterRegistry()
public String getName()
getName in interface PluginRegistrypublic Set<String> getRegisteredLinters()
getRegisteredLinters in interface LinterInitializerpublic Collection<us.fatehi.utility.property.PropertyName> getRegisteredPlugins()
getRegisteredPlugins in interface PluginRegistrypublic boolean hasLinter(String linterId)
public Linter newLinter(String linterId, LintCollector lintCollector)
newLinter in interface LinterInitializerCopyright © 2000-2025 Sualeh Fatehi. Allrights reserved.