ua.gradsoft.javachecker.checkers
Class ClassReachabilityChecker

java.lang.Object
  ua.gradsoft.javachecker.checkers.ClassReachabilityChecker

All Implemented Interfaces:

JavaTypeModelProcessor

public class ClassReachabilityChecker
extends java.lang.Object
implements JavaTypeModelProcessor

TODO: implement.

Author:

rssh

Constructor Summary

ClassReachabilityChecker()

Method Summary

void	configure(JavaFacts facts)
boolean	hasSecondPass()
void	process(JavaTermTypeAbstractModel typeModel, JavaFacts facts)
void	processSecondPass(JavaTermTypeAbstractModel typeModel, JavaFacts facts)

Methods inherited from class java.lang.Object

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

Constructor Detail

ClassReachabilityChecker

public ClassReachabilityChecker()

Method Detail

configure

public void configure(JavaFacts facts)
               throws ConfigException,
                      TermWareException

Specified by:

configure in interface JavaTypeModelProcessor

Throws:

ConfigException

TermWareException

process

public void process(JavaTermTypeAbstractModel typeModel,
                    JavaFacts facts)
             throws TermWareException,
                    EntityNotFoundException

Specified by:

process in interface JavaTypeModelProcessor

Throws:

TermWareException

EntityNotFoundException

hasSecondPass

public boolean hasSecondPass()

Specified by:

hasSecondPass in interface JavaTypeModelProcessor

processSecondPass

public void processSecondPass(JavaTermTypeAbstractModel typeModel,
                              JavaFacts facts)
                       throws TermWareException,
                              EntityNotFoundException

Specified by:

processSecondPass in interface JavaTypeModelProcessor

Throws:

TermWareException

EntityNotFoundException