ua.gradsoft.javachecker.checkers
Class BTTypeChecker

java.lang.Object
  ua.gradsoft.javachecker.checkers.AbstractChecker
      ua.gradsoft.javachecker.checkers.AbstractTypeChecker
          ua.gradsoft.javachecker.checkers.BTTypeChecker

public class BTTypeChecker
extends AbstractTypeChecker

Checker: check by ruleset with bottom-first strategy

Author:

RSSH

Constructor Summary

BTTypeChecker(java.lang.String name, java.lang.String category, java.lang.String description, Term rules, boolean enabled)
Creates a new instance of BTTypeChecker

Method Summary

void	configure(JavaFacts facts)
CheckerType	getCheckerType()
boolean	hasSecondPass()
void	run(JavaTermTypeAbstractModel tm, Holder<Term> astTermHolder, Holder<Term> modelTermHolder)
void	runSecondPass(JavaTermTypeAbstractModel tm, Holder<Term> astTermHolder, Holder<Term> modelTermHolder)

Methods inherited from class ua.gradsoft.javachecker.checkers.AbstractChecker

addRuleset, getCategory, getDescription, getName, isEnabled

Methods inherited from class java.lang.Object

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

Constructor Detail

BTTypeChecker

public BTTypeChecker(java.lang.String name,
                     java.lang.String category,
                     java.lang.String description,
                     Term rules,
                     boolean enabled)
              throws TermWareException,
                     ConfigException

Creates a new instance of BTTypeChecker

Throws:

TermWareException

ConfigException

Method Detail

getCheckerType

public CheckerType getCheckerType()

Specified by:

getCheckerType in class AbstractChecker

configure

public void configure(JavaFacts facts)

Specified by:

configure in class AbstractChecker

hasSecondPass

public boolean hasSecondPass()

Specified by:

hasSecondPass in class AbstractTypeChecker

run

public void run(JavaTermTypeAbstractModel tm,
                Holder<Term> astTermHolder,
                Holder<Term> modelTermHolder)
         throws TermWareException

Specified by:

run in class AbstractTypeChecker

Throws:

TermWareException

runSecondPass

public void runSecondPass(JavaTermTypeAbstractModel tm,
                          Holder<Term> astTermHolder,
                          Holder<Term> modelTermHolder)
                   throws TermWareException

Specified by:

runSecondPass in class AbstractTypeChecker

Throws:

TermWareException