ua.gradsoft.javachecker.checkers
Class NamePatternsChecker

java.lang.Object
  ua.gradsoft.javachecker.checkers.JavaTypeModelOnePassProcessor
      ua.gradsoft.javachecker.checkers.NamePatternsChecker

All Implemented Interfaces:

JavaTypeModelProcessor

public class NamePatternsChecker
extends JavaTypeModelOnePassProcessor

Check name patterns.

Author:

RSSH

Constructor Summary

NamePatternsChecker()

Method Summary

void	checkClassNamePatterns(JavaTermTypeAbstractModel tm, JavaFacts facts)
void	checkEnumConstantNamePatterns(JavaTermEnumModel tm, JavaFacts facts)
void	checkMemberVariableNamePatterns(JavaTermMemberVariableModel v, JavaFacts facts)
void	checkMethodNamePatterns(JavaTermMethodModel m, JavaFacts facts) check method name patterns.
void	checkTypeVariableNamePattern(java.lang.String name, JavaFacts facts, Term t)
void	configure(JavaFacts facts)
void	process(JavaTermTypeAbstractModel typeModel, JavaFacts facts)
static void	visitLocalVariableDeclarators(Term t, ITermVisitor visitor, TermHolder result, java.util.HashSet<Term> trace)

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

hasSecondPass, processSecondPass

Methods inherited from class java.lang.Object

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

Constructor Detail

NamePatternsChecker

public NamePatternsChecker()

Method Detail

process

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

Throws:

TermWareException

configure

public void configure(JavaFacts facts)
               throws ConfigException,
                      TermWareException

Throws:

ConfigException

TermWareException

checkClassNamePatterns

public void checkClassNamePatterns(JavaTermTypeAbstractModel tm,
                                   JavaFacts facts)
                            throws TermWareException

Throws:

TermWareException

checkTypeVariableNamePattern

public void checkTypeVariableNamePattern(java.lang.String name,
                                         JavaFacts facts,
                                         Term t)
                                  throws TermWareException

Throws:

TermWareException

checkEnumConstantNamePatterns

public void checkEnumConstantNamePatterns(JavaTermEnumModel tm,
                                          JavaFacts facts)
                                   throws TermWareException

Throws:

TermWareException

checkMemberVariableNamePatterns

public void checkMemberVariableNamePatterns(JavaTermMemberVariableModel v,
                                            JavaFacts facts)
                                     throws TermWareException

Throws:

TermWareException

checkMethodNamePatterns

public void checkMethodNamePatterns(JavaTermMethodModel m,
                                    JavaFacts facts)
                             throws TermWareException

check method name patterns.

Throws:

TermWareException

visitLocalVariableDeclarators

public static void visitLocalVariableDeclarators(Term t,
                                                 ITermVisitor visitor,
                                                 TermHolder result,
                                                 java.util.HashSet<Term> trace)
                                          throws TermWareException

Throws:

TermWareException