Package ua.gradsoft.javachecker

Interface Summary

ITermVisitor
JavaCheckerExceptionHandler	Exception handlers for exceptions, which are thrown from checkers.
SourceCodeLocation

Class Summary

CheckerComment	This class is a checker comment: i.
DefaultExceptionHandler	Default exception handler.
DefectReportItem	Defect report item.
FileAndLine	Holder for file and line markers.
JavaCheckerFacade	Facade java class, to invoke JavaChecker from other programs.
JavaFacts	Facts for java sources analysis.
JUtils	Utils
Main
PackagesStore	Store for packages
ProxyJavaFacts	Proxy facts wich provide facts access to JavaFacts singleton.
TypeOfViolation	Type of violation
Violations	Set of violations, found in source

Enum Summary

CheckerType	Type of checker
PartialConditionResult	Partial result of condition
ReportFormat	Set of possible formats for report

Exception Summary

ConfigException	This exception is thrown, when we can't parse config file.
EntityNotFoundException	Throwed when we can't find some entity in model-s findXXX method.
InvalidCheckerCommentException	Throwed during unsuccesfull parsing or analyzing of checker comment
NotSupportedException	This exception is throwed, when we call methods of some model, which is not supported by implementation.
ProcessingException	Some exception, which occured during processing, in such way, that we must report this to top-level.