Overview  Package   Class  Tree  Deprecated  Index  Help 
 PREV CLASS   NEXT CLASS FRAMES    NO FRAMES    
SUMMARY: NESTED | FIELD | CONSTR | METHOD DETAIL: FIELD | CONSTR | METHOD

ua.gradsoft.javachecker.checkers
Class Checkers

java.lang.Object
  extended by ua.gradsoft.javachecker.checkers.Checkers

public class Checkers
extends java.lang.Object

This class incapsulate set of Checkers.

Author:
RSSH

Constructor Summary
Checkers(Main main)
          Creates a new instance of Checkers
 
Method Summary
 void checkCompilationUnitAST(java.lang.String fname, Term compilationUnitAST)
           
 void checkTypes(java.lang.String fname, JavaCompilationUnitModel cu)
           
 void checkTypes(java.lang.String fname, JavaCompilationUnitModel cu, int pass)
           
 void checkTypes2(java.lang.String fname, JavaCompilationUnitModel cu)
           
 void configure()
           
 void loadCheckersFromFile(java.lang.String checkersFname)
           
 void loadCheckersFromFiles()
           
 void printDocumentation(java.io.PrintWriter writer)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

Checkers

public Checkers(Main main)
Creates a new instance of Checkers

Method Detail

configure

public void configure()
               throws ConfigException
Throws:
ConfigException

loadCheckersFromFiles

public void loadCheckersFromFiles()
                           throws ConfigException
Throws:
ConfigException

loadCheckersFromFile

public void loadCheckersFromFile(java.lang.String checkersFname)
                          throws ConfigException
Throws:
ConfigException

checkCompilationUnitAST

public void checkCompilationUnitAST(java.lang.String fname,
                                    Term compilationUnitAST)
                             throws ProcessingException
Throws:
ProcessingException

checkTypes

public void checkTypes(java.lang.String fname,
                       JavaCompilationUnitModel cu)
                throws ProcessingException
Throws:
ProcessingException

checkTypes2

public void checkTypes2(java.lang.String fname,
                        JavaCompilationUnitModel cu)
                 throws ProcessingException
Throws:
ProcessingException

checkTypes

public void checkTypes(java.lang.String fname,
                       JavaCompilationUnitModel cu,
                       int pass)
                throws ProcessingException
Throws:
ProcessingException

printDocumentation

public void printDocumentation(java.io.PrintWriter writer)
Overview  Package   Class  Tree  Deprecated  Index  Help 
 PREV CLASS   NEXT CLASS FRAMES    NO FRAMES    
SUMMARY: NESTED | FIELD | CONSTR | METHOD DETAIL: FIELD | CONSTR | METHOD