ua.gradsoft.javachecker.checkers
Class ModelChecker

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

public class ModelChecker
extends AbstractTypeChecker

Checker which works over ModelTerm

Author:

RSSH

Constructor Summary

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

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

ModelChecker

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

Creates a new instance of ModelChecker

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

run

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

Specified by:

run in class AbstractTypeChecker

Throws:

TermWareException

hasSecondPass

public boolean hasSecondPass()

Specified by:

hasSecondPass in class AbstractTypeChecker

runSecondPass

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

Specified by:

runSecondPass in class AbstractTypeChecker

Throws:

TermWareException