ua.gradsoft.javachecker.checkers
Class FTTypeChecker

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

public class FTTypeChecker
extends AbstractTypeChecker

Ruleset with First-Top strategy

Author:

rssh

Constructor Summary

FTTypeChecker(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

FTTypeChecker

public FTTypeChecker(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