ua.gradsoft.javachecker
Class JavaFacts

java.lang.Object
  ua.gradsoft.termware.DefaultFacts
      ua.gradsoft.javachecker.JavaFacts

All Implemented Interfaces:

IFacts

public class JavaFacts
extends DefaultFacts

Facts for java sources analysis.

Author:

Ruslan Shevchenko

Nested Class Summary

Nested classes/interfaces inherited from class ua.gradsoft.termware.DefaultFacts

DefaultFacts.MethodTransformer

Constructor Summary

JavaFacts(IEnv env, java.util.prefs.Preferences prefs)
Creates a new instance of JavaFacts

Method Summary

void	clearDefectReportItems() clear list of defect report items.
ConfigurationAttributesStorage	getAttributesStorage()
boolean	getBooleanConfigValue(java.lang.String name, boolean bdefault)
java.lang.String	getClassNamePattern()
java.util.List<DefectReportItem>	getDefectReportItems()
java.lang.String	getEnumConstantNamePattern()
java.lang.String	getFinalFieldNamePattern()
int	getIntConfigValue(java.lang.String name, int idefault)
java.lang.String	getLocalVariableNamePattern()
java.lang.String	getMethodNamePattern()
java.lang.String	getNonFinalFieldNamePattern()
PackagesStore	getPackagesStore()
java.lang.String	getStringConfigValue(java.lang.String name, java.lang.String sdefault)
java.lang.String	getTypeArgumentNamePattern()
Violations	getViolations()
void	invalidCheckerCommentDiscovered(Term t, java.lang.String message)
boolean	isCheckEnabled(java.lang.String name)
boolean	notComplex(Term t)
void	setCheckEnabled(java.lang.String name, boolean value)
void	setConfigValue(java.lang.String key, java.lang.String value)
boolean	violationDiscovered(java.lang.String name, java.lang.String message, Term partOfCode)

Methods inherited from class ua.gradsoft.termware.DefaultFacts

check, clearLoggedEntities, getDomainName, getEnv, isLoggingMode, print, println, println, set, setCurrentStopFlag, setEnv, setLoggedEntities, setLoggedEntity, setLoggingMode, unsetLoggedEntity

Methods inherited from class java.lang.Object

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

Constructor Detail

JavaFacts

public JavaFacts(IEnv env,
                 java.util.prefs.Preferences prefs)
          throws TermWareException

Creates a new instance of JavaFacts

Throws:

TermWareException

Method Detail

getPackagesStore

public PackagesStore getPackagesStore()

getAttributesStorage

public ConfigurationAttributesStorage getAttributesStorage()

getViolations

public Violations getViolations()

violationDiscovered

public boolean violationDiscovered(java.lang.String name,
                                   java.lang.String message,
                                   Term partOfCode)
                            throws TermWareException

Throws:

TermWareException

notComplex

public boolean notComplex(Term t)

setConfigValue

public void setConfigValue(java.lang.String key,
                           java.lang.String value)

isCheckEnabled

public boolean isCheckEnabled(java.lang.String name)

setCheckEnabled

public void setCheckEnabled(java.lang.String name,
                            boolean value)

getStringConfigValue

public java.lang.String getStringConfigValue(java.lang.String name,
                                             java.lang.String sdefault)

getIntConfigValue

public int getIntConfigValue(java.lang.String name,
                             int idefault)

getBooleanConfigValue

public boolean getBooleanConfigValue(java.lang.String name,
                                     boolean bdefault)

getFinalFieldNamePattern

public java.lang.String getFinalFieldNamePattern()

getNonFinalFieldNamePattern

public java.lang.String getNonFinalFieldNamePattern()

getClassNamePattern

public java.lang.String getClassNamePattern()

getLocalVariableNamePattern

public java.lang.String getLocalVariableNamePattern()

getMethodNamePattern

public java.lang.String getMethodNamePattern()

getEnumConstantNamePattern

public java.lang.String getEnumConstantNamePattern()

getTypeArgumentNamePattern

public java.lang.String getTypeArgumentNamePattern()

invalidCheckerCommentDiscovered

public void invalidCheckerCommentDiscovered(Term t,
                                            java.lang.String message)
                                     throws TermWareException

Throws:

TermWareException

getDefectReportItems

public java.util.List<DefectReportItem> getDefectReportItems()

Returns:

unmodifiable list of collected report items.

clearDefectReportItems

public void clearDefectReportItems()

clear list of defect report items.