ua.gradsoft.javachecker.checkers
Class AbstractTypeChecker

java.lang.Object
  extended by ua.gradsoft.javachecker.checkers.AbstractChecker
      extended by ua.gradsoft.javachecker.checkers.AbstractTypeChecker
Direct Known Subclasses:
BTTypeChecker, ClassChecker, FTTypeChecker, ModelChecker

public abstract class AbstractTypeChecker
extends AbstractChecker

Checker for type definition

Author:
rssh

Constructor Summary
AbstractTypeChecker(java.lang.String name, java.lang.String category, java.lang.String description, boolean enabled)
           
 
Method Summary
abstract  boolean hasSecondPass()
           
abstract  void run(JavaTermTypeAbstractModel tm, Holder<Term> astTerm, Holder<Term> modelTerm)
           
abstract  void runSecondPass(JavaTermTypeAbstractModel tm, Holder<Term> astTerm, Holder<Term> modelTerm)
           
 
Methods inherited from class ua.gradsoft.javachecker.checkers.AbstractChecker
addRuleset, configure, getCategory, getCheckerType, getDescription, getName, isEnabled
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

AbstractTypeChecker

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

hasSecondPass

public abstract boolean hasSecondPass()

run

public abstract void run(JavaTermTypeAbstractModel tm,
                         Holder<Term> astTerm,
                         Holder<Term> modelTerm)
                  throws TermWareException
Throws:
TermWareException

runSecondPass

public abstract void runSecondPass(JavaTermTypeAbstractModel tm,
                                   Holder<Term> astTerm,
                                   Holder<Term> modelTerm)
                            throws TermWareException
Throws:
TermWareException