ua.gradsoft.javachecker.checkers
Class AbstractChecker

java.lang.Object
  extended by ua.gradsoft.javachecker.checkers.AbstractChecker
Direct Known Subclasses:
AbstractCompilationUnitChecker, AbstractTypeChecker

public abstract class AbstractChecker
extends java.lang.Object

Abstract class for checkers.

Author:
Ruslan Shevchenko

Constructor Summary
AbstractChecker(java.lang.String name, java.lang.String category, java.lang.String description, boolean enabled)
           
 
Method Summary
protected static void addRuleset(TermSystem system, Term rules)
           
abstract  void configure(JavaFacts facts)
           
 java.lang.String getCategory()
           
abstract  CheckerType getCheckerType()
           
 java.lang.String getDescription()
           
 java.lang.String getName()
           
 boolean isEnabled()
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

AbstractChecker

public AbstractChecker(java.lang.String name,
                       java.lang.String category,
                       java.lang.String description,
                       boolean enabled)
Method Detail

getName

public java.lang.String getName()

getCategory

public java.lang.String getCategory()

getDescription

public java.lang.String getDescription()

isEnabled

public boolean isEnabled()

getCheckerType

public abstract CheckerType getCheckerType()

configure

public abstract void configure(JavaFacts facts)
                        throws ConfigException
Throws:
ConfigException

addRuleset

protected static void addRuleset(TermSystem system,
                                 Term rules)
                          throws TermWareException,
                                 ConfigException
Throws:
TermWareException
ConfigException