A B C D E F G H I J K L M N O P R S T U V

A

ABSTRACT - Static variable in class ua.gradsoft.javachecker.models.JavaModifiersModel
 
AbstractChecker - Class in ua.gradsoft.javachecker.checkers
Abstract class for checkers.
AbstractChecker(String, String, String, boolean) - Constructor for class ua.gradsoft.javachecker.checkers.AbstractChecker
 
AbstractCompilationUnitChecker - Class in ua.gradsoft.javachecker.checkers
Checker accross compilation unit
AbstractCompilationUnitChecker(String, String, String, boolean) - Constructor for class ua.gradsoft.javachecker.checkers.AbstractCompilationUnitChecker
 
AbstractTypeChecker - Class in ua.gradsoft.javachecker.checkers
Checker for type definition
AbstractTypeChecker(String, String, String, boolean) - Constructor for class ua.gradsoft.javachecker.checkers.AbstractTypeChecker
 
add(Y) - Method in class ua.gradsoft.javachecker.util.ImmutableMappedCollection
 
add(int, Y) - Method in class ua.gradsoft.javachecker.util.ImmutableMappedList
 
add(Y) - Method in class ua.gradsoft.javachecker.util.ImmutableMappedList.MappedListIterator
 
add(Map.Entry<K, VY>) - Method in class ua.gradsoft.javachecker.util.ImmutableMappedMap.MappedEntrySet
 
add(Integer) - Method in class ua.gradsoft.javachecker.util.IntegerOrderList
 
add(int, Integer) - Method in class ua.gradsoft.javachecker.util.IntegerOrderList
 
addAll(Collection<? extends Y>) - Method in class ua.gradsoft.javachecker.util.ImmutableMappedCollection
 
addAll(int, Collection<? extends Y>) - Method in class ua.gradsoft.javachecker.util.ImmutableMappedList
 
addAll(Collection<? extends Map.Entry<K, VY>>) - Method in class ua.gradsoft.javachecker.util.ImmutableMappedMap.MappedEntrySet
 
addAll(Collection<? extends Integer>) - Method in class ua.gradsoft.javachecker.util.IntegerOrderList
 
addAll(int, Collection<? extends Integer>) - Method in class ua.gradsoft.javachecker.util.IntegerOrderList
 
addAnnotationMethodDeclaration(Term, Term, Term, Term) - Method in class ua.gradsoft.javachecker.models.JavaTermAnnotationTypeModel
 
addAnnotationTypeDeclaration(Term, Term) - Method in class ua.gradsoft.javachecker.models.JavaTermAnnotationTypeModel
 
addClassOrInterfaceDeclaration(Term, Term) - Method in class ua.gradsoft.javachecker.models.JavaTermTypeAbstractModel
add included class.
addClassUnit(JavaClassUnitModel, AnalyzedUnitRef) - Method in class ua.gradsoft.javachecker.models.JavaPackageModel
 
addCompilationUnit(Term, JavaCompilationUnitModel, AnalyzedUnitRef) - Method in class ua.gradsoft.javachecker.models.JavaPackageModel
Add compilation unit to package, if one not already currently in soft hash.
addConfiguredClasspath(Path) - Method in class ua.gradsoft.javachecker.ant.JavaCheckerTask
 
addConfiguredConfig(JavaCheckerTask.ConfigNVPair) - Method in class ua.gradsoft.javachecker.ant.JavaCheckerTask
 
addConfiguredDisable(JavaCheckerTask.CheckName) - Method in class ua.gradsoft.javachecker.ant.JavaCheckerTask
 
addConfiguredEnable(JavaCheckerTask.CheckName) - Method in class ua.gradsoft.javachecker.ant.JavaCheckerTask
 
addConfiguredInclude(DirSet) - Method in class ua.gradsoft.javachecker.ant.JavaCheckerTask
 
addConfiguredInput(DirSet) - Method in class ua.gradsoft.javachecker.ant.JavaCheckerTask
 
addConstructorDeclaration(Term, Term) - Method in class ua.gradsoft.javachecker.models.JavaTermTypeAbstractModel
add constructor
addEnumDeclaration(Term, Term) - Method in class ua.gradsoft.javachecker.models.JavaTermTypeAbstractModel
add enum in scope
addFieldDeclaration(Term, Term) - Method in class ua.gradsoft.javachecker.models.JavaTermTypeAbstractModel
 
addImportDeclaration(Term) - Method in class ua.gradsoft.javachecker.models.JavaCompilationUnitModel
 
addIncludeJar(String) - Static method in class ua.gradsoft.javachecker.JavaCheckerFacade
add include jar
addInitializer(Term) - Method in class ua.gradsoft.javachecker.models.JavaTermTypeAbstractModel
add initializer
addInputDirectory(String, boolean) - Static method in class ua.gradsoft.javachecker.JavaCheckerFacade
add input directory
addInputDirectory(String, boolean) - Static method in class ua.gradsoft.javachecker.Main
add directory.
addJar(String) - Method in class ua.gradsoft.javachecker.PackagesStore
 
addJar(String) - Method in class ua.gradsoft.javachecker.util.JarClassLoader
 
addMethodDeclaration(Term, Term) - Method in class ua.gradsoft.javachecker.models.JavaTermTypeAbstractModel
 
addPropertiesDirectory(String) - Static method in class ua.gradsoft.javachecker.JavaCheckerFacade
add properties directory
addPropertiesDirectory(String) - Static method in class ua.gradsoft.javachecker.Main
 
addRuleset(TermSystem, Term) - Static method in class ua.gradsoft.javachecker.checkers.AbstractChecker
 
addSuperClass(Term) - Method in class ua.gradsoft.javachecker.models.JavaTermTypeAbstractModel
add super class, denoted by classOrInterfaceTerm .
addSuperInterface(Term) - Method in class ua.gradsoft.javachecker.models.JavaTermTypeAbstractModel
add super interface, denoted by t .
addType(String, String, String, boolean) - Method in class ua.gradsoft.javachecker.Violations
 
addTypeModel(JavaTypeModel) - Method in class ua.gradsoft.javachecker.models.JavaCompilationUnitModel
 
addTypeParameter(Term) - Method in class ua.gradsoft.javachecker.models.JavaTermTypeAbstractModel
 
alignMethodCallToObject(JavaMethodModel, JavaTraceObjectModel) - Method in class ua.gradsoft.javachecker.trace.JavaTraceContext
 
ALLOCATION_EXPRESSION_ARRAY_DIMS_AND_INITS_INDEX - Static variable in class ua.gradsoft.javachecker.models.JavaExpressionHelper
 
ALLOCATION_EXPRESSION_TYPE_INDEX - Static variable in class ua.gradsoft.javachecker.models.JavaExpressionHelper
 
AnalyzedUnitRef - Class in ua.gradsoft.javachecker.models
 
AnalyzedUnitRef(AnalyzedUnitType, String, String, JavaUnitModel) - Constructor for class ua.gradsoft.javachecker.models.AnalyzedUnitRef
Creates a new instance of AnalyzedUnitRef
AnalyzedUnitType - Enum in ua.gradsoft.javachecker.models
Type of Analyzed Units.
ANNOTATION_TYPE_MODEL_CONTEXT_INDEX - Static variable in class ua.gradsoft.javachecker.models.JavaModelConstants
 
ANNOTATION_TYPE_MODEL_MEMBERS_INDEX - Static variable in class ua.gradsoft.javachecker.models.JavaModelConstants
 
ANNOTATION_TYPE_MODEL_MODIFIERS_INDEX - Static variable in class ua.gradsoft.javachecker.models.JavaModelConstants
AnnotationTypeDeclarationModel(modifiers, name,[...],context)
ANNOTATION_TYPE_MODEL_NAME_INDEX - Static variable in class ua.gradsoft.javachecker.models.JavaModelConstants
 
appendInnerClassIdentifierToJavaName(Term, Term) - Static method in class ua.gradsoft.javachecker.JUtils
append inner class to name.
appendTermToList(Term, Term) - Static method in class ua.gradsoft.javachecker.models.TermUtils
 
ARGUMENTS_TERM_INDEX - Static variable in class ua.gradsoft.javachecker.models.JavaTermEnumConstantModel
 
assign(MethodMatchingConversions) - Method in class ua.gradsoft.javachecker.models.MethodMatchingConversions
 
AttributedEntity - Interface in ua.gradsoft.javachecker.attributes
General interface for attributes
AttributesData - Class in ua.gradsoft.javachecker.attributes
Data object, which holds information about attributes.
AttributesData() - Constructor for class ua.gradsoft.javachecker.attributes.AttributesData
 

B

best(List<Pair<JavaMethodModel, MethodMatchingConversions>>) - Static method in class ua.gradsoft.javachecker.models.MethodMatchingConversions
 
BLOCK_INDEX - Static variable in class ua.gradsoft.javachecker.models.JavaTermMethodModel
 
BLOCK_TERM_INDEX - Static variable in class ua.gradsoft.javachecker.models.JavaTermConstructorModel
 
BODY_TERM_INDEX - Static variable in class ua.gradsoft.javachecker.models.JavaTermAnnotationTypeModel
 
BOOLEAN - Static variable in class ua.gradsoft.javachecker.models.JavaPrimitiveTypeModel
 
boxingConversion(JavaTypeModel, MethodMatchingConversions) - Static method in class ua.gradsoft.javachecker.models.JavaTypeModelHelper
primitive type -> appropriative Object
BTCompilationUnitChecker - Class in ua.gradsoft.javachecker.checkers
Checker with apply ruleset, according to BottomTop strategy.
BTCompilationUnitChecker(String, String, String, Term, boolean) - Constructor for class ua.gradsoft.javachecker.checkers.BTCompilationUnitChecker
Creates a new instance of BTTypeChecker
BTTypeChecker - Class in ua.gradsoft.javachecker.checkers
Checker: check by ruleset with bottom-first strategy
BTTypeChecker(String, String, String, Term, boolean) - Constructor for class ua.gradsoft.javachecker.checkers.BTTypeChecker
Creates a new instance of BTTypeChecker
buildFormalParametersList(Term, JavaTopLevelBlockOwnerModel) - Static method in class ua.gradsoft.javachecker.models.JavaTopLevelBlockOwnerModelHelper
 
buildFormalParametersMap(Term, JavaTopLevelBlockOwnerModel) - Static method in class ua.gradsoft.javachecker.models.JavaTopLevelBlockOwnerModelHelper
 
buildFormalParametersModelTerm(List<JavaFormalParameterModel>, Term) - Static method in class ua.gradsoft.javachecker.models.TermUtils
FormalParameters([FormalParameterModel(..)..])
buildThrowsList(Term, JavaTopLevelBlockOwnerModel) - Static method in class ua.gradsoft.javachecker.models.JavaTopLevelBlockOwnerModelHelper
 
buildThrowsNameListModelTerm(List<JavaTypeModel>, Term) - Static method in class ua.gradsoft.javachecker.models.TermUtils
 
buildTypeParameters(Term, JavaTypeModel) - Static method in class ua.gradsoft.javachecker.models.JavaTopLevelBlockOwnerModelHelper
build list of type parameters from term.
buildTypeParametersModelTerm(List<JavaTypeVariableAbstractModel>, Term) - Static method in class ua.gradsoft.javachecker.models.TermUtils
TypeParameters(cons(TypeVariableModel,cons(TypeRef2,...,NIL)...)) [may be todo: insert origin name in typeref]
BYTE - Static variable in class ua.gradsoft.javachecker.models.JavaPrimitiveTypeModel
 

C

CachedMap<K,V> - Class in ua.gradsoft.javachecker.util
Map, which keep local cache.
CachedMap(Map<K, V>, Map<K, V>) - Constructor for class ua.gradsoft.javachecker.util.CachedMap
Creates a new instance of CachedMap
canCheck() - Method in class ua.gradsoft.javachecker.models.JavaTermEnumModel.ValueOfMethodModel
 
canCheck() - Method in class ua.gradsoft.javachecker.models.JavaTermEnumModel.ValuesMethodModel
 
CHAR - Static variable in class ua.gradsoft.javachecker.models.JavaPrimitiveTypeModel
 
check() - Method in class ua.gradsoft.javachecker.models.JavaTermEnumModel.ValueOfMethodModel
 
check() - Method in class ua.gradsoft.javachecker.models.JavaTermEnumModel.ValuesMethodModel
 
checkClassNamePatterns(JavaTermTypeAbstractModel, JavaFacts) - Method in class ua.gradsoft.javachecker.checkers.NamePatternsChecker
 
checkCompilationUnitAST(String, Term) - Method in class ua.gradsoft.javachecker.checkers.Checkers
 
checkEnumConstantNamePatterns(JavaTermEnumModel, JavaFacts) - Method in class ua.gradsoft.javachecker.checkers.NamePatternsChecker
 
CheckerComment - Class in ua.gradsoft.javachecker
This class is a checker comment: i.
checkerComment_ - Variable in class ua.gradsoft.javachecker.models.JavaTermTypeAbstractModel
 
CheckerDisable - Annotation Type in ua.gradsoft.javachecker.annotations
Disable some checks for annotated type.
CheckerProperties - Annotation Type in ua.gradsoft.javachecker.annotations
General annotations for setting of checker property.
Checkers - Class in ua.gradsoft.javachecker.checkers
This class incapsulate set of Checkers.
Checkers(Main) - Constructor for class ua.gradsoft.javachecker.checkers.Checkers
Creates a new instance of Checkers
CheckerType - Enum in ua.gradsoft.javachecker
Type of checker
checkMemberVariableNamePatterns(JavaTermMemberVariableModel, JavaFacts) - Method in class ua.gradsoft.javachecker.checkers.NamePatternsChecker
 
checkMethodNamePatterns(JavaTermMethodModel, JavaFacts) - Method in class ua.gradsoft.javachecker.checkers.NamePatternsChecker
check method name patterns.
checkName(String) - Method in enum ua.gradsoft.javachecker.models.expressions.JavaAssigmentOperatorKind
 
checkString(String) - Method in enum ua.gradsoft.javachecker.models.expressions.JavaAdditiveOperatorKind
 
checkString(String) - Method in enum ua.gradsoft.javachecker.models.expressions.JavaRelationOperatorKind
 
checkString(String) - Method in enum ua.gradsoft.javachecker.models.expressions.JavaShiftOperatorKind
 
checkTypes(String, JavaCompilationUnitModel) - Method in class ua.gradsoft.javachecker.checkers.Checkers
 
checkTypes(String, JavaCompilationUnitModel, int) - Method in class ua.gradsoft.javachecker.checkers.Checkers
 
checkTypes2(String, JavaCompilationUnitModel) - Method in class ua.gradsoft.javachecker.checkers.Checkers
 
checkTypeVariableNamePattern(String, JavaFacts, Term) - Method in class ua.gradsoft.javachecker.checkers.NamePatternsChecker
 
CLASS_OR_INTEFACE_BODY_TERM_INDEX - Static variable in class ua.gradsoft.javachecker.models.JavaTermAnonimousTypeModel
 
CLASS_OR_INTERFACE_BODY_INDEX - Static variable in class ua.gradsoft.javachecker.models.JavaTermClassOrInterfaceModel
 
CLASS_OR_INTERFACE_TERM_INDEX - Static variable in class ua.gradsoft.javachecker.models.JavaTermAnonimousTypeModel
 
CLASS_OR_INTERFACE_TERM_INDEX - Static variable in class ua.gradsoft.javachecker.models.JavaTermClassOrInterfaceModel
 
ClassChecker - Class in ua.gradsoft.javachecker.checkers
 
ClassChecker(String, String, String, Term, boolean) - Constructor for class ua.gradsoft.javachecker.checkers.ClassChecker
Creates a new instance of ClassChecker
CLASSORINTERFACE_BODY_TERM_INDEX - Static variable in class ua.gradsoft.javachecker.models.JavaTermEnumConstantModel
 
CLASSORINTERFACE_MODEL_BODY_INDEX - Static variable in class ua.gradsoft.javachecker.models.JavaModelConstants
 
CLASSORINTERFACE_MODEL_EXTENDS_INDEX - Static variable in class ua.gradsoft.javachecker.models.JavaModelConstants
 
CLASSORINTERFACE_MODEL_IMPLEMENTS_INDEX - Static variable in class ua.gradsoft.javachecker.models.JavaModelConstants
 
CLASSORINTERFACE_MODEL_KIND_INDEX - Static variable in class ua.gradsoft.javachecker.models.JavaModelConstants
 
CLASSORINTERFACE_MODEL_MODIFIERS_INDEX - Static variable in class ua.gradsoft.javachecker.models.JavaModelConstants
ClassOrInterfaceModel(modifiers,"class"|"interface",Identifier,typeParameters,extendsList,ImplementsList,ClassOrInterfaceBody(membersList),ctx)
CLASSORINTERFACE_MODEL_NAME_INDEX - Static variable in class ua.gradsoft.javachecker.models.JavaModelConstants
 
CLASSORINTERFACE_MODEL_TYPE_ARGUMENTS_INDEX - Static variable in class ua.gradsoft.javachecker.models.JavaModelConstants
 
ClassReachabilityChecker - Class in ua.gradsoft.javachecker.checkers
TODO: implement.
ClassReachabilityChecker() - Constructor for class ua.gradsoft.javachecker.checkers.ClassReachabilityChecker
 
clear() - Method in class ua.gradsoft.javachecker.PackagesStore
Clear PackageStore along with information abour source/include directories and include jars.
clear() - Method in class ua.gradsoft.javachecker.util.CachedMap
 
clear() - Method in class ua.gradsoft.javachecker.util.FunctionMap
 
clear() - Method in class ua.gradsoft.javachecker.util.ImmutableListAsMap
 
clear() - Method in class ua.gradsoft.javachecker.util.ImmutableMappedCollection
 
clear() - Method in class ua.gradsoft.javachecker.util.ImmutableMappedMap
 
clear() - Method in class ua.gradsoft.javachecker.util.ImmutableMappedMap.MappedEntrySet
 
clear() - Method in class ua.gradsoft.javachecker.util.IntegerOrderList
 
clearDefectReportItems() - Method in class ua.gradsoft.javachecker.JavaFacts
clear list of defect report items.
cloneTraceCondition() - Method in class ua.gradsoft.javachecker.trace.FalseTraceCondition
 
cloneTraceCondition() - Method in interface ua.gradsoft.javachecker.trace.TraceCondition
 
cloneTraceCondition() - Method in class ua.gradsoft.javachecker.trace.TrueTraceCondition
 
compare(JavaVariableModel, JavaVariableModel) - Method in class ua.gradsoft.javachecker.models.JavaVariableModelComparator
 
ConfigException - Exception in ua.gradsoft.javachecker
This exception is thrown, when we can't parse config file.
ConfigException(String) - Constructor for exception ua.gradsoft.javachecker.ConfigException
Constructs an instance of ConfigParseException with the specified detail message.
ConfigException(String, Exception) - Constructor for exception ua.gradsoft.javachecker.ConfigException
Constructs an instance of ConfigParseException with the specified message and underlaying exception.
ConfigurationAttributesStorage - Class in ua.gradsoft.javachecker.attributes
Storage for configuration of use-supplied type attributes, which are readed from configuration file.
ConfigurationAttributesStorage(JavaFacts) - Constructor for class ua.gradsoft.javachecker.attributes.ConfigurationAttributesStorage
 
configure(JavaFacts) - Method in class ua.gradsoft.javachecker.checkers.AbstractChecker
 
configure(JavaFacts) - Method in class ua.gradsoft.javachecker.checkers.BTCompilationUnitChecker
 
configure(JavaFacts) - Method in class ua.gradsoft.javachecker.checkers.BTTypeChecker
 
configure() - Method in class ua.gradsoft.javachecker.checkers.Checkers
 
configure(JavaFacts) - Method in class ua.gradsoft.javachecker.checkers.ClassChecker
 
configure(JavaFacts) - Method in class ua.gradsoft.javachecker.checkers.ClassReachabilityChecker
 
configure(JavaFacts) - Method in class ua.gradsoft.javachecker.checkers.EqualsHashCodeChecker
 
configure(JavaFacts) - Method in class ua.gradsoft.javachecker.checkers.FTTypeChecker
 
configure(JavaFacts) - Method in interface ua.gradsoft.javachecker.checkers.JavaTypeModelProcessor
 
configure(JavaFacts) - Method in class ua.gradsoft.javachecker.checkers.ModelChecker
 
configure(JavaFacts) - Method in class ua.gradsoft.javachecker.checkers.NamePatternsChecker
 
configure(JavaFacts) - Method in class ua.gradsoft.javachecker.checkers.UnusedMethodsAndFieldsChecker
 
CONSTRUCTOR_MODEL_BLOCK_INDEX - Static variable in class ua.gradsoft.javachecker.models.JavaModelConstants
 
CONSTRUCTOR_MODEL_CONTEXT_INDEX - Static variable in class ua.gradsoft.javachecker.models.JavaModelConstants
 
CONSTRUCTOR_MODEL_FORMAL_PARAMETERS_INDEX - Static variable in class ua.gradsoft.javachecker.models.JavaModelConstants
 
CONSTRUCTOR_MODEL_MODIFIERS_INDEX - Static variable in class ua.gradsoft.javachecker.models.JavaModelConstants
ConstructorModel(modifiers,TypeParameters,identifier,FormalParameters,trowsNameList,BlockModel,context)
CONSTRUCTOR_MODEL_NAME_INDEX - Static variable in class ua.gradsoft.javachecker.models.JavaModelConstants
 
CONSTRUCTOR_MODEL_THROWS_INDEX - Static variable in class ua.gradsoft.javachecker.models.JavaModelConstants
 
CONSTRUCTOR_MODEL_TYPE_PARAMETERS_INDEX - Static variable in class ua.gradsoft.javachecker.models.JavaModelConstants
 
ConstructorCheckerProperties - Annotation Type in ua.gradsoft.javachecker.annotations
Checker Properties, set to constructor.
constructors_ - Variable in class ua.gradsoft.javachecker.models.JavaTermTypeAbstractModel
 
contains(Object) - Method in class ua.gradsoft.javachecker.util.ImmutableMappedCollection
 
contains(Object) - Method in class ua.gradsoft.javachecker.util.ImmutableMappedMap.MappedEntrySet
 
contains(Object) - Method in class ua.gradsoft.javachecker.util.IntegerOrderList
 
containsAll(Collection<?>) - Method in class ua.gradsoft.javachecker.util.ImmutableMappedCollection
 
containsAll(Collection<?>) - Method in class ua.gradsoft.javachecker.util.ImmutableMappedMap.MappedEntrySet
 
containsAll(Collection<?>) - Method in class ua.gradsoft.javachecker.util.IntegerOrderList
 
containsAllSame(IntegerOrderList) - Method in class ua.gradsoft.javachecker.util.IntegerOrderList
 
containsConstant(String) - Method in class ua.gradsoft.javachecker.models.JavaTermEnumModel
 
containsKey(Object) - Method in class ua.gradsoft.javachecker.util.CachedMap
 
containsKey(Object) - Method in class ua.gradsoft.javachecker.util.FunctionMap
 
containsKey(Object) - Method in class ua.gradsoft.javachecker.util.ImmutableListAsMap
 
containsKey(Object) - Method in class ua.gradsoft.javachecker.util.ImmutableMappedMap
 
containsValue(Object) - Method in class ua.gradsoft.javachecker.util.CachedMap
 
containsValue(Object) - Method in class ua.gradsoft.javachecker.util.FunctionMap
 
containsValue(Object) - Method in class ua.gradsoft.javachecker.util.ImmutableListAsMap
 
containsValue(Object) - Method in class ua.gradsoft.javachecker.util.ImmutableMappedMap
 
create(String) - Static method in enum ua.gradsoft.javachecker.models.expressions.JavaAdditiveOperatorKind
 
create(Term) - Static method in enum ua.gradsoft.javachecker.models.expressions.JavaAssigmentOperatorKind
 
create(String) - Static method in enum ua.gradsoft.javachecker.models.expressions.JavaMultiplicativeOperatorKind
 
create(String) - Static method in enum ua.gradsoft.javachecker.models.expressions.JavaPostfixOperatorKind
 
create(String) - Static method in enum ua.gradsoft.javachecker.models.expressions.JavaRelationOperatorKind
 
create(String) - Static method in enum ua.gradsoft.javachecker.models.expressions.JavaShiftOperatorKind
 
create(String) - Static method in enum ua.gradsoft.javachecker.models.expressions.JavaUnaryOperatorKind
 
create(Term, JavaTermStatementModel, JavaTypeModel) - Static method in class ua.gradsoft.javachecker.models.JavaTermExpressionModel
 
create(Term, JavaTermStatementModel, JavaTypeModel, JavaAnnotationInstanceModel, String) - Static method in class ua.gradsoft.javachecker.models.JavaTermExpressionModel
 
createAtom(String) - Static method in class ua.gradsoft.javachecker.models.TermUtils
 
createBoolean(boolean) - Static method in class ua.gradsoft.javachecker.models.TermUtils
 
createChar(char) - Static method in class ua.gradsoft.javachecker.models.TermUtils
 
createDirectoryNameFromPackageName(String, String) - Static method in class ua.gradsoft.javachecker.JUtils
create directory name from package name.
createDouble(double) - Static method in class ua.gradsoft.javachecker.models.TermUtils
 
createFloat(float) - Static method in class ua.gradsoft.javachecker.models.TermUtils
 
createIdentifier(String) - Static method in class ua.gradsoft.javachecker.models.TermUtils
 
createInt(int) - Static method in class ua.gradsoft.javachecker.models.TermUtils
 
createJTerm(Object) - Static method in class ua.gradsoft.javachecker.models.TermUtils
 
createJvmarg() - Method in class ua.gradsoft.javachecker.ant.JavaCheckerTask
 
createList(Term[]) - Static method in class ua.gradsoft.javachecker.models.TermUtils
 
createLong(long) - Static method in class ua.gradsoft.javachecker.models.TermUtils
 
createModelTermList(List<JavaTypeModel>) - Static method in class ua.gradsoft.javachecker.models.JavaTypeModelHelper
 
createNewConstructorContext(JavaConstructorModel) - Static method in class ua.gradsoft.javachecker.models.JavaPlaceContextFactory
 
createNewInitializerContext(JavaInitializerModel) - Static method in class ua.gradsoft.javachecker.models.JavaPlaceContextFactory
 
createNewMethodContext(JavaMethodModel) - Static method in class ua.gradsoft.javachecker.models.JavaPlaceContextFactory
 
createNewPackageContext(String) - Static method in class ua.gradsoft.javachecker.models.JavaPlaceContextFactory
 
createNewPackageContext(JavaPackageModel) - Static method in class ua.gradsoft.javachecker.models.JavaPlaceContextFactory
 
createNewStatementContext(JavaStatementModel) - Static method in class ua.gradsoft.javachecker.models.JavaPlaceContextFactory
 
createNewTopLevelBlockOwnerContext(JavaTopLevelBlockOwnerModel) - Static method in class ua.gradsoft.javachecker.models.JavaPlaceContextFactory
 
createNewTypeContext(JavaTypeModel) - Static method in class ua.gradsoft.javachecker.models.JavaPlaceContextFactory
 
createNil() - Static method in class ua.gradsoft.javachecker.models.TermUtils
 
createPlaceContext() - Method in class ua.gradsoft.javachecker.models.JavaTermExpressionModel
 
createResolvedTypeArguments(Term, JavaUnitModel, JavaPackageModel, JavaTypeModel, JavaStatementModel, List<JavaTypeVariableAbstractModel>, List<JavaTypeVariableAbstractModel>, JavaTypeArgumentsSubstitution) - Static method in class ua.gradsoft.javachecker.models.JavaTypeArgumentsHelper
 
createRowJavaName(String) - Static method in class ua.gradsoft.javachecker.JUtils
 
createSourceFileNameFromClassName(String) - Static method in class ua.gradsoft.javachecker.JUtils
 
createSourceFileNameFromClassName(String, String) - Static method in class ua.gradsoft.javachecker.JUtils
 
createString(String) - Static method in class ua.gradsoft.javachecker.models.TermUtils
 
createTerm(String) - Static method in class ua.gradsoft.javachecker.models.TermUtils
 
createTerm(String, Term) - Static method in class ua.gradsoft.javachecker.models.TermUtils
 
createTerm(String, Term, Term) - Static method in class ua.gradsoft.javachecker.models.TermUtils
 
createTerm(String, Term, Term, Term) - Static method in class ua.gradsoft.javachecker.models.TermUtils
 
createTerm(String, Term...) - Static method in class ua.gradsoft.javachecker.models.TermUtils
 
createTerm(String, Term, int) - Static method in class ua.gradsoft.javachecker.models.TermUtils
 
createTermTypeArguments(List<JavaTypeModel>) - Method in class ua.gradsoft.javachecker.models.JavaTypeArgumentBoundTypeModel
 
createTypeContext(String, JavaPlaceContext) - Static method in class ua.gradsoft.javachecker.models.JavaPlaceContextFactory
 
createTypeModel(Type) - Static method in class ua.gradsoft.javachecker.models.JavaClassTypeModel
 

D

DECLARATION_TERM_INDEX - Static variable in class ua.gradsoft.javachecker.models.JavaPackageModel
 
DefaultExceptionHandler - Class in ua.gradsoft.javachecker
Default exception handler.
DefaultExceptionHandler() - Constructor for class ua.gradsoft.javachecker.DefaultExceptionHandler
 
DefectReportItem - Class in ua.gradsoft.javachecker
Defect report item.
DefectReportItem(String, String, FileAndLine) - Constructor for class ua.gradsoft.javachecker.DefectReportItem
Creates a new instance of DefectReport
discovered(String) - Method in class ua.gradsoft.javachecker.Violations
 
doFirst(Term, TermHolder, HashSet<Term>) - Method in interface ua.gradsoft.javachecker.ITermVisitor
 
doOperation(Object, Object) - Method in enum ua.gradsoft.javachecker.models.expressions.JavaAdditiveOperatorKind
 
doSecond(Term, TermHolder, HashSet<Term>) - Method in interface ua.gradsoft.javachecker.ITermVisitor
 
DOUBLE - Static variable in class ua.gradsoft.javachecker.models.JavaPrimitiveTypeModel
 

E

elementType_ - Variable in class ua.gradsoft.javachecker.models.JavaAnnotationInstanceModel
 
enabled(String) - Method in class ua.gradsoft.javachecker.Violations
 
enclosedType_ - Variable in class ua.gradsoft.javachecker.models.JavaTermExpressionModel
 
EntityNotFoundException - Exception in ua.gradsoft.javachecker
Throwed when we can't find some entity in model-s findXXX method.
EntityNotFoundException(String, String, String) - Constructor for exception ua.gradsoft.javachecker.EntityNotFoundException
 
EntityNotFoundException(String, String, String, FileAndLine) - Constructor for exception ua.gradsoft.javachecker.EntityNotFoundException
 
EntityNotFoundException(String, String, String, FileAndLine, Exception) - Constructor for exception ua.gradsoft.javachecker.EntityNotFoundException
 
entrySet() - Method in class ua.gradsoft.javachecker.util.CachedMap
 
entrySet() - Method in class ua.gradsoft.javachecker.util.FunctionMap
 
entrySet() - Method in class ua.gradsoft.javachecker.util.ImmutableListAsMap
 
entrySet() - Method in class ua.gradsoft.javachecker.util.ImmutableMappedMap
 
ENUMBODY_TERM_INDEX - Static variable in class ua.gradsoft.javachecker.models.JavaTermEnumModel
 
equals(Object) - Method in class ua.gradsoft.javachecker.FileAndLine
 
equals(JavaVariableModel, JavaVariableModel) - Method in class ua.gradsoft.javachecker.models.JavaVariableModelComparator
 
equals(Object) - Method in class ua.gradsoft.javachecker.util.CachedMap
 
equals(Object) - Method in class ua.gradsoft.javachecker.util.FunctionMap
 
equals(Object) - Method in class ua.gradsoft.javachecker.util.ImmutableListAsMap
 
equals(Object) - Method in class ua.gradsoft.javachecker.util.IntegerOrderList
 
EqualsHashCodeChecker - Class in ua.gradsoft.javachecker.checkers
Check, that if method overload eqals, than hash-code must be implemented and vice-verse.
EqualsHashCodeChecker() - Constructor for class ua.gradsoft.javachecker.checkers.EqualsHashCodeChecker
 
eval(JavaTraceContext) - Method in class ua.gradsoft.javachecker.models.expressions.JavaClassObjectConstantExpressionModel
 
eval(JavaTraceContext) - Method in class ua.gradsoft.javachecker.models.expressions.JavaTermAdditiveExpressionModel
 
eval(JavaTraceContext) - Method in class ua.gradsoft.javachecker.trace.FalseTraceCondition
 
eval(JavaTraceContext) - Method in interface ua.gradsoft.javachecker.trace.TraceCondition
try to eval condition in given context.
eval(JavaTraceContext) - Method in class ua.gradsoft.javachecker.trace.TrueTraceCondition
 
EvaluationException - Exception in ua.gradsoft.javachecker.trace
Exception durting evaluation in trace.
EvaluationException(String) - Constructor for exception ua.gradsoft.javachecker.trace.EvaluationException
 
EvaluationException(int, String) - Constructor for exception ua.gradsoft.javachecker.trace.EvaluationException
 
EvaluationException(String, Exception) - Constructor for exception ua.gradsoft.javachecker.trace.EvaluationException
 
EvaluationException(int, String, Exception) - Constructor for exception ua.gradsoft.javachecker.trace.EvaluationException
 
EvaluationException(Exception) - Constructor for exception ua.gradsoft.javachecker.trace.EvaluationException
 
exactly() - Method in class ua.gradsoft.javachecker.models.MethodMatchingConversions
 
execute() - Method in class ua.gradsoft.javachecker.ant.JavaCheckerTask
 
existsEquals(JavaTermTypeAbstractModel) - Method in class ua.gradsoft.javachecker.checkers.EqualsHashCodeChecker
 
existsHashCode(JavaTermTypeAbstractModel) - Method in class ua.gradsoft.javachecker.checkers.EqualsHashCodeChecker
 
EXPLICIT_CONSTRUCTOR_INVOCATION_TERM_INDEX - Static variable in class ua.gradsoft.javachecker.models.JavaTermConstructorModel
 
EXTENDS_TERM_INDEX - Static variable in class ua.gradsoft.javachecker.models.JavaTermClassOrInterfaceModel
 
extract(String) - Static method in class ua.gradsoft.javachecker.CheckerComment
try to extract checker comment from comment.

F

f_ - Variable in class ua.gradsoft.javachecker.util.ImmutableMappedCollection
 
FalseTraceCondition - Class in ua.gradsoft.javachecker.trace
trace condition for false.
FalseTraceCondition(JavaTermStatementModel, JavaTypeModel) - Constructor for class ua.gradsoft.javachecker.trace.FalseTraceCondition
 
FieldCheckerProperties - Annotation Type in ua.gradsoft.javachecker.annotations
Checker properties, bound to field
fieldModels_ - Variable in class ua.gradsoft.javachecker.models.JavaTermTypeAbstractModel
 
FileAndLine - Class in ua.gradsoft.javachecker
Holder for file and line markers.
FileAndLine(String, int) - Constructor for class ua.gradsoft.javachecker.FileAndLine
Creates a new instance of FileAndLine
FINAL - Static variable in class ua.gradsoft.javachecker.models.JavaModifiersModel
 
finalize() - Method in class ua.gradsoft.javachecker.attributes.JavaTypeModelAttributes
 
findInheriedTypeAttribute(String) - Method in class ua.gradsoft.javachecker.attributes.JavaTypeModelAttributes
 
findMarkedTerm(Term) - Static method in class ua.gradsoft.javachecker.JUtils
search java_identifier term in current subterm.
findMemberVariableModel(String) - Method in class ua.gradsoft.javachecker.models.JavaClassTypeModel
 
findMemberVariableModel(String) - Method in class ua.gradsoft.javachecker.models.JavaTypeModel
 
findMethodModels(String) - Method in class ua.gradsoft.javachecker.models.JavaClassTypeModel
 
findMethodModels(String) - Method in class ua.gradsoft.javachecker.models.JavaTypeModel
 
findNestedTypeModel(String) - Method in class ua.gradsoft.javachecker.models.JavaTypeModel
 
findOrAddPackage(String) - Method in class ua.gradsoft.javachecker.PackagesStore
 
findTypeModel(String) - Method in class ua.gradsoft.javachecker.models.JavaPackageModel
 
FLOAT - Static variable in class ua.gradsoft.javachecker.models.JavaPrimitiveTypeModel
 
FORMAL_PARAMETER_MODIFIER_INDEX - Static variable in class ua.gradsoft.javachecker.models.JavaModelConstants
 
FORMAL_PARAMETER_TYPE_INDEX - Static variable in class ua.gradsoft.javachecker.models.JavaModelConstants
 
FORMAL_PARAMETER_VARIABLEDECLARATORID_INDEX - Static variable in class ua.gradsoft.javachecker.models.JavaModelConstants
 
FORMAL_PARAMETERS_TERM_INDEX - Static variable in class ua.gradsoft.javachecker.models.JavaTermConstructorModel
 
forName(String) - Static method in class ua.gradsoft.javachecker.models.JavaClassTypeModel
 
forse(JavaTraceContext) - Method in class ua.gradsoft.javachecker.trace.FalseTraceCondition
 
forse(JavaTraceContext) - Method in interface ua.gradsoft.javachecker.trace.TraceCondition
forse traceContext to be true.
forse(JavaTraceContext) - Method in class ua.gradsoft.javachecker.trace.TrueTraceCondition
 
FTTypeChecker - Class in ua.gradsoft.javachecker.checkers
Ruleset with First-Top strategy
FTTypeChecker(String, String, String, Term, boolean) - Constructor for class ua.gradsoft.javachecker.checkers.FTTypeChecker
Creates a new instance of BTTypeChecker
Function<X,Y> - Interface in ua.gradsoft.javachecker.util
 
function(X) - Method in interface ua.gradsoft.javachecker.util.Function
 
FunctionMap<K,V> - Class in ua.gradsoft.javachecker.util
Representation of 1).
FunctionMap(Collection<K>, Function<K, V>) - Constructor for class ua.gradsoft.javachecker.util.FunctionMap
Creates a new instance of FunctionMap

G

generateSetterName(String) - Static method in class ua.gradsoft.javachecker.JUtils
generate name of setter method for variable .
get(JavaTypeVariableAbstractModel) - Method in class ua.gradsoft.javachecker.models.JavaTypeArgumentsSubstitution
 
get(int) - Method in class ua.gradsoft.javachecker.trace.JavaTraceArrayModel
 
get(Object) - Method in class ua.gradsoft.javachecker.util.CachedMap
 
get(Object) - Method in class ua.gradsoft.javachecker.util.FunctionMap
 
get(Object) - Method in class ua.gradsoft.javachecker.util.ImmutableListAsMap
 
get(int) - Method in class ua.gradsoft.javachecker.util.ImmutableMappedList
 
get(Object) - Method in class ua.gradsoft.javachecker.util.ImmutableMappedMap
 
get(int) - Method in class ua.gradsoft.javachecker.util.IntegerOrderList
 
getAdditiveOperatorKind() - Method in class ua.gradsoft.javachecker.models.expressions.JavaTermAdditiveExpressionModel
 
getAllocatedType() - Method in class ua.gradsoft.javachecker.models.expressions.JavaTermAllocationExpressionModel
 
getAllocatedType() - Method in class ua.gradsoft.javachecker.models.expressions.JavaTermInnerAllocationExpressionModel
 
getAnnotation(Class) - Method in class ua.gradsoft.javachecker.models.JavaClassConstructorModel
 
getAnnotation(Class) - Method in class ua.gradsoft.javachecker.models.JavaClassMethodModel
 
getAnnotation(Class) - Method in interface ua.gradsoft.javachecker.models.JavaClassTopLevelBlockOwnerModel
get declared annotations.
getAnnotation(String) - Method in class ua.gradsoft.javachecker.models.JavaClassTypeModel
 
getAnnotation(String) - Method in class ua.gradsoft.javachecker.models.JavaTypeArgumentBoundTypeModel
 
getAnnotation(String) - Method in class ua.gradsoft.javachecker.models.JavaTypeModel
return annottation instance, if one exists.
getAnnotationModel() - Method in class ua.gradsoft.javachecker.models.JavaAnnotationDefaultInstanceModel
 
getAnnotationModel() - Method in class ua.gradsoft.javachecker.models.JavaAnnotationInstanceModel
 
getAnnotationModel() - Method in class ua.gradsoft.javachecker.models.JavaClassAnnotationInstanceModel
 
getAnnotationModel() - Method in class ua.gradsoft.javachecker.models.JavaDelegatedAnnotationInstanceModel
 
getAnnotationModel() - Method in class ua.gradsoft.javachecker.models.JavaTermAnnotationInstanceModel
 
getAnnotationsList() - Method in class ua.gradsoft.javachecker.models.JavaClassFieldModel
 
getAnnotationsList() - Method in class ua.gradsoft.javachecker.models.JavaClassFormalParameterModel
 
getAnnotationsMap() - Method in class ua.gradsoft.javachecker.models.JavaArrayTypeModel
arrays types are not annotated.
getAnnotationsMap() - Method in class ua.gradsoft.javachecker.models.JavaClassArgumentBoundMethodModel
 
getAnnotationsMap() - Method in class ua.gradsoft.javachecker.models.JavaClassConstructorModel
 
getAnnotationsMap() - Method in class ua.gradsoft.javachecker.models.JavaClassEnumConstantModel
 
getAnnotationsMap() - Method in class ua.gradsoft.javachecker.models.JavaClassFieldModel
 
getAnnotationsMap() - Method in class ua.gradsoft.javachecker.models.JavaClassFormalParameterModel
 
getAnnotationsMap() - Method in class ua.gradsoft.javachecker.models.JavaClassMethodModel
 
getAnnotationsMap(JavaClassTopLevelBlockOwnerModel) - Static method in class ua.gradsoft.javachecker.models.JavaClassTopLevelBlockOwnerModelHelper
 
getAnnotationsMap() - Method in class ua.gradsoft.javachecker.models.JavaClassTypeModel
 
getAnnotationsMap() - Method in class ua.gradsoft.javachecker.models.JavaClassTypeVariableModel
TypeParameter(Identifier(name),boundsModelTerms)
getAnnotationsMap() - Method in class ua.gradsoft.javachecker.models.JavaConstructorModel
get Map of declared annotations, binded to this constructor.
getAnnotationsMap() - Method in class ua.gradsoft.javachecker.models.JavaFormalParameterModel
 
getAnnotationsMap() - Method in class ua.gradsoft.javachecker.models.JavaMethodModel
get Map of annotation.
getAnnotationsMap() - Method in class ua.gradsoft.javachecker.models.JavaNullTypeModel
 
getAnnotationsMap() - Method in class ua.gradsoft.javachecker.models.JavaPrimitiveTypeModel
 
getAnnotationsMap() - Method in class ua.gradsoft.javachecker.models.JavaTermAnnotationMethodModel
 
getAnnotationsMap() - Method in class ua.gradsoft.javachecker.models.JavaTermConstructorModel
 
getAnnotationsMap() - Method in class ua.gradsoft.javachecker.models.JavaTermEnumConstantModel
 
getAnnotationsMap() - Method in class ua.gradsoft.javachecker.models.JavaTermEnumModel.ValueOfMethodModel
 
getAnnotationsMap() - Method in class ua.gradsoft.javachecker.models.JavaTermEnumModel.ValuesMethodModel
 
getAnnotationsMap() - Method in class ua.gradsoft.javachecker.models.JavaTermFormalParameterModel
 
getAnnotationsMap() - Method in class ua.gradsoft.javachecker.models.JavaTermInitializerModel
initializers does not have annotations, so return empty Map
getAnnotationsMap() - Method in class ua.gradsoft.javachecker.models.JavaTermLocalVariableModel
 
getAnnotationsMap() - Method in class ua.gradsoft.javachecker.models.JavaTermMemberVariableModel
 
getAnnotationsMap() - Method in class ua.gradsoft.javachecker.models.JavaTermMethodModel
 
getAnnotationsMap() - Method in class ua.gradsoft.javachecker.models.JavaTermTypeAbstractModel
 
getAnnotationsMap() - Method in interface ua.gradsoft.javachecker.models.JavaTopLevelBlockOwnerModel
return annotations, associated with model oe costructor
getAnnotationsMap() - Method in class ua.gradsoft.javachecker.models.JavaTypeArgumentBoundConstructorModel
 
getAnnotationsMap() - Method in class ua.gradsoft.javachecker.models.JavaTypeArgumentBoundInitializerModel
 
getAnnotationsMap() - Method in class ua.gradsoft.javachecker.models.JavaTypeArgumentBoundLocalVariableModel
 
getAnnotationsMap() - Method in class ua.gradsoft.javachecker.models.JavaTypeArgumentBoundMemberVariableModel
 
getAnnotationsMap() - Method in class ua.gradsoft.javachecker.models.JavaTypeArgumentBoundMethodModel
 
getAnnotationsMap() - Method in class ua.gradsoft.javachecker.models.JavaTypeArgumentBoundTypeModel
 
getAnnotationsMap() - Method in class ua.gradsoft.javachecker.models.JavaTypeModel
get map of annotations, declared in source code.
getAnnotationsMap() - Method in class ua.gradsoft.javachecker.models.JavaTypeSubstitutedFormalParameterModel
 
getAnnotationsMap() - Method in class ua.gradsoft.javachecker.models.JavaTypeVariableAbstractModel
 
getAnnotationsMap() - Method in class ua.gradsoft.javachecker.models.JavaUnknownTypeModel
 
getAnnotationsMap() - Method in interface ua.gradsoft.javachecker.models.JavaVariableModel
return set of annotations for this variable.
getAnnotationsMap() - Method in class ua.gradsoft.javachecker.models.JavaWildcardBoundsTypeModel
 
getArgumentBoundTopLevelBlockModel() - Method in class ua.gradsoft.javachecker.models.JavaTypeArgumentBoundStatementModel
 
getArgumentModels() - Method in class ua.gradsoft.javachecker.models.JavaTermEnumConstantModel
 
getASTTerm() - Method in class ua.gradsoft.javachecker.models.JavaArrayTypeModel
 
getASTTerm() - Method in class ua.gradsoft.javachecker.models.JavaClassTypeModel
 
getASTTerm() - Method in class ua.gradsoft.javachecker.models.JavaNullTypeModel
 
getASTTerm() - Method in class ua.gradsoft.javachecker.models.JavaPrimitiveTypeModel
 
getASTTerm() - Method in class ua.gradsoft.javachecker.models.JavaTermAnnotationTypeModel
 
getASTTerm() - Method in class ua.gradsoft.javachecker.models.JavaTermTypeAbstractModel
 
getASTTerm() - Method in class ua.gradsoft.javachecker.models.JavaTypeArgumentBoundTypeModel
 
getASTTerm() - Method in class ua.gradsoft.javachecker.models.JavaTypeModel
return AST term, if exoists, otherwise - null
getASTTerm() - Method in class ua.gradsoft.javachecker.models.JavaTypeVariableAbstractModel
 
getASTTerm() - Method in class ua.gradsoft.javachecker.models.JavaUnknownTypeModel
 
getASTTerm() - Method in class ua.gradsoft.javachecker.models.JavaWildcardBoundsTypeModel
 
getAttribute(String) - Method in interface ua.gradsoft.javachecker.attributes.AttributedEntity
 
getAttribute(String) - Method in class ua.gradsoft.javachecker.attributes.AttributesData
 
getAttribute(String) - Method in class ua.gradsoft.javachecker.models.JavaConstructorModel
 
getAttribute(String) - Method in class ua.gradsoft.javachecker.models.JavaFormalParameterModel
 
getAttribute(String) - Method in class ua.gradsoft.javachecker.models.JavaInitializerModel
 
getAttribute(String) - Method in class ua.gradsoft.javachecker.models.JavaMemberVariableModel
 
getAttribute(String) - Method in class ua.gradsoft.javachecker.models.JavaMethodModel
 
getAttribute(String) - Method in class ua.gradsoft.javachecker.models.JavaMethodModelAttributes
 
getAttribute(String) - Method in class ua.gradsoft.javachecker.models.JavaTermFormalParameterModel
 
getAttribute(String) - Method in class ua.gradsoft.javachecker.models.JavaTermLocalVariableModel
 
getAttribute(String) - Method in class ua.gradsoft.javachecker.models.JavaTypeArgumentBoundLocalVariableModel
 
getAttribute(String) - Method in class ua.gradsoft.javachecker.models.JavaTypeModel
 
getAttributes() - Method in class ua.gradsoft.javachecker.models.JavaTypeArgumentBoundTypeModel
 
getAttributes() - Method in class ua.gradsoft.javachecker.models.JavaTypeModel
return attributes of this model
getAttributesData() - Method in class ua.gradsoft.javachecker.models.JavaTypeModel
 
getAttributesStorage() - Method in class ua.gradsoft.javachecker.JavaFacts
 
getBoolean() - Method in class ua.gradsoft.javachecker.models.expressions.JavaTermBooleanLiteralExpressionModel
 
getBooleanConfigValue(String, boolean) - Method in class ua.gradsoft.javachecker.JavaFacts
 
getBounds() - Method in class ua.gradsoft.javachecker.models.JavaClassTypeVariableModel
 
getBounds() - Method in class ua.gradsoft.javachecker.models.JavaTermTypeVariableModel
 
getBounds() - Method in class ua.gradsoft.javachecker.models.JavaTypeArgumentBoundTypeVariableModel
 
getBounds() - Method in class ua.gradsoft.javachecker.models.JavaTypeVariableAbstractModel
 
getBoundTypeModel() - Method in class ua.gradsoft.javachecker.models.JavaWildcardBoundsTypeModel
get bound type model
getByName(String) - Static method in enum ua.gradsoft.javachecker.ReportFormat
 
getCanonicalName() - Method in class ua.gradsoft.javachecker.models.JavaClassTypeModel
get canonical name, siutable for use in JVM
getCanonicalName() - Method in class ua.gradsoft.javachecker.models.JavaNullTypeModel
get canonical name, siutable for use in JVM
getCanonicalName() - Method in class ua.gradsoft.javachecker.models.JavaTypeModel
get canonical name, siutable for use in JVM
getCanonicalName() - Method in class ua.gradsoft.javachecker.models.JavaUnknownTypeModel
get canonical name, siutable for use in JVM
getCastType() - Method in class ua.gradsoft.javachecker.models.expressions.JavaTermCastExpressionModel
 
getCategory() - Method in class ua.gradsoft.javachecker.checkers.AbstractChecker
 
getCategory() - Method in class ua.gradsoft.javachecker.DefectReportItem
 
getCategory() - Method in class ua.gradsoft.javachecker.TypeOfViolation
 
getCategory(String) - Method in class ua.gradsoft.javachecker.Violations
 
getCheck() - Method in class ua.gradsoft.javachecker.ant.JavaCheckerTask.CheckName
 
getCheckerComment() - Method in class ua.gradsoft.javachecker.models.JavaTermTypeAbstractModel
 
getCheckerType() - Method in class ua.gradsoft.javachecker.checkers.AbstractChecker
 
getCheckerType() - Method in class ua.gradsoft.javachecker.checkers.BTCompilationUnitChecker
 
getCheckerType() - Method in class ua.gradsoft.javachecker.checkers.BTTypeChecker
 
getCheckerType() - Method in class ua.gradsoft.javachecker.checkers.ClassChecker
 
getCheckerType() - Method in class ua.gradsoft.javachecker.checkers.FTTypeChecker
 
getCheckerType() - Method in class ua.gradsoft.javachecker.checkers.ModelChecker
 
getChildAttributes(String) - Method in interface ua.gradsoft.javachecker.attributes.AttributedEntity
 
getChildAttributes(String) - Method in class ua.gradsoft.javachecker.attributes.AttributesData
 
getChildAttributes(String) - Method in class ua.gradsoft.javachecker.models.JavaConstructorModel
 
getChildAttributes(String) - Method in class ua.gradsoft.javachecker.models.JavaFormalParameterModel
 
getChildAttributes(String) - Method in class ua.gradsoft.javachecker.models.JavaInitializerModel
 
getChildAttributes(String) - Method in class ua.gradsoft.javachecker.models.JavaMemberVariableModel
 
getChildAttributes(String) - Method in class ua.gradsoft.javachecker.models.JavaMethodModel
 
getChildAttributes(String) - Method in class ua.gradsoft.javachecker.models.JavaTermLocalVariableModel
 
getChildAttributes(String) - Method in class ua.gradsoft.javachecker.models.JavaTypeArgumentBoundLocalVariableModel
 
getChildAttributes(String) - Method in class ua.gradsoft.javachecker.models.JavaTypeModel
 
getChilds() - Method in class ua.gradsoft.javachecker.attributes.AttributesData
 
getChildStatements() - Method in interface ua.gradsoft.javachecker.models.JavaStatementModel
get child statements.
getChildStatements() - Method in class ua.gradsoft.javachecker.models.JavaTermStatementModel
 
getChildStatements() - Method in class ua.gradsoft.javachecker.models.JavaTypeArgumentBoundStatementModel
 
getClassFormalParameterTypes() - Method in class ua.gradsoft.javachecker.models.JavaClassConstructorModel
 
getClassFormalParameterTypes() - Method in class ua.gradsoft.javachecker.models.JavaClassMethodModel
 
getClassFormalParameterTypes() - Method in interface ua.gradsoft.javachecker.models.JavaClassTopLevelBlockOwnerModel
get set of top-level parameters
getClassImports() - Method in class ua.gradsoft.javachecker.models.JavaCompilationUnitModel
 
getClassLiteralType() - Method in class ua.gradsoft.javachecker.models.expressions.JavaTermClassLiteralExpressionModel
 
getClassNamePattern() - Method in class ua.gradsoft.javachecker.JavaFacts
 
getClassThrowsTypes() - Method in class ua.gradsoft.javachecker.models.JavaClassConstructorModel
 
getClassThrowsTypes() - Method in class ua.gradsoft.javachecker.models.JavaClassMethodModel
 
getClassThrowsTypes() - Method in interface ua.gradsoft.javachecker.models.JavaClassTopLevelBlockOwnerModel
get types in exception specification
getClassType(String) - Method in class ua.gradsoft.javachecker.ProxyJavaFacts
 
getClassTypeModel() - Method in class ua.gradsoft.javachecker.models.JavaClassConstructorModel
 
getClassTypeModel() - Method in class ua.gradsoft.javachecker.models.JavaClassMethodModel
 
getClassTypeModel() - Method in interface ua.gradsoft.javachecker.models.JavaClassTopLevelBlockOwnerModel
get model of type.
getClassTypeParameters() - Method in class ua.gradsoft.javachecker.models.JavaClassConstructorModel
 
getClassTypeParameters() - Method in class ua.gradsoft.javachecker.models.JavaClassMethodModel
 
getClassTypeParameters() - Method in interface ua.gradsoft.javachecker.models.JavaClassTopLevelBlockOwnerModel
get set of top-level parameters
getCode() - Method in exception ua.gradsoft.javachecker.trace.EvaluationException
 
getCompilationUnitPackageName(Term) - Static method in class ua.gradsoft.javachecker.JUtils
 
getConstant() - Method in class ua.gradsoft.javachecker.models.expressions.JavaClassObjectConstantExpressionModel
 
getConstant() - Method in interface ua.gradsoft.javachecker.models.expressions.JavaObjectConstantExpressionModel
 
getConstant() - Method in class ua.gradsoft.javachecker.models.expressions.JavaTermBooleanLiteralExpressionModel
 
getConstant() - Method in class ua.gradsoft.javachecker.models.expressions.JavaTermCharacterLiteralExpressionModel
 
getConstant() - Method in class ua.gradsoft.javachecker.models.expressions.JavaTermFloatingPointLiteralExpressionModel
 
getConstant() - Method in class ua.gradsoft.javachecker.models.expressions.JavaTermIntegerLiteralExpressionModel
 
getConstant() - Method in class ua.gradsoft.javachecker.models.expressions.JavaTermNullLiteralExpressionModel
 
getConstant() - Method in class ua.gradsoft.javachecker.models.expressions.JavaTermStringLiteralExpressionModel
return lexical translation of string inside literal
getConstantNames() - Method in class ua.gradsoft.javachecker.models.JavaTermEnumModel
 
getConstructorAttribute(JavaConstructorModel, String) - Method in class ua.gradsoft.javachecker.attributes.JavaTypeModelAttributes
 
getConstructorModels() - Method in class ua.gradsoft.javachecker.models.JavaArrayTypeModel
 
getConstructorModels() - Method in class ua.gradsoft.javachecker.models.JavaClassTypeModel
 
getConstructorModels() - Method in class ua.gradsoft.javachecker.models.JavaNullTypeModel
 
getConstructorModels() - Method in class ua.gradsoft.javachecker.models.JavaPrimitiveTypeModel
 
getConstructorModels() - Method in class ua.gradsoft.javachecker.models.JavaTermAnnotationTypeModel
 
getConstructorModels() - Method in class ua.gradsoft.javachecker.models.JavaTermTypeAbstractModel
 
getConstructorModels() - Method in class ua.gradsoft.javachecker.models.JavaTypeArgumentBoundTypeModel
 
getConstructorModels() - Method in class ua.gradsoft.javachecker.models.JavaTypeModel
get list of constructor models.
getConstructorModels() - Method in class ua.gradsoft.javachecker.models.JavaTypeVariableAbstractModel
 
getConstructorModels() - Method in class ua.gradsoft.javachecker.models.JavaUnknownTypeModel
 
getConstructorModels() - Method in class ua.gradsoft.javachecker.models.JavaWildcardBoundsTypeModel
 
getCounter() - Method in class ua.gradsoft.javachecker.TypeOfViolation
 
getCounterByName(String) - Method in class ua.gradsoft.javachecker.Violations
 
getData() - Method in class ua.gradsoft.javachecker.attributes.JavaTypeModelAttributes
 
getDeclaredAnnotations() - Method in class ua.gradsoft.javachecker.models.JavaClassConstructorModel
 
getDeclaredAnnotations() - Method in class ua.gradsoft.javachecker.models.JavaClassMethodModel
 
getDeclaredAnnotations() - Method in interface ua.gradsoft.javachecker.models.JavaClassTopLevelBlockOwnerModel
get declared annotations.
getDefaultAnnotationInstanceModel() - Method in class ua.gradsoft.javachecker.models.JavaArrayTypeModel
 
getDefaultAnnotationInstanceModel() - Method in class ua.gradsoft.javachecker.models.JavaClassTypeModel
 
getDefaultAnnotationInstanceModel() - Method in class ua.gradsoft.javachecker.models.JavaNullTypeModel
 
getDefaultAnnotationInstanceModel() - Method in class ua.gradsoft.javachecker.models.JavaPrimitiveTypeModel
 
getDefaultAnnotationInstanceModel() - Method in class ua.gradsoft.javachecker.models.JavaTermAnnotationTypeModel
 
getDefaultAnnotationInstanceModel() - Method in class ua.gradsoft.javachecker.models.JavaTermAnonimousTypeModel
 
getDefaultAnnotationInstanceModel() - Method in class ua.gradsoft.javachecker.models.JavaTermClassOrInterfaceModel
 
getDefaultAnnotationInstanceModel() - Method in class ua.gradsoft.javachecker.models.JavaTermEnumAnonimousTypeModel
 
getDefaultAnnotationInstanceModel() - Method in class ua.gradsoft.javachecker.models.JavaTermEnumModel
 
getDefaultAnnotationInstanceModel() - Method in class ua.gradsoft.javachecker.models.JavaTypeArgumentBoundTypeModel
if this is annotation - get DefaultAnnotationInstance, otherwise - return null In our case emulate behaviour of origin.
getDefaultAnnotationInstanceModel() - Method in class ua.gradsoft.javachecker.models.JavaTypeModel
if this is annotation, get annotation instance model, otherwise return null;
getDefaultAnnotationInstanceModel() - Method in class ua.gradsoft.javachecker.models.JavaTypeVariableAbstractModel
 
getDefaultAnnotationInstanceModel() - Method in class ua.gradsoft.javachecker.models.JavaUnknownTypeModel
 
getDefaultAnnotationInstanceModel() - Method in class ua.gradsoft.javachecker.models.JavaWildcardBoundsTypeModel
 
getDefaultInitializerExpression() - Method in class ua.gradsoft.javachecker.models.JavaArrayTypeModel
 
getDefaultInitializerExpression() - Method in class ua.gradsoft.javachecker.models.JavaClassTypeModel
 
getDefaultInitializerExpression() - Method in class ua.gradsoft.javachecker.models.JavaNullTypeModel
 
getDefaultInitializerExpression() - Method in class ua.gradsoft.javachecker.models.JavaPrimitiveTypeModel
 
getDefaultInitializerExpression() - Method in class ua.gradsoft.javachecker.models.JavaTermAnnotationTypeModel
 
getDefaultInitializerExpression() - Method in class ua.gradsoft.javachecker.models.JavaTermAnonimousTypeModel
 
getDefaultInitializerExpression() - Method in class ua.gradsoft.javachecker.models.JavaTermClassOrInterfaceModel
 
getDefaultInitializerExpression() - Method in class ua.gradsoft.javachecker.models.JavaTermEnumAnonimousTypeModel
 
getDefaultInitializerExpression() - Method in class ua.gradsoft.javachecker.models.JavaTermEnumModel
 
getDefaultInitializerExpression() - Method in class ua.gradsoft.javachecker.models.JavaTypeArgumentBoundTypeModel
 
getDefaultInitializerExpression() - Method in class ua.gradsoft.javachecker.models.JavaTypeModel
 
getDefaultInitializerExpression() - Method in class ua.gradsoft.javachecker.models.JavaTypeVariableAbstractModel
 
getDefaultInitializerExpression() - Method in class ua.gradsoft.javachecker.models.JavaUnknownTypeModel
 
getDefaultInitializerExpression() - Method in class ua.gradsoft.javachecker.models.JavaWildcardBoundsTypeModel
 
getDefaultValue() - Method in class ua.gradsoft.javachecker.models.JavaClassArgumentBoundMethodModel
Argument-bound annotations are illegal.
getDefaultValue() - Method in class ua.gradsoft.javachecker.models.JavaClassMethodModel
 
getDefaultValue() - Method in class ua.gradsoft.javachecker.models.JavaMethodModel
return default value of method.
getDefaultValue() - Method in class ua.gradsoft.javachecker.models.JavaTermAnnotationMethodModel
 
getDefaultValue() - Method in class ua.gradsoft.javachecker.models.JavaTermEnumModel.ValueOfMethodModel
 
getDefaultValue() - Method in class ua.gradsoft.javachecker.models.JavaTermEnumModel.ValuesMethodModel
 
getDefaultValue() - Method in class ua.gradsoft.javachecker.models.JavaTermMethodModel
 
getDefaultValue() - Method in class ua.gradsoft.javachecker.models.JavaTypeArgumentBoundMethodModel
 
getDefectReportItems() - Method in class ua.gradsoft.javachecker.JavaFacts
 
getDescription() - Method in class ua.gradsoft.javachecker.checkers.AbstractChecker
 
getDescription() - Method in class ua.gradsoft.javachecker.DefectReportItem
 
getDirectory() - Method in class ua.gradsoft.javachecker.models.AnalyzedUnitRef
 
getDisabledChecks() - Method in class ua.gradsoft.javachecker.models.JavaTermTypeAbstractModel
get set of disabled names of checks, configured by CheckerDisable directive.
getElement(String) - Method in class ua.gradsoft.javachecker.models.JavaAnnotationDefaultInstanceModel
 
getElement(String) - Method in class ua.gradsoft.javachecker.models.JavaAnnotationInstanceModel
expression, which is defined in annotations.
getElement(String) - Method in class ua.gradsoft.javachecker.models.JavaClassAnnotationInstanceModel
 
getElement(String) - Method in class ua.gradsoft.javachecker.models.JavaDelegatedAnnotationInstanceModel
 
getElement(String) - Method in class ua.gradsoft.javachecker.models.JavaTermAnnotationInstanceModel
 
getElements() - Method in class ua.gradsoft.javachecker.models.JavaAnnotationDefaultInstanceModel
 
getElements() - Method in class ua.gradsoft.javachecker.models.JavaAnnotationInstanceModel
Map, which contains declared fields.
getElements() - Method in class ua.gradsoft.javachecker.models.JavaClassAnnotationInstanceModel
 
getElements() - Method in class ua.gradsoft.javachecker.models.JavaDelegatedAnnotationInstanceModel
 
getElements() - Method in class ua.gradsoft.javachecker.models.JavaTermAnnotationInstanceModel
 
getEnclosedStatement() - Method in class ua.gradsoft.javachecker.models.JavaArrayTypeModel
 
getEnclosedStatement() - Method in class ua.gradsoft.javachecker.models.JavaClassTypeModel
 
getEnclosedStatement() - Method in class ua.gradsoft.javachecker.models.JavaNullTypeModel
 
getEnclosedStatement() - Method in class ua.gradsoft.javachecker.models.JavaPrimitiveTypeModel
 
getEnclosedStatement() - Method in class ua.gradsoft.javachecker.models.JavaTermTypeAbstractModel
 
getEnclosedStatement() - Method in class ua.gradsoft.javachecker.models.JavaTypeArgumentBoundTypeModel
 
getEnclosedStatement() - Method in class ua.gradsoft.javachecker.models.JavaTypeModel
if this is local or anonimous class and it is possible to get enclosing statement - return enclosed statement, otherwise - null
getEnclosedStatement() - Method in class ua.gradsoft.javachecker.models.JavaTypeVariableAbstractModel
 
getEnclosedStatement() - Method in class ua.gradsoft.javachecker.models.JavaUnknownTypeModel
 
getEnclosedStatement() - Method in class ua.gradsoft.javachecker.models.JavaWildcardBoundsTypeModel
 
getEnclosedType() - Method in class ua.gradsoft.javachecker.models.expressions.JavaClassObjectConstantExpressionModel
 
getEnclosedType() - Method in class ua.gradsoft.javachecker.models.JavaArrayTypeModel
 
getEnclosedType() - Method in class ua.gradsoft.javachecker.models.JavaClassTypeModel
return enclosed class
getEnclosedType() - Method in interface ua.gradsoft.javachecker.models.JavaExpressionModel
enclosing type of statement.
getEnclosedType() - Method in class ua.gradsoft.javachecker.models.JavaNullTypeModel
 
getEnclosedType() - Method in class ua.gradsoft.javachecker.models.JavaPrimitiveTypeModel
 
getEnclosedType() - Method in class ua.gradsoft.javachecker.models.JavaTermExpressionModel
 
getEnclosedType() - Method in class ua.gradsoft.javachecker.models.JavaTermTypeAbstractModel
 
getEnclosedType() - Method in class ua.gradsoft.javachecker.models.JavaTypeArgumentBoundExpressionModel
 
getEnclosedType() - Method in class ua.gradsoft.javachecker.models.JavaTypeArgumentBoundTypeModel
 
getEnclosedType() - Method in class ua.gradsoft.javachecker.models.JavaTypeModel
return enclosed class
getEnclosedType() - Method in class ua.gradsoft.javachecker.models.JavaTypeVariableAbstractModel
 
getEnclosedType() - Method in class ua.gradsoft.javachecker.models.JavaUnknownTypeModel
 
getEnclosedType() - Method in class ua.gradsoft.javachecker.models.JavaWildcardBoundsTypeModel
 
getEntityName() - Method in exception ua.gradsoft.javachecker.EntityNotFoundException
return name of entity which was not found.
getEnumConstantModels() - Method in class ua.gradsoft.javachecker.models.JavaArrayTypeModel
 
getEnumConstantModels() - Method in class ua.gradsoft.javachecker.models.JavaClassTypeModel
 
getEnumConstantModels() - Method in class ua.gradsoft.javachecker.models.JavaNullTypeModel
 
getEnumConstantModels() - Method in class ua.gradsoft.javachecker.models.JavaPrimitiveTypeModel
 
getEnumConstantModels() - Method in class ua.gradsoft.javachecker.models.JavaTermAnnotationTypeModel
 
getEnumConstantModels() - Method in class ua.gradsoft.javachecker.models.JavaTermAnonimousTypeModel
 
getEnumConstantModels() - Method in class ua.gradsoft.javachecker.models.JavaTermClassOrInterfaceModel
 
getEnumConstantModels() - Method in class ua.gradsoft.javachecker.models.JavaTermEnumAnonimousTypeModel
 
getEnumConstantModels() - Method in class ua.gradsoft.javachecker.models.JavaTermEnumModel
get map of enum constants.
getEnumConstantModels() - Method in class ua.gradsoft.javachecker.models.JavaTypeArgumentBoundTypeModel
 
getEnumConstantModels() - Method in class ua.gradsoft.javachecker.models.JavaTypeModel
key of return values are names of enum constants.
getEnumConstantModels() - Method in class ua.gradsoft.javachecker.models.JavaTypeVariableAbstractModel
 
getEnumConstantModels() - Method in class ua.gradsoft.javachecker.models.JavaUnknownTypeModel
 
getEnumConstantModels() - Method in class ua.gradsoft.javachecker.models.JavaWildcardBoundsTypeModel
 
getEnumConstantNamePattern() - Method in class ua.gradsoft.javachecker.JavaFacts
 
getEqualityOperatorKind() - Method in class ua.gradsoft.javachecker.models.expressions.JavaTermEqualityExpressionModel
 
getErasedFullName() - Method in class ua.gradsoft.javachecker.models.JavaTypeModel
return full name (i.
getErasedName() - Method in class ua.gradsoft.javachecker.models.JavaArrayTypeModel
 
getErasedName() - Method in class ua.gradsoft.javachecker.models.JavaClassTypeModel
all classes from reflection are already erased
getErasedName() - Method in class ua.gradsoft.javachecker.models.JavaClassTypeVariableModel
 
getErasedName() - Method in class ua.gradsoft.javachecker.models.JavaNullTypeModel
 
getErasedName() - Method in class ua.gradsoft.javachecker.models.JavaPrimitiveTypeModel
 
getErasedName() - Method in class ua.gradsoft.javachecker.models.JavaTermTypeAbstractModel
 
getErasedName() - Method in class ua.gradsoft.javachecker.models.JavaTermTypeVariableModel
 
getErasedName() - Method in class ua.gradsoft.javachecker.models.JavaTypeArgumentBoundTypeModel
 
getErasedName() - Method in class ua.gradsoft.javachecker.models.JavaTypeArgumentBoundTypeVariableModel
 
getErasedName() - Method in class ua.gradsoft.javachecker.models.JavaTypeModel
 
getErasedName() - Method in class ua.gradsoft.javachecker.models.JavaUnknownTypeModel
 
getErasedName() - Method in class ua.gradsoft.javachecker.models.JavaWildcardBoundsTypeModel
 
getExceptionHandler() - Static method in class ua.gradsoft.javachecker.Main
 
getExplicitDisabled() - Static method in class ua.gradsoft.javachecker.Main
 
getExplicitEnabled() - Static method in class ua.gradsoft.javachecker.Main
 
getExpression() - Method in class ua.gradsoft.javachecker.trace.FalseTraceCondition
 
getExpression() - Method in interface ua.gradsoft.javachecker.trace.TraceCondition
 
getExpression() - Method in class ua.gradsoft.javachecker.trace.TrueTraceCondition
 
getExpressionModel() - Method in class ua.gradsoft.javachecker.models.JavaPlaceContext
 
getExpressionModel() - Method in class ua.gradsoft.javachecker.trace.JavaBooleanTraceModel
 
getExpressionModel() - Method in class ua.gradsoft.javachecker.trace.JavaIntTraceModel
 
getExpressionModel() - Method in class ua.gradsoft.javachecker.trace.JavaLongTraceModel
 
getExpressionModel() - Method in class ua.gradsoft.javachecker.trace.JavaObjectConstantTraceObjectModel
 
getExpressionModel() - Method in class ua.gradsoft.javachecker.trace.JavaShortTraceModel
 
getExpressionModel() - Method in class ua.gradsoft.javachecker.trace.JavaTermTraceObjectModel
 
getExpressionModel() - Method in class ua.gradsoft.javachecker.trace.JavaTraceArrayModel
 
getExpressionModel() - Method in class ua.gradsoft.javachecker.trace.JavaTraceNullModel
 
getExpressionModel() - Method in interface ua.gradsoft.javachecker.trace.JavaTraceObjectModel
 
getExpressions() - Method in interface ua.gradsoft.javachecker.models.JavaStatementModel
top-level expressions, defined in this statement.
getExpressions() - Method in class ua.gradsoft.javachecker.models.JavaTermStatementModel
list of top-level expressions
getExpressions() - Method in class ua.gradsoft.javachecker.models.JavaTypeArgumentBoundStatementModel
 
getFacts() - Static method in class ua.gradsoft.javachecker.Main
 
getFalseExpression() - Static method in class ua.gradsoft.javachecker.models.expressions.JavaTermBooleanLiteralExpressionModel
 
getField(String) - Method in class ua.gradsoft.javachecker.trace.JavaObjectConstantTraceObjectModel
 
getField(String) - Method in class ua.gradsoft.javachecker.trace.JavaPrimitiveTraceModel
 
getField(String) - Method in class ua.gradsoft.javachecker.trace.JavaTermTraceObjectModel
 
getField(String) - Method in class ua.gradsoft.javachecker.trace.JavaTraceArrayModel
 
getField(String) - Method in class ua.gradsoft.javachecker.trace.JavaTraceNullModel
 
getField(String) - Method in interface ua.gradsoft.javachecker.trace.JavaTraceObjectModel
 
getFieldAttribute(String, String) - Method in class ua.gradsoft.javachecker.attributes.JavaTypeModelAttributes
 
getFieldModel() - Method in class ua.gradsoft.javachecker.models.expressions.JavaTermFieldExpressionModel
 
getFieldModel() - Method in class ua.gradsoft.javachecker.models.expressions.JavaTermStaticFieldExpressionModel
 
getFileAndLine() - Method in class ua.gradsoft.javachecker.DefectReportItem
 
getFileAndLine() - Method in exception ua.gradsoft.javachecker.EntityNotFoundException
 
getFileAndLine(Term) - Static method in class ua.gradsoft.javachecker.JUtils
get file and line marker from part of code.
getFileAndLine() - Method in exception ua.gradsoft.javachecker.models.InvalidJavaTermException
 
getFileAndLine() - Method in class ua.gradsoft.javachecker.models.JavaPlaceContext
 
getFileAndLine() - Method in interface ua.gradsoft.javachecker.SourceCodeLocation
 
getFinalFieldNamePattern() - Method in class ua.gradsoft.javachecker.JavaFacts
 
getFirst() - Method in class ua.gradsoft.javachecker.util.Pair
 
getFirstTypeDefinitionName(Term) - Static method in class ua.gradsoft.javachecker.JUtils
get from term (which must represent compilation unit) name of first declared type.
getFloatingPointLiteralType(String) - Static method in class ua.gradsoft.javachecker.models.JavaExpressionHelper
 
getFloatingPointLiteralType(String) - Method in class ua.gradsoft.javachecker.ProxyJavaFacts
 
getFname() - Method in class ua.gradsoft.javachecker.FileAndLine
 
getFormalParameter(String) - Method in class ua.gradsoft.javachecker.trace.JavaTraceContext
 
getFormalParameterAnnotationsList(JavaClassTopLevelBlockOwnerModel, int, JavaFormalParameterModel) - Static method in class ua.gradsoft.javachecker.models.JavaClassTopLevelBlockOwnerModelHelper
 
getFormalParametersList() - Method in class ua.gradsoft.javachecker.models.JavaClassArgumentBoundMethodModel
 
getFormalParametersList() - Method in class ua.gradsoft.javachecker.models.JavaClassConstructorModel
 
getFormalParametersList() - Method in class ua.gradsoft.javachecker.models.JavaClassMethodModel
 
getFormalParametersList(JavaClassTopLevelBlockOwnerModel) - Static method in class ua.gradsoft.javachecker.models.JavaClassTopLevelBlockOwnerModelHelper
 
getFormalParametersList() - Method in class ua.gradsoft.javachecker.models.JavaConstructorModel
 
getFormalParametersList() - Method in class ua.gradsoft.javachecker.models.JavaInitializerModel
initializers does not have formal parameters, so return empty list.
getFormalParametersList() - Method in class ua.gradsoft.javachecker.models.JavaMethodModel
get list of formal parameters.
getFormalParametersList() - Method in class ua.gradsoft.javachecker.models.JavaTermAnnotationMethodModel
 
getFormalParametersList() - Method in class ua.gradsoft.javachecker.models.JavaTermConstructorModel
 
getFormalParametersList() - Method in class ua.gradsoft.javachecker.models.JavaTermEnumModel.ValueOfMethodModel
 
getFormalParametersList() - Method in class ua.gradsoft.javachecker.models.JavaTermEnumModel.ValuesMethodModel
 
getFormalParametersList() - Method in class ua.gradsoft.javachecker.models.JavaTermMethodModel
 
getFormalParametersList() - Method in interface ua.gradsoft.javachecker.models.JavaTopLevelBlockOwnerModel
get List of formal parameters
getFormalParametersList() - Method in class ua.gradsoft.javachecker.models.JavaTypeArgumentBoundConstructorModel
 
getFormalParametersList() - Method in class ua.gradsoft.javachecker.models.JavaTypeArgumentBoundMethodModel
 
getFormalParametersList(JavaTypeArgumentBoundTopLevelBlockOwnerModel) - Static method in class ua.gradsoft.javachecker.models.JavaTypeArgumentBoundTopLevelBlockOwnerModelHelper
 
getFormalParametersMap() - Method in class ua.gradsoft.javachecker.models.JavaClassArgumentBoundMethodModel
 
getFormalParametersMap() - Method in class ua.gradsoft.javachecker.models.JavaClassConstructorModel
 
getFormalParametersMap() - Method in class ua.gradsoft.javachecker.models.JavaClassMethodModel
 
getFormalParametersMap(JavaClassTopLevelBlockOwnerModel) - Static method in class ua.gradsoft.javachecker.models.JavaClassTopLevelBlockOwnerModelHelper
 
getFormalParametersMap() - Method in class ua.gradsoft.javachecker.models.JavaConstructorModel
 
getFormalParametersMap() - Method in class ua.gradsoft.javachecker.models.JavaInitializerModel
initializers does not have formal parameters, so return empty map.
getFormalParametersMap() - Method in class ua.gradsoft.javachecker.models.JavaMethodModel
get map of formal parameters.
getFormalParametersMap() - Method in class ua.gradsoft.javachecker.models.JavaTermAnnotationMethodModel
 
getFormalParametersMap() - Method in class ua.gradsoft.javachecker.models.JavaTermConstructorModel
 
getFormalParametersMap() - Method in class ua.gradsoft.javachecker.models.JavaTermEnumModel.ValueOfMethodModel
 
getFormalParametersMap() - Method in class ua.gradsoft.javachecker.models.JavaTermEnumModel.ValuesMethodModel
 
getFormalParametersMap() - Method in class ua.gradsoft.javachecker.models.JavaTermMethodModel
 
getFormalParametersMap() - Method in interface ua.gradsoft.javachecker.models.JavaTopLevelBlockOwnerModel
get Map of formal parameters.
getFormalParametersMap() - Method in class ua.gradsoft.javachecker.models.JavaTypeArgumentBoundConstructorModel
 
getFormalParametersMap() - Method in class ua.gradsoft.javachecker.models.JavaTypeArgumentBoundMethodModel
 
getFormalParametersMap(JavaTypeArgumentBoundTopLevelBlockOwnerModel) - Static method in class ua.gradsoft.javachecker.models.JavaTypeArgumentBoundTopLevelBlockOwnerModelHelper
 
getFormalParametersTerm() - Method in class ua.gradsoft.javachecker.models.JavaTermMethodModel
 
getFormalParametersTypes() - Method in class ua.gradsoft.javachecker.models.JavaClassArgumentBoundMethodModel
 
getFormalParametersTypes() - Method in class ua.gradsoft.javachecker.models.JavaClassConstructorModel
 
getFormalParametersTypes() - Method in class ua.gradsoft.javachecker.models.JavaClassMethodModel
 
getFormalParametersTypes(JavaClassTopLevelBlockOwnerModel) - Static method in class ua.gradsoft.javachecker.models.JavaClassTopLevelBlockOwnerModelHelper
 
getFormalParametersTypes() - Method in class ua.gradsoft.javachecker.models.JavaMethodModel
return list of forma-parameters types.
getFormalParametersTypes() - Method in class ua.gradsoft.javachecker.models.JavaTermAnnotationMethodModel
 
getFormalParametersTypes() - Method in class ua.gradsoft.javachecker.models.JavaTermEnumModel.ValueOfMethodModel
 
getFormalParametersTypes() - Method in class ua.gradsoft.javachecker.models.JavaTermEnumModel.ValuesMethodModel
 
getFormalParametersTypes() - Method in class ua.gradsoft.javachecker.models.JavaTermMethodModel
 
getFormalParametersTypes() - Method in class ua.gradsoft.javachecker.models.JavaTypeArgumentBoundMethodModel
 
getFullClassName() - Method in class ua.gradsoft.javachecker.models.JavaCompilationUnitModel.ClassImportSuffix
 
getFullName() - Method in class ua.gradsoft.javachecker.models.JavaNullTypeModel
 
getFullName() - Method in class ua.gradsoft.javachecker.models.JavaTypeModel
return full name (i.
getFullName() - Method in class ua.gradsoft.javachecker.models.JavaUnknownTypeModel
 
getFullNameAsTerm() - Method in class ua.gradsoft.javachecker.models.JavaArrayTypeModel
 
getFullNameAsTerm() - Method in class ua.gradsoft.javachecker.models.JavaClassTypeModel
 
getFullNameAsTerm() - Method in class ua.gradsoft.javachecker.models.JavaNullTypeModel
 
getFullNameAsTerm() - Method in class ua.gradsoft.javachecker.models.JavaPrimitiveTypeModel
 
getFullNameAsTerm() - Method in class ua.gradsoft.javachecker.models.JavaTermTypeAbstractModel
 
getFullNameAsTerm() - Method in class ua.gradsoft.javachecker.models.JavaTypeArgumentBoundTypeModel
 
getFullNameAsTerm() - Method in class ua.gradsoft.javachecker.models.JavaTypeModel
 
getFullNameAsTerm() - Method in class ua.gradsoft.javachecker.models.JavaTypeVariableAbstractModel
 
getFullNameAsTerm() - Method in class ua.gradsoft.javachecker.models.JavaUnknownTypeModel
 
getFullNameAsTerm() - Method in class ua.gradsoft.javachecker.models.JavaWildcardBoundsTypeModel
 
getGeneralAttributes() - Method in class ua.gradsoft.javachecker.attributes.AttributesData
 
getHome() - Static method in class ua.gradsoft.javachecker.JavaCheckerFacade
set home
getHome() - Static method in class ua.gradsoft.javachecker.Main
 
getIdentifier() - Method in interface ua.gradsoft.javachecker.models.expressions.JavaIdentifierExpressionModel
 
getIdentifier() - Method in class ua.gradsoft.javachecker.models.expressions.JavaTermIdentifierExpressionModel
 
getIdentifierTerm() - Method in class ua.gradsoft.javachecker.models.JavaTermEnumConstantModel
 
getIndex() - Method in class ua.gradsoft.javachecker.models.expressions.JavaTermArrayIndexExpressionModel
 
getIndex() - Method in class ua.gradsoft.javachecker.models.JavaClassFormalParameterModel
 
getIndex() - Method in class ua.gradsoft.javachecker.models.JavaFormalParameterModel
 
getIndex() - Method in class ua.gradsoft.javachecker.models.JavaTermFormalParameterModel
 
getIndex() - Method in class ua.gradsoft.javachecker.models.JavaTypeSubstitutedFormalParameterModel
 
getIndexed() - Method in class ua.gradsoft.javachecker.models.expressions.JavaTermArrayIndexExpressionModel
 
getInitExpressionModel() - Method in interface ua.gradsoft.javachecker.models.JavaLocalVariableModel
return InitExpressionModel or null if one is empty.
getInitExpressionModel() - Method in class ua.gradsoft.javachecker.models.JavaTermLocalVariableModel
 
getInitExpressionModel() - Method in class ua.gradsoft.javachecker.models.JavaTypeArgumentBoundLocalVariableModel
 
getInitializerExpression() - Method in class ua.gradsoft.javachecker.models.JavaClassEnumConstantModel
 
getInitializerExpression() - Method in class ua.gradsoft.javachecker.models.JavaClassFieldModel
 
getInitializerExpression() - Method in class ua.gradsoft.javachecker.models.JavaMemberVariableModel
 
getInitializerExpression() - Method in class ua.gradsoft.javachecker.models.JavaTermEnumConstantModel
 
getInitializerExpression() - Method in class ua.gradsoft.javachecker.models.JavaTermMemberVariableModel
return intializer expression, if one defined; otherwise - null
getInitializerExpression() - Method in class ua.gradsoft.javachecker.models.JavaTypeArgumentBoundMemberVariableModel
 
getInitializerModels() - Method in class ua.gradsoft.javachecker.models.JavaArrayTypeModel
 
getInitializerModels() - Method in class ua.gradsoft.javachecker.models.JavaClassTypeModel
 
getInitializerModels() - Method in class ua.gradsoft.javachecker.models.JavaNullTypeModel
 
getInitializerModels() - Method in class ua.gradsoft.javachecker.models.JavaPrimitiveTypeModel
 
getInitializerModels() - Method in class ua.gradsoft.javachecker.models.JavaTermTypeAbstractModel
 
getInitializerModels() - Method in class ua.gradsoft.javachecker.models.JavaTypeArgumentBoundTypeModel
 
getInitializerModels() - Method in class ua.gradsoft.javachecker.models.JavaTypeModel
get list of initializer models
getInitializerModels() - Method in class ua.gradsoft.javachecker.models.JavaTypeVariableAbstractModel
 
getInitializerModels() - Method in class ua.gradsoft.javachecker.models.JavaUnknownTypeModel
 
getInitializerModels() - Method in class ua.gradsoft.javachecker.models.JavaWildcardBoundsTypeModel
 
getInitOrIterateTerm() - Method in class ua.gradsoft.javachecker.models.JavaTermLocalVariableModel
 
getInstanceOfType() - Method in class ua.gradsoft.javachecker.models.expressions.JavaTermInstanceOfExpressionModel
 
getIntConfigValue(String, int) - Method in class ua.gradsoft.javachecker.JavaFacts
 
getIntegerLiteralType(String) - Static method in class ua.gradsoft.javachecker.models.JavaExpressionHelper
 
getIntegerLiteralType(String) - Method in class ua.gradsoft.javachecker.ProxyJavaFacts
 
getInternalException() - Method in exception ua.gradsoft.javachecker.ProcessingException
 
getIntValue() - Method in class ua.gradsoft.javachecker.models.JavaClassModifiersModel
 
getIntValue() - Method in class ua.gradsoft.javachecker.models.JavaModifiersModel
 
getIntValue() - Method in class ua.gradsoft.javachecker.models.JavaTermModifiersModel
 
getJarsClassLoader() - Method in class ua.gradsoft.javachecker.PackagesStore
 
getJavaClass() - Method in class ua.gradsoft.javachecker.models.JavaClassTypeModel
 
getJavaFacts() - Method in class ua.gradsoft.javachecker.models.JavaMethodModel
 
getJavaFacts() - Method in class ua.gradsoft.javachecker.models.JavaTypeModel
 
getJavaIdentifierAsString(Term) - Static method in class ua.gradsoft.javachecker.JUtils
 
getJavaNameAsString(Term) - Static method in class ua.gradsoft.javachecker.JUtils
return complex java name as string/
getJavaNameAsString(Term, int) - Static method in class ua.gradsoft.javachecker.JUtils
return first lastIndex components of list t as complext java name as string
getJavaNameLastComponentAsString(Term) - Static method in class ua.gradsoft.javachecker.JUtils
 
getJavaUnitModel() - Method in class ua.gradsoft.javachecker.models.AnalyzedUnitRef
 
getKind() - Method in class ua.gradsoft.javachecker.models.expressions.JavaClassObjectConstantExpressionModel
 
getKind() - Method in class ua.gradsoft.javachecker.models.expressions.JavaTermAdditiveExpressionModel
 
getKind() - Method in class ua.gradsoft.javachecker.models.expressions.JavaTermAllocationExpressionModel
 
getKind() - Method in class ua.gradsoft.javachecker.models.expressions.JavaTermAndExpressionModel
 
getKind() - Method in class ua.gradsoft.javachecker.models.expressions.JavaTermAnnotationExpressionModel
 
getKind() - Method in class ua.gradsoft.javachecker.models.expressions.JavaTermAnnotationMemberValueArrayInitializerExpressionModel
 
getKind() - Method in class ua.gradsoft.javachecker.models.expressions.JavaTermArrayIndexExpressionModel
 
getKind() - Method in class ua.gradsoft.javachecker.models.expressions.JavaTermArrayInitializerExpressionModel
 
getKind() - Method in class ua.gradsoft.javachecker.models.expressions.JavaTermAssigmentExpressionModel
 
getKind() - Method in class ua.gradsoft.javachecker.models.expressions.JavaTermBooleanLiteralExpressionModel
 
getKind() - Method in class ua.gradsoft.javachecker.models.expressions.JavaTermCastExpressionModel
 
getKind() - Method in class ua.gradsoft.javachecker.models.expressions.JavaTermCharacterLiteralExpressionModel
 
getKind() - Method in class ua.gradsoft.javachecker.models.expressions.JavaTermClassLiteralExpressionModel
 
getKind() - Method in class ua.gradsoft.javachecker.models.expressions.JavaTermConditionalAndExpressionModel
 
getKind() - Method in class ua.gradsoft.javachecker.models.expressions.JavaTermConditionalExpressionModel
 
getKind() - Method in class ua.gradsoft.javachecker.models.expressions.JavaTermConditionalOrExpressionModel
 
getKind() - Method in class ua.gradsoft.javachecker.models.expressions.JavaTermEqualityExpressionModel
 
getKind() - Method in class ua.gradsoft.javachecker.models.expressions.JavaTermExclusiveOrExpressionModel
 
getKind() - Method in class ua.gradsoft.javachecker.models.expressions.JavaTermFieldExpressionModel
 
getKind() - Method in class ua.gradsoft.javachecker.models.expressions.JavaTermFloatingPointLiteralExpressionModel
 
getKind() - Method in class ua.gradsoft.javachecker.models.expressions.JavaTermFunctionCallExpressionModel
 
getKind() - Method in class ua.gradsoft.javachecker.models.expressions.JavaTermIdentifierExpressionModel
 
getKind() - Method in class ua.gradsoft.javachecker.models.expressions.JavaTermInclusiveOrExpressionModel
 
getKind() - Method in class ua.gradsoft.javachecker.models.expressions.JavaTermInnerAllocationExpressionModel
 
getKind() - Method in class ua.gradsoft.javachecker.models.expressions.JavaTermInstanceOfExpressionModel
 
getKind() - Method in class ua.gradsoft.javachecker.models.expressions.JavaTermIntegerLiteralExpressionModel
 
getKind() - Method in class ua.gradsoft.javachecker.models.expressions.JavaTermMethodCallExpressionModel
 
getKind() - Method in class ua.gradsoft.javachecker.models.expressions.JavaTermMultiplicativeExpressionModel
 
getKind() - Method in class ua.gradsoft.javachecker.models.expressions.JavaTermNameExpressionModel
 
getKind() - Method in class ua.gradsoft.javachecker.models.expressions.JavaTermNestedTypeExpressionModel
 
getKind() - Method in class ua.gradsoft.javachecker.models.expressions.JavaTermNullLiteralExpressionModel
 
getKind() - Method in class ua.gradsoft.javachecker.models.expressions.JavaTermParentizedExpressionModel
 
getKind() - Method in class ua.gradsoft.javachecker.models.expressions.JavaTermPostfixExpressionModel
 
getKind() - Method in class ua.gradsoft.javachecker.models.expressions.JavaTermPredecrementExpressionModel
 
getKind() - Method in class ua.gradsoft.javachecker.models.expressions.JavaTermPreincrementExpressionModel
 
getKind() - Method in class ua.gradsoft.javachecker.models.expressions.JavaTermRelationalExpressionModel
 
getKind() - Method in class ua.gradsoft.javachecker.models.expressions.JavaTermShiftExpressionModel
 
getKind() - Method in class ua.gradsoft.javachecker.models.expressions.JavaTermSpecializedMethodCallExpressionModel
 
getKind() - Method in class ua.gradsoft.javachecker.models.expressions.JavaTermStaticFieldExpressionModel
 
getKind() - Method in class ua.gradsoft.javachecker.models.expressions.JavaTermStringLiteralExpressionModel
 
getKind() - Method in class ua.gradsoft.javachecker.models.expressions.JavaTermSuperExpressionModel
 
getKind() - Method in class ua.gradsoft.javachecker.models.expressions.JavaTermSuperPrefixExpressionModel
 
getKind() - Method in class ua.gradsoft.javachecker.models.expressions.JavaTermSwitchConstantExpressionModel
 
getKind() - Method in class ua.gradsoft.javachecker.models.expressions.JavaTermThisExpressionModel
 
getKind() - Method in class ua.gradsoft.javachecker.models.expressions.JavaTermThisPrefixExpressionModel
 
getKind() - Method in class ua.gradsoft.javachecker.models.expressions.JavaTermTypeNameExpressionModel
 
getKind() - Method in class ua.gradsoft.javachecker.models.expressions.JavaTermUnaryExpressionModel
 
getKind() - Method in interface ua.gradsoft.javachecker.models.JavaExpressionModel
 
getKind() - Method in class ua.gradsoft.javachecker.models.JavaFormalParameterModel
 
getKind() - Method in class ua.gradsoft.javachecker.models.JavaMemberVariableModel
 
getKind() - Method in interface ua.gradsoft.javachecker.models.JavaStatementModel
 
getKind() - Method in class ua.gradsoft.javachecker.models.JavaTermFormalParameterModel
 
getKind() - Method in class ua.gradsoft.javachecker.models.JavaTermLocalVariableModel
 
getKind() - Method in class ua.gradsoft.javachecker.models.JavaTermStatementModel
 
getKind() - Method in class ua.gradsoft.javachecker.models.JavaTypeArgumentBoundExpressionModel
 
getKind() - Method in class ua.gradsoft.javachecker.models.JavaTypeArgumentBoundLocalVariableModel
 
getKind() - Method in class ua.gradsoft.javachecker.models.JavaTypeArgumentBoundStatementModel
 
getKind() - Method in interface ua.gradsoft.javachecker.models.JavaVariableModel
get kind of variable
getKind() - Method in class ua.gradsoft.javachecker.models.JavaWildcardBoundsTypeModel
 
getLastAnonimousTypeIndex() - Method in class ua.gradsoft.javachecker.models.JavaTermTypeAbstractModel
 
getLastLocalTypeIndex() - Method in class ua.gradsoft.javachecker.models.JavaTermTypeAbstractModel
 
getLine() - Method in class ua.gradsoft.javachecker.FileAndLine
 
getLoadedPackageModels() - Method in class ua.gradsoft.javachecker.PackagesStore
 
getLocalType() - Method in interface ua.gradsoft.javachecker.models.JavaStatementModel
local type, defined in this statements.
getLocalType() - Method in class ua.gradsoft.javachecker.models.JavaTermStatementModel
return localType, defined in this statement, or null if this statement is not defintioon fo local type
getLocalType() - Method in class ua.gradsoft.javachecker.models.JavaTypeArgumentBoundStatementModel
get local type, defined in this statements.
getLocalVariable(String) - Method in class ua.gradsoft.javachecker.trace.JavaTraceContext
 
getLocalVariableNamePattern() - Method in class ua.gradsoft.javachecker.JavaFacts
 
getLocalVariables() - Method in interface ua.gradsoft.javachecker.models.JavaStatementModel
get local variables, defined in this statement.
getLocalVariables() - Method in class ua.gradsoft.javachecker.models.JavaTermStatementModel
 
getLocalVariables() - Method in class ua.gradsoft.javachecker.models.JavaTypeArgumentBoundStatementModel
get local variables, defined in this statement.
getMemberModelsList() - Method in class ua.gradsoft.javachecker.models.JavaTermTypeAbstractModel
 
getMemberVariableModels() - Method in class ua.gradsoft.javachecker.models.JavaArrayTypeModel
 
getMemberVariableModels() - Method in class ua.gradsoft.javachecker.models.JavaClassTypeModel
 
getMemberVariableModels() - Method in class ua.gradsoft.javachecker.models.JavaNullTypeModel
 
getMemberVariableModels() - Method in class ua.gradsoft.javachecker.models.JavaPrimitiveTypeModel
 
getMemberVariableModels() - Method in class ua.gradsoft.javachecker.models.JavaTermTypeAbstractModel
 
getMemberVariableModels() - Method in class ua.gradsoft.javachecker.models.JavaTypeArgumentBoundTypeModel
 
getMemberVariableModels() - Method in class ua.gradsoft.javachecker.models.JavaTypeModel
key of return values are names of member variables.
getMemberVariableModels() - Method in class ua.gradsoft.javachecker.models.JavaTypeVariableAbstractModel
 
getMemberVariableModels() - Method in class ua.gradsoft.javachecker.models.JavaUnknownTypeModel
 
getMemberVariableModels() - Method in class ua.gradsoft.javachecker.models.JavaWildcardBoundsTypeModel
 
getMethodAttribute(JavaMethodModel, String) - Method in class ua.gradsoft.javachecker.attributes.JavaTypeModelAttributes
 
getMethodBody() - Method in class ua.gradsoft.javachecker.models.JavaTermMethodModel
 
getMethodModel() - Method in class ua.gradsoft.javachecker.models.expressions.JavaTermFunctionCallExpressionModel
 
getMethodModel() - Method in class ua.gradsoft.javachecker.models.expressions.JavaTermMethodCallExpressionModel
 
getMethodModel() - Method in class ua.gradsoft.javachecker.models.expressions.JavaTermSpecializedMethodCallExpressionModel
 
getMethodModel() - Method in class ua.gradsoft.javachecker.models.JavaMethodModelAttributes
 
getMethodModels() - Method in class ua.gradsoft.javachecker.models.JavaArrayTypeModel
 
getMethodModels() - Method in class ua.gradsoft.javachecker.models.JavaClassTypeModel
key of return values is name of methods.
getMethodModels() - Method in class ua.gradsoft.javachecker.models.JavaNullTypeModel
 
getMethodModels() - Method in class ua.gradsoft.javachecker.models.JavaPrimitiveTypeModel
 
getMethodModels() - Method in class ua.gradsoft.javachecker.models.JavaTermTypeAbstractModel
 
getMethodModels() - Method in class ua.gradsoft.javachecker.models.JavaTypeArgumentBoundTypeModel
 
getMethodModels() - Method in class ua.gradsoft.javachecker.models.JavaTypeModel
key of return values are names of methods.
getMethodModels() - Method in class ua.gradsoft.javachecker.models.JavaTypeVariableAbstractModel
 
getMethodModels() - Method in class ua.gradsoft.javachecker.models.JavaUnknownTypeModel
return empty map.
getMethodModels() - Method in class ua.gradsoft.javachecker.models.JavaWildcardBoundsTypeModel
 
getMethodNamePattern() - Method in class ua.gradsoft.javachecker.JavaFacts
 
getModelTerm() - Method in class ua.gradsoft.javachecker.models.expressions.JavaClassObjectConstantExpressionModel
 
getModelTerm() - Method in class ua.gradsoft.javachecker.models.expressions.JavaTermAdditiveExpressionModel
AdditiveExpressionModel(x,y,op,ctx);
getModelTerm() - Method in class ua.gradsoft.javachecker.models.expressions.JavaTermAllocationExpressionModel
AllocationExpressionModel(TypeRef,(arguments*),ctx)
getModelTerm() - Method in class ua.gradsoft.javachecker.models.expressions.JavaTermAndExpressionModel
AndExpressionModel(x,y,ctx)
getModelTerm() - Method in class ua.gradsoft.javachecker.models.expressions.JavaTermAnnotationExpressionModel
 
getModelTerm() - Method in class ua.gradsoft.javachecker.models.expressions.JavaTermAnnotationMemberValueArrayInitializerExpressionModel
AnnotationMemberValueArrayInitalizerExpression(Identifier(name),[subexprs..],ctx)
getModelTerm() - Method in class ua.gradsoft.javachecker.models.expressions.JavaTermArrayIndexExpressionModel
ArrayIndexExpressionModel(array,index,ctx)
getModelTerm() - Method in class ua.gradsoft.javachecker.models.expressions.JavaTermArrayInitializerExpressionModel
ArrayInitializerModel([expr1,..exprN], ctx)
getModelTerm() - Method in class ua.gradsoft.javachecker.models.expressions.JavaTermAssigmentExpressionModel
AssigmentExpressionModel(left,right,op,ctx)
getModelTerm() - Method in class ua.gradsoft.javachecker.models.expressions.JavaTermBooleanLiteralExpressionModel
BooleanLiteral()
getModelTerm() - Method in class ua.gradsoft.javachecker.models.expressions.JavaTermCastExpressionModel
CastExpressionModel(TypeRef,subExpression,ctx)
getModelTerm() - Method in class ua.gradsoft.javachecker.models.expressions.JavaTermCharacterLiteralExpressionModel
CharacterLiteral(string)
getModelTerm() - Method in class ua.gradsoft.javachecker.models.expressions.JavaTermClassLiteralExpressionModel
ClassLiteralModel(TypeRef,tctx)
getModelTerm() - Method in class ua.gradsoft.javachecker.models.expressions.JavaTermConditionalAndExpressionModel
ConditionalAndExpressionModel(x,y,tctx)
getModelTerm() - Method in class ua.gradsoft.javachecker.models.expressions.JavaTermConditionalExpressionModel
ConditionalExpressionModel(condition,ifTrue,ifFalse,tctx)
getModelTerm() - Method in class ua.gradsoft.javachecker.models.expressions.JavaTermConditionalOrExpressionModel
ConditionalOrExpressionModel(x,y,ctx)
getModelTerm() - Method in class ua.gradsoft.javachecker.models.expressions.JavaTermEqualityExpressionModel
EqualityExpressionModel(x,y,op,tctx)
getModelTerm() - Method in class ua.gradsoft.javachecker.models.expressions.JavaTermExclusiveOrExpressionModel
ExclusiveOrExpressionModel(x,y,ctx)
getModelTerm() - Method in class ua.gradsoft.javachecker.models.expressions.JavaTermFieldExpressionModel
FieldModel(objectOrType,identifier,fieldModel,ctx)
getModelTerm() - Method in class ua.gradsoft.javachecker.models.expressions.JavaTermFloatingPointLiteralExpressionModel
FloatingPointLiteral(Double|Float)
getModelTerm() - Method in class ua.gradsoft.javachecker.models.expressions.JavaTermFunctionCallExpressionModel
FunctionCallModel(name,argumentsList,javaMethodModel,ctx)
getModelTerm() - Method in class ua.gradsoft.javachecker.models.expressions.JavaTermIdentifierExpressionModel
VariableModel(name,variableModel) | TypeRef(name,typeModel)
getModelTerm() - Method in class ua.gradsoft.javachecker.models.expressions.JavaTermInclusiveOrExpressionModel
InclusiveOrExpressionModel(x,y,ctx)
getModelTerm() - Method in class ua.gradsoft.javachecker.models.expressions.JavaTermInnerAllocationExpressionModel
InnerAllocationExpressionModel(ownerType,type,$expression-list,$ctx) where type and ownerType are TypeRefs.
getModelTerm() - Method in class ua.gradsoft.javachecker.models.expressions.JavaTermInstanceOfExpressionModel
InstanceOfExpressionModel(typeRef,expression,ctx)
getModelTerm() - Method in class ua.gradsoft.javachecker.models.expressions.JavaTermIntegerLiteralExpressionModel
IntegerLiteral(Long|Int)
getModelTerm() - Method in class ua.gradsoft.javachecker.models.expressions.JavaTermMethodCallExpressionModel
MethodCallModel(obj,identifier,arguments,methodModel,ctx)
getModelTerm() - Method in class ua.gradsoft.javachecker.models.expressions.JavaTermMultiplicativeExpressionModel
MultiplicativeExpressionModel(x,y,op,ctx)
getModelTerm() - Method in class ua.gradsoft.javachecker.models.expressions.JavaTermNameExpressionModel
 
getModelTerm() - Method in class ua.gradsoft.javachecker.models.expressions.JavaTermNestedTypeExpressionModel
TypeRef(t_,type_)
getModelTerm() - Method in class ua.gradsoft.javachecker.models.expressions.JavaTermNullLiteralExpressionModel
NullLiteral()
getModelTerm() - Method in class ua.gradsoft.javachecker.models.expressions.JavaTermParentizedExpressionModel
model term of subexpression
getModelTerm() - Method in class ua.gradsoft.javachecker.models.expressions.JavaTermPostfixExpressionModel
PostfixExpressionModel(x,op,ctx)
getModelTerm() - Method in class ua.gradsoft.javachecker.models.expressions.JavaTermPredecrementExpressionModel
PredecrementExpressionModel(x,ctx)
getModelTerm() - Method in class ua.gradsoft.javachecker.models.expressions.JavaTermPreincrementExpressionModel
PreincrementExpressionModel(x,ctx)
getModelTerm() - Method in class ua.gradsoft.javachecker.models.expressions.JavaTermRelationalExpressionModel
RelationalExpressionModel(x,y,op,ctx)
getModelTerm() - Method in class ua.gradsoft.javachecker.models.expressions.JavaTermShiftExpressionModel
ShiftExpressionModel(x,y,op,ctx)
getModelTerm() - Method in class ua.gradsoft.javachecker.models.expressions.JavaTermSpecializedMethodCallExpressionModel
SpecializedMethodCallModel(bounds,obj,name,arguments,methodModel,ctx)
getModelTerm() - Method in class ua.gradsoft.javachecker.models.expressions.JavaTermStaticFieldExpressionModel
StaticFieldModel(typeRef,identifier,memberVariable,ctx)
getModelTerm() - Method in class ua.gradsoft.javachecker.models.expressions.JavaTermStringLiteralExpressionModel
StringLiteral(String)
getModelTerm() - Method in class ua.gradsoft.javachecker.models.expressions.JavaTermSuperExpressionModel
SuperModel(x,ctx)
getModelTerm() - Method in class ua.gradsoft.javachecker.models.expressions.JavaTermSuperPrefixExpressionModel
SuperPrefixModel(ctx)
getModelTerm() - Method in class ua.gradsoft.javachecker.models.expressions.JavaTermSwitchConstantExpressionModel
CaseConstantModel(SwitchLabel(labelModel), labelIdentifier|expr|default, @type, ctx)
getModelTerm() - Method in class ua.gradsoft.javachecker.models.expressions.JavaTermThisExpressionModel
ThisModel(x,ctx)
getModelTerm() - Method in class ua.gradsoft.javachecker.models.expressions.JavaTermThisPrefixExpressionModel
ThisPrefixExpressionModel(ctx)
getModelTerm() - Method in class ua.gradsoft.javachecker.models.expressions.JavaTermTypeNameExpressionModel
TypeRef(t,type_)
getModelTerm() - Method in class ua.gradsoft.javachecker.models.expressions.JavaTermUnaryExpressionModel
UnaryExpressionModel(x,op,ctx)
getModelTerm() - Method in class ua.gradsoft.javachecker.models.JavaAnnotationDefaultInstanceModel
DefaultAnnotationInstance($obj)
getModelTerm() - Method in class ua.gradsoft.javachecker.models.JavaAnnotationInstanceModel
 
getModelTerm() - Method in class ua.gradsoft.javachecker.models.JavaArrayTypeModel
 
getModelTerm() - Method in class ua.gradsoft.javachecker.models.JavaClassAnnotationInstanceModel
ClassAnnotationInstanceModel(this)
getModelTerm() - Method in class ua.gradsoft.javachecker.models.JavaClassArgumentBoundMethodModel
return ClassTypeArgumentBoundMethodModel(context)
getModelTerm() - Method in class ua.gradsoft.javachecker.models.JavaClassConstructorModel
 
getModelTerm() - Method in class ua.gradsoft.javachecker.models.JavaClassEnumConstantModel
ClassEnumConstantModel(this)
getModelTerm() - Method in class ua.gradsoft.javachecker.models.JavaClassFieldModel
ClassField(this)
getModelTerm() - Method in class ua.gradsoft.javachecker.models.JavaClassMethodModel
ClassMethod(context)
getModelTerm() - Method in class ua.gradsoft.javachecker.models.JavaClassModifiersModel
 
getModelTerm() - Method in class ua.gradsoft.javachecker.models.JavaClassTypeModel
return "ClassTypeModel(context)"
getModelTerm() - Method in class ua.gradsoft.javachecker.models.JavaDelegatedAnnotationInstanceModel
 
getModelTerm() - Method in interface ua.gradsoft.javachecker.models.JavaExpressionModel
 
getModelTerm() - Method in class ua.gradsoft.javachecker.models.JavaFormalParameterModel
FormalParameterModel(Modifiers,TypeRef(),Identifier,ctx)
getModelTerm() - Method in class ua.gradsoft.javachecker.models.JavaInitializerModel
get model term.
getModelTerm() - Method in interface ua.gradsoft.javachecker.models.JavaLocalVariableModel
 
getModelTerm() - Method in class ua.gradsoft.javachecker.models.JavaMemberVariableModel
 
getModelTerm() - Method in class ua.gradsoft.javachecker.models.JavaModifiersModel
 
getModelTerm() - Method in class ua.gradsoft.javachecker.models.JavaNullTypeModel
NullType(ctx)
getModelTerm() - Method in class ua.gradsoft.javachecker.models.JavaPrimitiveTypeModel
 
getModelTerm() - Method in interface ua.gradsoft.javachecker.models.JavaStatementModel
Model term
getModelTerm() - Method in class ua.gradsoft.javachecker.models.JavaTermAnnotationInstanceModel
AnnotationInstanceModel([pair(Identifier(name),value)],this)
getModelTerm() - Method in class ua.gradsoft.javachecker.models.JavaTermAnnotationMethodModel
AnnotationMethodModel(modifiers,name,type,defaultValue, context)
getModelTerm() - Method in class ua.gradsoft.javachecker.models.JavaTermAnnotationTypeModel
AnnotationTypeDeclarationModel(modifiers,name,[...],context) where AnnotationTypeBodyModel is list,
getModelTerm() - Method in class ua.gradsoft.javachecker.models.JavaTermAnonimousTypeModel
AnonimousClassModel(name_,super, membersList,ctx)
getModelTerm() - Method in class ua.gradsoft.javachecker.models.JavaTermClassOrInterfaceModel
ClassOrInterfaceModel(modifiers,"class"|"interface",Identifier,typeParameters,extendsList,ImplementsList,ClassOrInterfaceBody(membersList),context)
getModelTerm() - Method in class ua.gradsoft.javachecker.models.JavaTermConstructorModel
ConstructorModel(modifiers,TypeParameters,identifier,FormalParameters,trowsNameList,BlockModel,context)
getModelTerm() - Method in class ua.gradsoft.javachecker.models.JavaTermEnumAnonimousTypeModel
EnumAnonimousTypeModel(identifier,membersList,context)
getModelTerm() - Method in class ua.gradsoft.javachecker.models.JavaTermEnumConstantModel
EnumConstantModel(identifierTerm,arguments,subtype)
getModelTerm() - Method in class ua.gradsoft.javachecker.models.JavaTermEnumModel
EnumModel(modifiers,identifier,superInterfaces, enumConstantsList,membersList,context)
getModelTerm() - Method in class ua.gradsoft.javachecker.models.JavaTermEnumModel.ValueOfMethodModel
MethodModel(modifiers,typeParameters,ResultType,name,formalParameters,throws,block,context)
getModelTerm() - Method in class ua.gradsoft.javachecker.models.JavaTermEnumModel.ValuesMethodModel
MethodModel(modifiers,typeParameters,ResultType,name,formalParameters,throws,block,context)
getModelTerm() - Method in class ua.gradsoft.javachecker.models.JavaTermInitializerModel
InitializerModel(modifiersTerm,blockModelTerm,ctx);
getModelTerm() - Method in class ua.gradsoft.javachecker.models.JavaTermLocalVariableModel
LocalVariableModel(Modifiers,TypeRef(),Identifier,Init, ctx)
getModelTerm() - Method in class ua.gradsoft.javachecker.models.JavaTermMemberVariableModel
MemberVariableModel(modifiers, TypeRef, name, initializer,this)
getModelTerm() - Method in class ua.gradsoft.javachecker.models.JavaTermMethodModel
MethodModel(modifiers,typeParameters,ResultType,name,formalParameters,throws,block,context)
getModelTerm() - Method in class ua.gradsoft.javachecker.models.JavaTermModifiersModel
Modifiers(AnnotationsList, int)
getModelTerm() - Method in class ua.gradsoft.javachecker.models.JavaTermStatementModel
StatementModel(term,context)
getModelTerm() - Method in class ua.gradsoft.javachecker.models.JavaTermTopLevelBlockModel
Block( cons(StatementModel,....) )
getModelTerm() - Method in interface ua.gradsoft.javachecker.models.JavaTopLevelBlockModel
return model term (which is sequence of statement models)
getModelTerm() - Method in interface ua.gradsoft.javachecker.models.JavaTopLevelBlockOwnerModel
return model term.
getModelTerm() - Method in class ua.gradsoft.javachecker.models.JavaTypeArgumentBoundConstructorModel
TypeArgumentBoundConstructorModel(originModel,substitution, context);
getModelTerm() - Method in class ua.gradsoft.javachecker.models.JavaTypeArgumentBoundExpressionModel
TypeArgumentBoundExpressionModel(origin,substitution)
getModelTerm() - Method in class ua.gradsoft.javachecker.models.JavaTypeArgumentBoundInitializerModel
TypeArgumentBoundInitializer(origin,substitutione,context)
getModelTerm() - Method in class ua.gradsoft.javachecker.models.JavaTypeArgumentBoundLocalVariableModel
TypeArgumentBoundLocalVariable(origin,substitution)
getModelTerm() - Method in class ua.gradsoft.javachecker.models.JavaTypeArgumentBoundMemberVariableModel
TypeArgumentBoundMemberVariableModel(originModelTerm,ownerModelTerm)
getModelTerm() - Method in class ua.gradsoft.javachecker.models.JavaTypeArgumentBoundMethodModel
TypeArgumentBoundMethodModel(originModel,substitution, context);
getModelTerm() - Method in class ua.gradsoft.javachecker.models.JavaTypeArgumentBoundStatementModel
TypeArgumentBoundStatementModel(originModel,ctx)
getModelTerm() - Method in class ua.gradsoft.javachecker.models.JavaTypeArgumentBoundTopLevelBlockModel
TypeArgumentBoundTopLevelBlock(origin,ctx)
getModelTerm() - Method in class ua.gradsoft.javachecker.models.JavaTypeArgumentBoundTypeModel
TypeArgumentBoundTypeModel(ClassOrInterfaceType(originModel,list(typeModels)),placeContext)
getModelTerm() - Method in class ua.gradsoft.javachecker.models.JavaTypeModel
return TypeModel term.
getModelTerm() - Method in class ua.gradsoft.javachecker.models.JavaTypeVariableAbstractModel
TypeVariableModel(name,bounds) where bounds are lists of typeref
getModelTerm() - Method in class ua.gradsoft.javachecker.models.JavaUnknownTypeModel
UnknownTypeModel(context)
getModelTerm() - Method in class ua.gradsoft.javachecker.models.JavaWildcardBoundsTypeModel
WildCardBoundsModel(super|extends,TypeRef(boundTypeModel_))
getModifiers() - Method in class ua.gradsoft.javachecker.models.JavaClassArgumentBoundMethodModel
 
getModifiers() - Method in class ua.gradsoft.javachecker.models.JavaClassFieldModel
 
getModifiers() - Method in class ua.gradsoft.javachecker.models.JavaClassFormalParameterModel
 
getModifiers() - Method in class ua.gradsoft.javachecker.models.JavaClassMethodModel
 
getModifiers() - Method in class ua.gradsoft.javachecker.models.JavaEnumConstantModel
 
getModifiers() - Method in class ua.gradsoft.javachecker.models.JavaFormalParameterModel
 
getModifiers() - Method in class ua.gradsoft.javachecker.models.JavaInitializerModel
get initializer modifiers.
getModifiers() - Method in class ua.gradsoft.javachecker.models.JavaMemberVariableModel
 
getModifiers() - Method in class ua.gradsoft.javachecker.models.JavaMethodModel
 
getModifiers() - Method in class ua.gradsoft.javachecker.models.JavaTermAnnotationMethodModel
 
getModifiers() - Method in class ua.gradsoft.javachecker.models.JavaTermEnumModel.ValueOfMethodModel
 
getModifiers() - Method in class ua.gradsoft.javachecker.models.JavaTermEnumModel.ValuesMethodModel
 
getModifiers() - Method in class ua.gradsoft.javachecker.models.JavaTermFormalParameterModel
 
getModifiers() - Method in class ua.gradsoft.javachecker.models.JavaTermInitializerModel
get initializer modifiers.
getModifiers() - Method in class ua.gradsoft.javachecker.models.JavaTermLocalVariableModel
 
getModifiers() - Method in class ua.gradsoft.javachecker.models.JavaTermMemberVariableModel
 
getModifiers() - Method in class ua.gradsoft.javachecker.models.JavaTermMethodModel
 
getModifiers() - Method in class ua.gradsoft.javachecker.models.JavaTypeArgumentBoundInitializerModel
 
getModifiers() - Method in class ua.gradsoft.javachecker.models.JavaTypeArgumentBoundLocalVariableModel
 
getModifiers() - Method in class ua.gradsoft.javachecker.models.JavaTypeArgumentBoundMemberVariableModel
 
getModifiers() - Method in class ua.gradsoft.javachecker.models.JavaTypeArgumentBoundMethodModel
 
getModifiers() - Method in class ua.gradsoft.javachecker.models.JavaTypeSubstitutedFormalParameterModel
 
getModifiers() - Method in interface ua.gradsoft.javachecker.models.JavaVariableModel
return modifiers
getModifiersModel() - Method in class ua.gradsoft.javachecker.models.JavaArrayTypeModel
 
getModifiersModel() - Method in class ua.gradsoft.javachecker.models.JavaClassTypeModel
 
getModifiersModel() - Method in class ua.gradsoft.javachecker.models.JavaClassTypeVariableModel
 
getModifiersModel() - Method in class ua.gradsoft.javachecker.models.JavaNullTypeModel
 
getModifiersModel() - Method in class ua.gradsoft.javachecker.models.JavaPrimitiveTypeModel
 
getModifiersModel() - Method in class ua.gradsoft.javachecker.models.JavaTermTypeAbstractModel
 
getModifiersModel() - Method in class ua.gradsoft.javachecker.models.JavaTermTypeVariableModel
 
getModifiersModel() - Method in class ua.gradsoft.javachecker.models.JavaTypeArgumentBoundTypeModel
 
getModifiersModel() - Method in class ua.gradsoft.javachecker.models.JavaTypeArgumentBoundTypeVariableModel
 
getModifiersModel() - Method in class ua.gradsoft.javachecker.models.JavaTypeModel
get modifiers moder
getModifiersModel() - Method in class ua.gradsoft.javachecker.models.JavaUnknownTypeModel
 
getModifiersModel() - Method in class ua.gradsoft.javachecker.models.JavaWildcardBoundsTypeModel
 
getMultiplicativeOperatorKind() - Method in class ua.gradsoft.javachecker.models.expressions.JavaTermMultiplicativeExpressionModel
 
getName() - Method in class ua.gradsoft.javachecker.ant.JavaCheckerTask.ConfigNVPair
 
getName() - Method in class ua.gradsoft.javachecker.checkers.AbstractChecker
 
getName() - Method in class ua.gradsoft.javachecker.models.JavaArrayTypeModel
 
getName() - Method in class ua.gradsoft.javachecker.models.JavaClassArgumentBoundMethodModel
 
getName() - Method in class ua.gradsoft.javachecker.models.JavaClassConstructorModel
 
getName() - Method in class ua.gradsoft.javachecker.models.JavaClassEnumConstantModel
 
getName() - Method in class ua.gradsoft.javachecker.models.JavaClassFieldModel
 
getName() - Method in class ua.gradsoft.javachecker.models.JavaClassFormalParameterModel
 
getName() - Method in class ua.gradsoft.javachecker.models.JavaClassMethodModel
 
getName() - Method in class ua.gradsoft.javachecker.models.JavaClassTypeModel
 
getName() - Method in class ua.gradsoft.javachecker.models.JavaClassTypeVariableModel
 
getName() - Method in class ua.gradsoft.javachecker.models.JavaFormalParameterModel
 
getName() - Method in class ua.gradsoft.javachecker.models.JavaInitializerModel
 
getName() - Method in interface ua.gradsoft.javachecker.models.JavaLocalVariableModel
 
getName() - Method in class ua.gradsoft.javachecker.models.JavaMemberVariableModel
 
getName() - Method in class ua.gradsoft.javachecker.models.JavaMethodModel
get name of method.
getName() - Method in class ua.gradsoft.javachecker.models.JavaNullTypeModel
 
getName() - Method in class ua.gradsoft.javachecker.models.JavaPackageModel
 
getName() - Method in class ua.gradsoft.javachecker.models.JavaPrimitiveTypeModel
 
getName() - Method in class ua.gradsoft.javachecker.models.JavaTermAnnotationMethodModel
 
getName() - Method in class ua.gradsoft.javachecker.models.JavaTermAnonimousTypeModel
 
getName() - Method in class ua.gradsoft.javachecker.models.JavaTermConstructorModel
 
getName() - Method in class ua.gradsoft.javachecker.models.JavaTermEnumConstantModel
 
getName() - Method in class ua.gradsoft.javachecker.models.JavaTermEnumModel.ValueOfMethodModel
 
getName() - Method in class ua.gradsoft.javachecker.models.JavaTermEnumModel.ValuesMethodModel
 
getName() - Method in class ua.gradsoft.javachecker.models.JavaTermFormalParameterModel
 
getName() - Method in class ua.gradsoft.javachecker.models.JavaTermLocalVariableModel
 
getName() - Method in class ua.gradsoft.javachecker.models.JavaTermMemberVariableModel
 
getName() - Method in class ua.gradsoft.javachecker.models.JavaTermMethodModel
 
getName() - Method in class ua.gradsoft.javachecker.models.JavaTermTypeAbstractModel
 
getName() - Method in class ua.gradsoft.javachecker.models.JavaTermTypeVariableModel
 
getName() - Method in interface ua.gradsoft.javachecker.models.JavaTopLevelBlockOwnerModel
return name of method or 'Initializer' or 'Constructor'
getName() - Method in class ua.gradsoft.javachecker.models.JavaTypeArgumentBoundConstructorModel
 
getName() - Method in class ua.gradsoft.javachecker.models.JavaTypeArgumentBoundLocalVariableModel
 
getName() - Method in class ua.gradsoft.javachecker.models.JavaTypeArgumentBoundMemberVariableModel
 
getName() - Method in class ua.gradsoft.javachecker.models.JavaTypeArgumentBoundMethodModel
 
getName() - Method in class ua.gradsoft.javachecker.models.JavaTypeArgumentBoundTypeModel
 
getName() - Method in class ua.gradsoft.javachecker.models.JavaTypeArgumentBoundTypeVariableModel
 
getName() - Method in class ua.gradsoft.javachecker.models.JavaTypeModel
 
getName() - Method in class ua.gradsoft.javachecker.models.JavaTypeModelRef
 
getName() - Method in class ua.gradsoft.javachecker.models.JavaTypeSubstitutedFormalParameterModel
 
getName() - Method in class ua.gradsoft.javachecker.models.JavaTypeVariableAbstractModel
 
getName() - Method in class ua.gradsoft.javachecker.models.JavaUnknownTypeModel
 
getName() - Method in interface ua.gradsoft.javachecker.models.JavaVariableModel
get name of variable.
getName() - Method in class ua.gradsoft.javachecker.models.JavaWildcardBoundsTypeModel
 
getName() - Method in enum ua.gradsoft.javachecker.ReportFormat
 
getName() - Method in class ua.gradsoft.javachecker.TypeOfViolation
 
getNameTerm() - Method in class ua.gradsoft.javachecker.models.JavaTermAnnotationInstanceModel
 
getNBoxing() - Method in class ua.gradsoft.javachecker.models.MethodMatchingConversions
 
getNestedTypeModels() - Method in class ua.gradsoft.javachecker.models.JavaArrayTypeModel
 
getNestedTypeModels() - Method in class ua.gradsoft.javachecker.models.JavaClassTypeModel
 
getNestedTypeModels() - Method in class ua.gradsoft.javachecker.models.JavaNullTypeModel
 
getNestedTypeModels() - Method in class ua.gradsoft.javachecker.models.JavaPrimitiveTypeModel
 
getNestedTypeModels() - Method in class ua.gradsoft.javachecker.models.JavaTermTypeAbstractModel
 
getNestedTypeModels() - Method in class ua.gradsoft.javachecker.models.JavaTypeArgumentBoundTypeModel
 
getNestedTypeModels() - Method in class ua.gradsoft.javachecker.models.JavaTypeModel
 
getNestedTypeModels() - Method in class ua.gradsoft.javachecker.models.JavaTypeVariableAbstractModel
 
getNestedTypeModels() - Method in class ua.gradsoft.javachecker.models.JavaUnknownTypeModel
 
getNestedTypeModels() - Method in class ua.gradsoft.javachecker.models.JavaWildcardBoundsTypeModel
 
getNNarrows() - Method in class ua.gradsoft.javachecker.models.MethodMatchingConversions
 
getNonFinalFieldNamePattern() - Method in class ua.gradsoft.javachecker.JavaFacts
 
getNProcessedFiles() - Static method in class ua.gradsoft.javachecker.Main
 
getNRows() - Method in class ua.gradsoft.javachecker.models.MethodMatchingConversions
 
getNSupers() - Method in class ua.gradsoft.javachecker.models.MethodMatchingConversions
 
getNull() - Static method in class ua.gradsoft.javachecker.models.expressions.JavaTermNullLiteralExpressionModel
 
getNullType() - Method in class ua.gradsoft.javachecker.ProxyJavaFacts
 
getNumberOfLoadedReferences() - Method in class ua.gradsoft.javachecker.models.JavaPackageModel
 
getNUnboxing() - Method in class ua.gradsoft.javachecker.models.MethodMatchingConversions
 
getOrCreateChild(String) - Method in class ua.gradsoft.javachecker.attributes.AttributesData
 
getOrigin() - Method in class ua.gradsoft.javachecker.models.JavaClassArgumentBoundMethodModel
 
getOrigin() - Method in class ua.gradsoft.javachecker.models.JavaTypeArgumentBoundConstructorModel
 
getOrigin() - Method in class ua.gradsoft.javachecker.models.JavaTypeArgumentBoundInitializerModel
 
getOrigin() - Method in class ua.gradsoft.javachecker.models.JavaTypeArgumentBoundMethodModel
 
getOrigin() - Method in class ua.gradsoft.javachecker.models.JavaTypeArgumentBoundStatementModel
 
getOrigin() - Method in class ua.gradsoft.javachecker.models.JavaTypeArgumentBoundTopLevelBlockModel
 
getOrigin() - Method in interface ua.gradsoft.javachecker.models.JavaTypeArgumentBoundTopLevelBlockOwnerModel
 
getOrigin() - Method in class ua.gradsoft.javachecker.models.JavaTypeArgumentBoundTypeModel
 
getOutputFname() - Static method in class ua.gradsoft.javachecker.Main
 
getOwner() - Method in class ua.gradsoft.javachecker.models.JavaTermMemberVariableModel
 
getOwnerModel() - Method in class ua.gradsoft.javachecker.models.JavaTermTopLevelBlockModel
 
getOwnerModel() - Method in interface ua.gradsoft.javachecker.models.JavaTopLevelBlockModel
 
getOwnerModel() - Method in class ua.gradsoft.javachecker.models.JavaTypeArgumentBoundTopLevelBlockModel
 
getOwnerTermModel() - Method in class ua.gradsoft.javachecker.models.JavaTermTopLevelBlockModel
 
getOwnerType() - Method in class ua.gradsoft.javachecker.models.JavaClassEnumConstantModel
 
getOwnerType() - Method in class ua.gradsoft.javachecker.models.JavaClassFieldModel
 
getOwnerType() - Method in class ua.gradsoft.javachecker.models.JavaFormalParameterModel
 
getOwnerType() - Method in class ua.gradsoft.javachecker.models.JavaMemberVariableModel
 
getOwnerType() - Method in class ua.gradsoft.javachecker.models.JavaTermEnumConstantModel
 
getOwnerType() - Method in class ua.gradsoft.javachecker.models.JavaTermLocalVariableModel
 
getOwnerType() - Method in class ua.gradsoft.javachecker.models.JavaTermMemberVariableModel
 
getOwnerType() - Method in class ua.gradsoft.javachecker.models.JavaTypeArgumentBoundLocalVariableModel
 
getOwnerType() - Method in class ua.gradsoft.javachecker.models.JavaTypeArgumentBoundMemberVariableModel
 
getOwnerType() - Method in interface ua.gradsoft.javachecker.models.JavaVariableModel
return type which own this variable.
getPackageModel() - Method in class ua.gradsoft.javachecker.models.JavaCompilationUnitModel
 
getPackageModel() - Method in class ua.gradsoft.javachecker.models.JavaCompilationUnitModel.PackageOrClassModelHolder
 
getPackageModel() - Method in class ua.gradsoft.javachecker.models.JavaPlaceContext
get package, inside which we situated.
getPackageModel() - Method in class ua.gradsoft.javachecker.models.JavaTypeModel
return model of package
getPackageName() - Method in class ua.gradsoft.javachecker.models.JavaClassUnitModel
 
getPackageName() - Method in class ua.gradsoft.javachecker.models.JavaCompilationUnitModel
 
getPackageName() - Method in class ua.gradsoft.javachecker.models.JavaUnitModel
 
getPackageOrClassImports() - Method in class ua.gradsoft.javachecker.models.JavaCompilationUnitModel
 
getPackagesStore() - Static method in class ua.gradsoft.javachecker.JavaCheckerFacade
get packages store
getPackagesStore() - Method in class ua.gradsoft.javachecker.JavaFacts
 
getParameterAnnotations() - Method in class ua.gradsoft.javachecker.models.JavaClassConstructorModel
 
getParameterAnnotations() - Method in class ua.gradsoft.javachecker.models.JavaClassMethodModel
 
getParameterAnnotations() - Method in interface ua.gradsoft.javachecker.models.JavaClassTopLevelBlockOwnerModel
get pointer to parameters annotations.
getParentStatementModel() - Method in interface ua.gradsoft.javachecker.models.JavaStatementModel
get parent statement (if one eists), otherwise - return null.
getParentStatementModel() - Method in class ua.gradsoft.javachecker.models.JavaTermStatementModel
 
getParentStatementModel() - Method in class ua.gradsoft.javachecker.models.JavaTypeArgumentBoundStatementModel
 
getPlace() - Method in class ua.gradsoft.javachecker.trace.JavaTraceContext
 
getPostfixOperatorKind() - Method in class ua.gradsoft.javachecker.models.expressions.JavaTermPostfixExpressionModel
 
getPrefsFname() - Static method in class ua.gradsoft.javachecker.Main
 
getPreviousStatementModel() - Method in interface ua.gradsoft.javachecker.models.JavaStatementModel
get previous statement.
getPreviousStatementModel() - Method in class ua.gradsoft.javachecker.models.JavaTermStatementModel
 
getPreviousStatementModel() - Method in class ua.gradsoft.javachecker.models.JavaTypeArgumentBoundStatementModel
 
getPrimitiveType(String) - Method in class ua.gradsoft.javachecker.ProxyJavaFacts
 
getPropertyDirs() - Method in class ua.gradsoft.javachecker.attributes.ConfigurationAttributesStorage
 
getReferencedType() - Method in class ua.gradsoft.javachecker.models.JavaArrayTypeModel
 
getReferencedType() - Method in class ua.gradsoft.javachecker.models.JavaClassTypeModel
 
getReferencedType() - Method in class ua.gradsoft.javachecker.models.JavaNullTypeModel
 
getReferencedType() - Method in class ua.gradsoft.javachecker.models.JavaPrimitiveTypeModel
 
getReferencedType() - Method in class ua.gradsoft.javachecker.models.JavaTermTypeAbstractModel
 
getReferencedType() - Method in class ua.gradsoft.javachecker.models.JavaTypeArgumentBoundTypeModel
 
getReferencedType() - Method in class ua.gradsoft.javachecker.models.JavaTypeModel
Nullable
getReferencedType() - Method in class ua.gradsoft.javachecker.models.JavaTypeVariableAbstractModel
 
getReferencedType() - Method in class ua.gradsoft.javachecker.models.JavaUnknownTypeModel
 
getReferencedType() - Method in class ua.gradsoft.javachecker.models.JavaWildcardBoundsTypeModel
 
getRelationOperatorKind() - Method in class ua.gradsoft.javachecker.models.expressions.JavaTermRelationalExpressionModel
 
getReportFormat() - Static method in class ua.gradsoft.javachecker.Main
 
getResolvedTypeArguments() - Method in class ua.gradsoft.javachecker.models.JavaTypeArgumentBoundTypeModel
 
getResource() - Method in class ua.gradsoft.javachecker.models.AnalyzedUnitRef
 
getResultType() - Method in class ua.gradsoft.javachecker.models.JavaClassArgumentBoundMethodModel
 
getResultType() - Method in class ua.gradsoft.javachecker.models.JavaClassMethodModel
 
getResultType() - Method in class ua.gradsoft.javachecker.models.JavaMethodModel
 
getResultType() - Method in class ua.gradsoft.javachecker.models.JavaTermAnnotationMethodModel
 
getResultType() - Method in class ua.gradsoft.javachecker.models.JavaTermEnumModel.ValueOfMethodModel
 
getResultType() - Method in class ua.gradsoft.javachecker.models.JavaTermEnumModel.ValuesMethodModel
 
getResultType() - Method in class ua.gradsoft.javachecker.models.JavaTermMethodModel
 
getResultType() - Method in class ua.gradsoft.javachecker.models.JavaTypeArgumentBoundMethodModel
 
getResultTypeAsTerm() - Method in class ua.gradsoft.javachecker.models.JavaTermMethodModel
 
getRetentionPolicy() - Method in class ua.gradsoft.javachecker.models.JavaAnnotationInstanceModel
 
getSecond() - Method in class ua.gradsoft.javachecker.util.Pair
 
getShiftOperatorKind() - Method in class ua.gradsoft.javachecker.models.expressions.JavaTermShiftExpressionModel
 
getShortNameAsTerm() - Method in class ua.gradsoft.javachecker.models.JavaArrayTypeModel
 
getShortNameAsTerm() - Method in class ua.gradsoft.javachecker.models.JavaClassTypeModel
 
getShortNameAsTerm() - Method in class ua.gradsoft.javachecker.models.JavaNullTypeModel
 
getShortNameAsTerm() - Method in class ua.gradsoft.javachecker.models.JavaPrimitiveTypeModel
 
getShortNameAsTerm() - Method in class ua.gradsoft.javachecker.models.JavaTermTypeAbstractModel
 
getShortNameAsTerm() - Method in class ua.gradsoft.javachecker.models.JavaTypeArgumentBoundTypeModel
 
getShortNameAsTerm() - Method in class ua.gradsoft.javachecker.models.JavaTypeModel
 
getShortNameAsTerm() - Method in class ua.gradsoft.javachecker.models.JavaTypeVariableAbstractModel
 
getShortNameAsTerm() - Method in class ua.gradsoft.javachecker.models.JavaUnknownTypeModel
 
getShortNameAsTerm() - Method in class ua.gradsoft.javachecker.models.JavaWildcardBoundsTypeModel
 
getSourceCodeLocation(Throwable) - Static method in class ua.gradsoft.javachecker.JUtils
 
getSourceDirs() - Method in class ua.gradsoft.javachecker.PackagesStore
get source dirs, which we check or use for loading of depended sources;
getSourceDirsToProcess() - Method in class ua.gradsoft.javachecker.PackagesStore
get dirs for sources, which we check.
getStatement() - Method in interface ua.gradsoft.javachecker.models.JavaLocalVariableModel
 
getStatement() - Method in class ua.gradsoft.javachecker.models.JavaTermLocalVariableModel
 
getStatement() - Method in class ua.gradsoft.javachecker.models.JavaTypeArgumentBoundLocalVariableModel
 
getStatementModel() - Method in class ua.gradsoft.javachecker.models.expressions.JavaClassObjectConstantExpressionModel
 
getStatementModel() - Method in interface ua.gradsoft.javachecker.models.JavaExpressionModel
statement model, or null if expression is outside statement.
getStatementModel() - Method in class ua.gradsoft.javachecker.models.JavaPlaceContext
return statement model, in which we situated or null if we outside statement
getStatementModel() - Method in class ua.gradsoft.javachecker.models.JavaTermExpressionModel
 
getStatementModel() - Method in class ua.gradsoft.javachecker.models.JavaTypeArgumentBoundExpressionModel
 
getStatements() - Method in class ua.gradsoft.javachecker.models.JavaTermTopLevelBlockModel
return list of statements in block.
getStatements() - Method in interface ua.gradsoft.javachecker.models.JavaTopLevelBlockModel
return list of statements in block.
getStatements() - Method in class ua.gradsoft.javachecker.models.JavaTypeArgumentBoundTopLevelBlockModel
return list of statements in block.
getStaticClassImports() - Method in class ua.gradsoft.javachecker.models.JavaCompilationUnitModel
 
getStaticMemberImports() - Method in class ua.gradsoft.javachecker.models.JavaCompilationUnitModel
 
getString() - Method in enum ua.gradsoft.javachecker.models.expressions.JavaAdditiveOperatorKind
 
getString() - Method in enum ua.gradsoft.javachecker.models.expressions.JavaAssigmentOperatorKind
 
getString() - Method in enum ua.gradsoft.javachecker.models.expressions.JavaEqualityOperatorKind
 
getString() - Method in enum ua.gradsoft.javachecker.models.expressions.JavaMultiplicativeOperatorKind
 
getString() - Method in enum ua.gradsoft.javachecker.models.expressions.JavaPostfixOperatorKind
 
getString() - Method in enum ua.gradsoft.javachecker.models.expressions.JavaRelationOperatorKind
 
getString() - Method in enum ua.gradsoft.javachecker.models.expressions.JavaShiftOperatorKind
 
getString() - Method in class ua.gradsoft.javachecker.models.expressions.JavaTermBooleanLiteralExpressionModel
 
getString() - Method in class ua.gradsoft.javachecker.models.expressions.JavaTermCharacterLiteralExpressionModel
 
getString() - Method in class ua.gradsoft.javachecker.models.expressions.JavaTermFloatingPointLiteralExpressionModel
 
getString() - Method in class ua.gradsoft.javachecker.models.expressions.JavaTermIntegerLiteralExpressionModel
 
getString() - Method in class ua.gradsoft.javachecker.models.expressions.JavaTermNullLiteralExpressionModel
 
getString() - Method in class ua.gradsoft.javachecker.models.expressions.JavaTermStringLiteralExpressionModel
return Literal String.
getString() - Method in enum ua.gradsoft.javachecker.models.expressions.JavaUnaryOperatorKind
 
getString() - Method in interface ua.gradsoft.javachecker.models.JavaLiteralModel
 
getStringConfigValue(String, String) - Method in class ua.gradsoft.javachecker.JavaFacts
 
getStringSignature(JavaTopLevelBlockOwnerModel) - Static method in class ua.gradsoft.javachecker.models.JavaTopLevelBlockOwnerModelHelper
 
getSubexpression() - Method in class ua.gradsoft.javachecker.models.expressions.JavaTermInstanceOfExpressionModel
 
getSubExpressions() - Method in class ua.gradsoft.javachecker.models.expressions.JavaClassObjectConstantExpressionModel
 
getSubExpressions() - Method in class ua.gradsoft.javachecker.models.expressions.JavaTermAdditiveExpressionModel
 
getSubExpressions() - Method in class ua.gradsoft.javachecker.models.expressions.JavaTermAllocationExpressionModel
 
getSubExpressions() - Method in class ua.gradsoft.javachecker.models.expressions.JavaTermAndExpressionModel
 
getSubExpressions() - Method in class ua.gradsoft.javachecker.models.expressions.JavaTermAnnotationExpressionModel
 
getSubExpressions() - Method in class ua.gradsoft.javachecker.models.expressions.JavaTermAnnotationMemberValueArrayInitializerExpressionModel
 
getSubExpressions() - Method in class ua.gradsoft.javachecker.models.expressions.JavaTermArrayIndexExpressionModel
 
getSubExpressions() - Method in class ua.gradsoft.javachecker.models.expressions.JavaTermArrayInitializerExpressionModel
 
getSubExpressions() - Method in class ua.gradsoft.javachecker.models.expressions.JavaTermAssigmentExpressionModel
 
getSubExpressions() - Method in class ua.gradsoft.javachecker.models.expressions.JavaTermBooleanLiteralExpressionModel
 
getSubExpressions() - Method in class ua.gradsoft.javachecker.models.expressions.JavaTermCastExpressionModel
 
getSubExpressions() - Method in class ua.gradsoft.javachecker.models.expressions.JavaTermCharacterLiteralExpressionModel
 
getSubExpressions() - Method in class ua.gradsoft.javachecker.models.expressions.JavaTermClassLiteralExpressionModel
 
getSubExpressions() - Method in class ua.gradsoft.javachecker.models.expressions.JavaTermConditionalAndExpressionModel
 
getSubExpressions() - Method in class ua.gradsoft.javachecker.models.expressions.JavaTermConditionalExpressionModel
 
getSubExpressions() - Method in class ua.gradsoft.javachecker.models.expressions.JavaTermConditionalOrExpressionModel
 
getSubExpressions() - Method in class ua.gradsoft.javachecker.models.expressions.JavaTermEqualityExpressionModel
 
getSubExpressions() - Method in class ua.gradsoft.javachecker.models.expressions.JavaTermExclusiveOrExpressionModel
 
getSubExpressions() - Method in class ua.gradsoft.javachecker.models.expressions.JavaTermFieldExpressionModel
 
getSubExpressions() - Method in class ua.gradsoft.javachecker.models.expressions.JavaTermFloatingPointLiteralExpressionModel
 
getSubExpressions() - Method in class ua.gradsoft.javachecker.models.expressions.JavaTermFunctionCallExpressionModel
 
getSubExpressions() - Method in class ua.gradsoft.javachecker.models.expressions.JavaTermIdentifierExpressionModel
 
getSubExpressions() - Method in class ua.gradsoft.javachecker.models.expressions.JavaTermInclusiveOrExpressionModel
 
getSubExpressions() - Method in class ua.gradsoft.javachecker.models.expressions.JavaTermInnerAllocationExpressionModel
 
getSubExpressions() - Method in class ua.gradsoft.javachecker.models.expressions.JavaTermInstanceOfExpressionModel
 
getSubExpressions() - Method in class ua.gradsoft.javachecker.models.expressions.JavaTermIntegerLiteralExpressionModel
 
getSubExpressions() - Method in class ua.gradsoft.javachecker.models.expressions.JavaTermMethodCallExpressionModel
 
getSubExpressions() - Method in class ua.gradsoft.javachecker.models.expressions.JavaTermMultiplicativeExpressionModel
 
getSubExpressions() - Method in class ua.gradsoft.javachecker.models.expressions.JavaTermNameExpressionModel
 
getSubExpressions() - Method in class ua.gradsoft.javachecker.models.expressions.JavaTermNestedTypeExpressionModel
 
getSubExpressions() - Method in class ua.gradsoft.javachecker.models.expressions.JavaTermNullLiteralExpressionModel
 
getSubExpressions() - Method in class ua.gradsoft.javachecker.models.expressions.JavaTermParentizedExpressionModel
 
getSubExpressions() - Method in class ua.gradsoft.javachecker.models.expressions.JavaTermPostfixExpressionModel
 
getSubExpressions() - Method in class ua.gradsoft.javachecker.models.expressions.JavaTermPredecrementExpressionModel
 
getSubExpressions() - Method in class ua.gradsoft.javachecker.models.expressions.JavaTermPreincrementExpressionModel
 
getSubExpressions() - Method in class ua.gradsoft.javachecker.models.expressions.JavaTermRelationalExpressionModel
 
getSubExpressions() - Method in class ua.gradsoft.javachecker.models.expressions.JavaTermShiftExpressionModel
 
getSubExpressions() - Method in class ua.gradsoft.javachecker.models.expressions.JavaTermSpecializedMethodCallExpressionModel
 
getSubExpressions() - Method in class ua.gradsoft.javachecker.models.expressions.JavaTermStaticFieldExpressionModel
 
getSubExpressions() - Method in class ua.gradsoft.javachecker.models.expressions.JavaTermStringLiteralExpressionModel
 
getSubExpressions() - Method in class ua.gradsoft.javachecker.models.expressions.JavaTermSuperExpressionModel
 
getSubExpressions() - Method in class ua.gradsoft.javachecker.models.expressions.JavaTermSuperPrefixExpressionModel
 
getSubExpressions() - Method in class ua.gradsoft.javachecker.models.expressions.JavaTermSwitchConstantExpressionModel
 
getSubExpressions() - Method in class ua.gradsoft.javachecker.models.expressions.JavaTermThisExpressionModel
 
getSubExpressions() - Method in class ua.gradsoft.javachecker.models.expressions.JavaTermThisPrefixExpressionModel
 
getSubExpressions() - Method in class ua.gradsoft.javachecker.models.expressions.JavaTermTypeNameExpressionModel
 
getSubExpressions() - Method in class ua.gradsoft.javachecker.models.expressions.JavaTermUnaryExpressionModel
 
getSubExpressions() - Method in interface ua.gradsoft.javachecker.models.JavaExpressionModel
 
getSubExpressions() - Method in class ua.gradsoft.javachecker.models.JavaTypeArgumentBoundExpressionModel
 
getSubstitution() - Method in class ua.gradsoft.javachecker.models.JavaClassArgumentBoundMethodModel
 
getSubstitution() - Method in class ua.gradsoft.javachecker.models.JavaTypeArgumentBoundConstructorModel
 
getSubstitution() - Method in class ua.gradsoft.javachecker.models.JavaTypeArgumentBoundInitializerModel
 
getSubstitution() - Method in class ua.gradsoft.javachecker.models.JavaTypeArgumentBoundMethodModel
 
getSubstitution() - Method in class ua.gradsoft.javachecker.models.JavaTypeArgumentBoundTopLevelBlockModel
 
getSubstitution() - Method in interface ua.gradsoft.javachecker.models.JavaTypeArgumentBoundTopLevelBlockOwnerModel
 
getSubstitution() - Method in class ua.gradsoft.javachecker.models.JavaTypeArgumentBoundTypeModel
 
getSubstitution() - Method in class ua.gradsoft.javachecker.models.MethodMatchingConversions
 
getSuperClass() - Method in class ua.gradsoft.javachecker.models.JavaArrayTypeModel
 
getSuperClass() - Method in class ua.gradsoft.javachecker.models.JavaClassTypeModel
 
getSuperClass() - Method in class ua.gradsoft.javachecker.models.JavaNullTypeModel
 
getSuperClass() - Method in class ua.gradsoft.javachecker.models.JavaPrimitiveTypeModel
 
getSuperClass() - Method in class ua.gradsoft.javachecker.models.JavaTermAnnotationTypeModel
 
getSuperClass() - Method in class ua.gradsoft.javachecker.models.JavaTermAnonimousTypeModel
 
getSuperClass() - Method in class ua.gradsoft.javachecker.models.JavaTermEnumModel
 
getSuperClass() - Method in class ua.gradsoft.javachecker.models.JavaTermTypeAbstractModel
 
getSuperClass() - Method in class ua.gradsoft.javachecker.models.JavaTypeArgumentBoundTypeModel
 
getSuperClass() - Method in class ua.gradsoft.javachecker.models.JavaTypeModel
get superclass.
getSuperClass() - Method in class ua.gradsoft.javachecker.models.JavaTypeVariableAbstractModel
 
getSuperClass() - Method in class ua.gradsoft.javachecker.models.JavaUnknownTypeModel
 
getSuperClass() - Method in class ua.gradsoft.javachecker.models.JavaWildcardBoundsTypeModel
 
getSuperInterfaces() - Method in class ua.gradsoft.javachecker.models.JavaArrayTypeModel
 
getSuperInterfaces() - Method in class ua.gradsoft.javachecker.models.JavaClassTypeModel
 
getSuperInterfaces() - Method in class ua.gradsoft.javachecker.models.JavaNullTypeModel
 
getSuperInterfaces() - Method in class ua.gradsoft.javachecker.models.JavaPrimitiveTypeModel
 
getSuperInterfaces() - Method in class ua.gradsoft.javachecker.models.JavaTermAnnotationTypeModel
 
getSuperInterfaces() - Method in class ua.gradsoft.javachecker.models.JavaTermAnonimousTypeModel
 
getSuperInterfaces() - Method in class ua.gradsoft.javachecker.models.JavaTermTypeAbstractModel
return list of interfaces.
getSuperInterfaces() - Method in class ua.gradsoft.javachecker.models.JavaTypeArgumentBoundTypeModel
 
getSuperInterfaces() - Method in class ua.gradsoft.javachecker.models.JavaTypeModel
get all superinterfaces.
getSuperInterfaces() - Method in class ua.gradsoft.javachecker.models.JavaTypeVariableAbstractModel
 
getSuperInterfaces() - Method in class ua.gradsoft.javachecker.models.JavaUnknownTypeModel
 
getSuperInterfaces() - Method in class ua.gradsoft.javachecker.models.JavaWildcardBoundsTypeModel
 
getTargetAnnotationTypeModel() - Method in class ua.gradsoft.javachecker.models.JavaAnnotationInstanceModel
 
getTargetConstructorModel() - Method in class ua.gradsoft.javachecker.models.JavaAnnotationInstanceModel
 
getTargetElementType() - Method in class ua.gradsoft.javachecker.models.JavaAnnotationInstanceModel
 
getTargetFieldModel() - Method in class ua.gradsoft.javachecker.models.JavaAnnotationInstanceModel
 
getTargetFormalParameterModel() - Method in class ua.gradsoft.javachecker.models.JavaAnnotationInstanceModel
 
getTargetLocalVariableModel() - Method in class ua.gradsoft.javachecker.models.JavaAnnotationInstanceModel
 
getTargetMethodModel() - Method in class ua.gradsoft.javachecker.models.JavaAnnotationInstanceModel
 
getTargetTypeModel() - Method in class ua.gradsoft.javachecker.models.JavaAnnotationInstanceModel
 
getTerm() - Method in class ua.gradsoft.javachecker.models.expressions.JavaClassObjectConstantExpressionModel
 
getTerm() - Method in interface ua.gradsoft.javachecker.models.JavaExpressionModel
 
getTerm() - Method in class ua.gradsoft.javachecker.models.JavaTermExpressionModel
 
getTerm() - Method in class ua.gradsoft.javachecker.models.JavaTermMethodModel
 
getTerm() - Method in class ua.gradsoft.javachecker.models.JavaTermStatementModel
as was from parser
getTerm() - Method in class ua.gradsoft.javachecker.models.JavaTermTypeAbstractModel
 
getTerm() - Method in class ua.gradsoft.javachecker.models.JavaTypeArgumentBoundExpressionModel
 
getTermFactory() - Static method in class ua.gradsoft.javachecker.models.TermUtils
 
getTermStatementModel() - Method in class ua.gradsoft.javachecker.models.JavaPlaceContext
return term statement model, in which we situated or null if we outside statement or statement model is not term
getTermStatementModel() - Method in class ua.gradsoft.javachecker.models.JavaTermExpressionModel
 
getTermTopLevelBlockModel() - Method in class ua.gradsoft.javachecker.models.JavaTermStatementModel
 
getTermTypeAbstractModel() - Method in class ua.gradsoft.javachecker.models.JavaTermConstructorModel
 
getTermTypeAbstractModel() - Method in class ua.gradsoft.javachecker.models.JavaTermInitializerModel
 
getTermTypeAbstractModel() - Method in class ua.gradsoft.javachecker.models.JavaTermMethodModel
 
getTermTypeAbstractModel() - Method in interface ua.gradsoft.javachecker.models.JavaTermTopLevelBlockOwnerModel
get model of type.
getThisTraceObjectModel() - Method in class ua.gradsoft.javachecker.trace.JavaTraceContext
 
getThrowsList() - Method in class ua.gradsoft.javachecker.models.JavaClassArgumentBoundMethodModel
 
getThrowsList() - Method in class ua.gradsoft.javachecker.models.JavaClassConstructorModel
 
getThrowsList() - Method in class ua.gradsoft.javachecker.models.JavaClassMethodModel
 
getThrowsList(JavaClassTopLevelBlockOwnerModel) - Static method in class ua.gradsoft.javachecker.models.JavaClassTopLevelBlockOwnerModelHelper
 
getThrowsList() - Method in class ua.gradsoft.javachecker.models.JavaInitializerModel
initializers does not have throw specifications.
getThrowsList() - Method in class ua.gradsoft.javachecker.models.JavaTermAnnotationMethodModel
 
getThrowsList() - Method in class ua.gradsoft.javachecker.models.JavaTermConstructorModel
 
getThrowsList() - Method in class ua.gradsoft.javachecker.models.JavaTermEnumModel.ValueOfMethodModel
 
getThrowsList() - Method in class ua.gradsoft.javachecker.models.JavaTermEnumModel.ValuesMethodModel
 
getThrowsList() - Method in class ua.gradsoft.javachecker.models.JavaTermMethodModel
 
getThrowsList() - Method in interface ua.gradsoft.javachecker.models.JavaTopLevelBlockOwnerModel
get List of throwed types in trows specification.
getThrowsList() - Method in class ua.gradsoft.javachecker.models.JavaTypeArgumentBoundConstructorModel
 
getThrowsList() - Method in class ua.gradsoft.javachecker.models.JavaTypeArgumentBoundMethodModel
 
getTmpDir() - Static method in class ua.gradsoft.javachecker.JavaCheckerFacade
 
getTmpDir() - Static method in class ua.gradsoft.javachecker.Main
 
getTopLeveBlockOwnerModel() - Method in class ua.gradsoft.javachecker.models.JavaPlaceContext
get top-level block, in which we situated or null if one was not defined.
getTopLevelBlockModel() - Method in class ua.gradsoft.javachecker.models.JavaClassArgumentBoundMethodModel
 
getTopLevelBlockModel() - Method in class ua.gradsoft.javachecker.models.JavaClassConstructorModel
 
getTopLevelBlockModel() - Method in class ua.gradsoft.javachecker.models.JavaClassMethodModel
 
getTopLevelBlockModel() - Method in interface ua.gradsoft.javachecker.models.JavaStatementModel
get top level block, in which statement is defined.
getTopLevelBlockModel() - Method in class ua.gradsoft.javachecker.models.JavaTermAnnotationMethodModel
 
getTopLevelBlockModel() - Method in class ua.gradsoft.javachecker.models.JavaTermConstructorModel
 
getTopLevelBlockModel() - Method in class ua.gradsoft.javachecker.models.JavaTermEnumModel.ValueOfMethodModel
 
getTopLevelBlockModel() - Method in class ua.gradsoft.javachecker.models.JavaTermEnumModel.ValuesMethodModel
 
getTopLevelBlockModel() - Method in class ua.gradsoft.javachecker.models.JavaTermInitializerModel
get block model
getTopLevelBlockModel() - Method in class ua.gradsoft.javachecker.models.JavaTermMethodModel
return top-level block of method or null if one is not defined.
getTopLevelBlockModel() - Method in class ua.gradsoft.javachecker.models.JavaTermStatementModel
 
getTopLevelBlockModel() - Method in interface ua.gradsoft.javachecker.models.JavaTopLevelBlockOwnerModel
return block model, if storing of block model is supported, otherwise throws NotSupportedException
getTopLevelBlockModel() - Method in class ua.gradsoft.javachecker.models.JavaTypeArgumentBoundConstructorModel
 
getTopLevelBlockModel() - Method in class ua.gradsoft.javachecker.models.JavaTypeArgumentBoundInitializerModel
 
getTopLevelBlockModel() - Method in class ua.gradsoft.javachecker.models.JavaTypeArgumentBoundMethodModel
 
getTopLevelBlockModel() - Method in class ua.gradsoft.javachecker.models.JavaTypeArgumentBoundStatementModel
 
getTopLevelBlockOwner() - Method in class ua.gradsoft.javachecker.models.JavaClassFormalParameterModel
 
getTopLevelBlockOwner() - Method in class ua.gradsoft.javachecker.models.JavaFormalParameterModel
 
getTopLevelBlockOwner() - Method in class ua.gradsoft.javachecker.models.JavaMemberVariableModel
 
getTopLevelBlockOwner() - Method in class ua.gradsoft.javachecker.models.JavaTermFormalParameterModel
 
getTopLevelBlockOwner() - Method in class ua.gradsoft.javachecker.models.JavaTermLocalVariableModel
 
getTopLevelBlockOwner() - Method in class ua.gradsoft.javachecker.models.JavaTypeArgumentBoundLocalVariableModel
 
getTopLevelBlockOwner() - Method in class ua.gradsoft.javachecker.models.JavaTypeArgumentBoundMemberVariableModel
 
getTopLevelBlockOwner() - Method in class ua.gradsoft.javachecker.models.JavaTypeSubstitutedFormalParameterModel
 
getTopLevelBlockOwner() - Method in interface ua.gradsoft.javachecker.models.JavaVariableModel
return owner of top level block, where variablke is defined (constructor or method or initializer) if one exists, otherwise return null.
getTopLevelBlockOwnerAttribute(JavaTopLevelBlockOwnerModel, String) - Method in class ua.gradsoft.javachecker.attributes.JavaTypeModelAttributes
 
getTopLevelBlockOwnerChildAttributes(JavaTopLevelBlockOwnerModel, String) - Method in class ua.gradsoft.javachecker.attributes.JavaTypeModelAttributes
 
getTraceConditionTerm() - Method in class ua.gradsoft.javachecker.trace.FalseTraceCondition
 
getTraceConditionTerm() - Method in interface ua.gradsoft.javachecker.trace.TraceCondition
 
getTraceConditionTerm() - Method in class ua.gradsoft.javachecker.trace.TrueTraceCondition
 
getTrueExpression() - Static method in class ua.gradsoft.javachecker.models.expressions.JavaTermBooleanLiteralExpressionModel
 
getType() - Method in class ua.gradsoft.javachecker.models.expressions.JavaClassObjectConstantExpressionModel
 
getType() - Method in class ua.gradsoft.javachecker.models.expressions.JavaTermAdditiveExpressionModel
 
getType() - Method in class ua.gradsoft.javachecker.models.expressions.JavaTermAllocationExpressionModel
 
getType() - Method in class ua.gradsoft.javachecker.models.expressions.JavaTermAndExpressionModel
 
getType() - Method in class ua.gradsoft.javachecker.models.expressions.JavaTermAnnotationExpressionModel
 
getType() - Method in class ua.gradsoft.javachecker.models.expressions.JavaTermAnnotationMemberValueArrayInitializerExpressionModel
 
getType() - Method in class ua.gradsoft.javachecker.models.expressions.JavaTermArrayIndexExpressionModel
 
getType() - Method in class ua.gradsoft.javachecker.models.expressions.JavaTermArrayInitializerExpressionModel
 
getType() - Method in class ua.gradsoft.javachecker.models.expressions.JavaTermAssigmentExpressionModel
 
getType() - Method in class ua.gradsoft.javachecker.models.expressions.JavaTermBooleanLiteralExpressionModel
 
getType() - Method in class ua.gradsoft.javachecker.models.expressions.JavaTermCastExpressionModel
 
getType() - Method in class ua.gradsoft.javachecker.models.expressions.JavaTermCharacterLiteralExpressionModel
 
getType() - Method in class ua.gradsoft.javachecker.models.expressions.JavaTermClassLiteralExpressionModel
 
getType() - Method in class ua.gradsoft.javachecker.models.expressions.JavaTermConditionalAndExpressionModel
 
getType() - Method in class ua.gradsoft.javachecker.models.expressions.JavaTermConditionalExpressionModel
 
getType() - Method in class ua.gradsoft.javachecker.models.expressions.JavaTermConditionalOrExpressionModel
 
getType() - Method in class ua.gradsoft.javachecker.models.expressions.JavaTermEqualityExpressionModel
 
getType() - Method in class ua.gradsoft.javachecker.models.expressions.JavaTermExclusiveOrExpressionModel
 
getType() - Method in class ua.gradsoft.javachecker.models.expressions.JavaTermFieldExpressionModel
 
getType() - Method in class ua.gradsoft.javachecker.models.expressions.JavaTermFloatingPointLiteralExpressionModel
 
getType() - Method in class ua.gradsoft.javachecker.models.expressions.JavaTermFunctionCallExpressionModel
 
getType() - Method in class ua.gradsoft.javachecker.models.expressions.JavaTermIdentifierExpressionModel
 
getType() - Method in class ua.gradsoft.javachecker.models.expressions.JavaTermInclusiveOrExpressionModel
 
getType() - Method in class ua.gradsoft.javachecker.models.expressions.JavaTermInnerAllocationExpressionModel
 
getType() - Method in class ua.gradsoft.javachecker.models.expressions.JavaTermInstanceOfExpressionModel
 
getType() - Method in class ua.gradsoft.javachecker.models.expressions.JavaTermIntegerLiteralExpressionModel
 
getType() - Method in class ua.gradsoft.javachecker.models.expressions.JavaTermMethodCallExpressionModel
 
getType() - Method in class ua.gradsoft.javachecker.models.expressions.JavaTermMultiplicativeExpressionModel
 
getType() - Method in class ua.gradsoft.javachecker.models.expressions.JavaTermNameExpressionModel
 
getType() - Method in class ua.gradsoft.javachecker.models.expressions.JavaTermNestedTypeExpressionModel
 
getType() - Method in class ua.gradsoft.javachecker.models.expressions.JavaTermNullLiteralExpressionModel
 
getType() - Method in class ua.gradsoft.javachecker.models.expressions.JavaTermParentizedExpressionModel
 
getType() - Method in class ua.gradsoft.javachecker.models.expressions.JavaTermPostfixExpressionModel
 
getType() - Method in class ua.gradsoft.javachecker.models.expressions.JavaTermPredecrementExpressionModel
 
getType() - Method in class ua.gradsoft.javachecker.models.expressions.JavaTermPreincrementExpressionModel
 
getType() - Method in class ua.gradsoft.javachecker.models.expressions.JavaTermRelationalExpressionModel
 
getType() - Method in class ua.gradsoft.javachecker.models.expressions.JavaTermShiftExpressionModel
 
getType() - Method in class ua.gradsoft.javachecker.models.expressions.JavaTermSpecializedMethodCallExpressionModel
 
getType() - Method in class ua.gradsoft.javachecker.models.expressions.JavaTermStaticFieldExpressionModel
 
getType() - Method in class ua.gradsoft.javachecker.models.expressions.JavaTermStringLiteralExpressionModel
 
getType() - Method in class ua.gradsoft.javachecker.models.expressions.JavaTermSuperExpressionModel
 
getType() - Method in class ua.gradsoft.javachecker.models.expressions.JavaTermSuperPrefixExpressionModel
 
getType() - Method in class ua.gradsoft.javachecker.models.expressions.JavaTermSwitchConstantExpressionModel
 
getType() - Method in class ua.gradsoft.javachecker.models.expressions.JavaTermThisExpressionModel
 
getType() - Method in class ua.gradsoft.javachecker.models.expressions.JavaTermThisPrefixExpressionModel
 
getType() - Method in class ua.gradsoft.javachecker.models.expressions.JavaTermTypeNameExpressionModel
 
getType() - Method in class ua.gradsoft.javachecker.models.expressions.JavaTermUnaryExpressionModel
 
getType() - Method in class ua.gradsoft.javachecker.models.JavaClassEnumConstantModel
 
getType() - Method in class ua.gradsoft.javachecker.models.JavaClassFieldModel
 
getType() - Method in class ua.gradsoft.javachecker.models.JavaClassFormalParameterModel
 
getType() - Method in interface ua.gradsoft.javachecker.models.JavaExpressionModel
 
getType() - Method in class ua.gradsoft.javachecker.models.JavaFormalParameterModel
 
getType() - Method in interface ua.gradsoft.javachecker.models.JavaLocalVariableModel
 
getType() - Method in class ua.gradsoft.javachecker.models.JavaMemberVariableModel
 
getType() - Method in class ua.gradsoft.javachecker.models.JavaTermEnumConstantModel
 
getType() - Method in class ua.gradsoft.javachecker.models.JavaTermFormalParameterModel
 
getType() - Method in class ua.gradsoft.javachecker.models.JavaTermLocalVariableModel
get type model.
getType() - Method in class ua.gradsoft.javachecker.models.JavaTermMemberVariableModel
 
getType() - Method in class ua.gradsoft.javachecker.models.JavaTypeArgumentBoundExpressionModel
 
getType() - Method in class ua.gradsoft.javachecker.models.JavaTypeArgumentBoundLocalVariableModel
 
getType() - Method in class ua.gradsoft.javachecker.models.JavaTypeArgumentBoundMemberVariableModel
 
getType() - Method in class ua.gradsoft.javachecker.models.JavaTypeSubstitutedFormalParameterModel
 
getType() - Method in interface ua.gradsoft.javachecker.models.JavaVariableModel
get type of variable
getType() - Method in class ua.gradsoft.javachecker.trace.JavaObjectConstantTraceObjectModel
 
getType() - Method in class ua.gradsoft.javachecker.trace.JavaPrimitiveTraceModel
 
getType() - Method in class ua.gradsoft.javachecker.trace.JavaTermTraceObjectModel
 
getType() - Method in class ua.gradsoft.javachecker.trace.JavaTraceArrayModel
 
getType() - Method in class ua.gradsoft.javachecker.trace.JavaTraceNullModel
 
getType() - Method in interface ua.gradsoft.javachecker.trace.JavaTraceObjectModel
 
getTypeArgumentBoundTypeModel() - Method in class ua.gradsoft.javachecker.models.JavaClassArgumentBoundMethodModel
 
getTypeArgumentBoundTypeModel() - Method in class ua.gradsoft.javachecker.models.JavaTypeArgumentBoundConstructorModel
 
getTypeArgumentBoundTypeModel() - Method in class ua.gradsoft.javachecker.models.JavaTypeArgumentBoundInitializerModel
 
getTypeArgumentBoundTypeModel() - Method in class ua.gradsoft.javachecker.models.JavaTypeArgumentBoundMethodModel
 
getTypeArgumentBoundTypeModel() - Method in interface ua.gradsoft.javachecker.models.JavaTypeArgumentBoundTopLevelBlockOwnerModel
 
getTypeArgumentNamePattern() - Method in class ua.gradsoft.javachecker.JavaFacts
 
getTypeArguments() - Method in class ua.gradsoft.javachecker.models.expressions.JavaTermSpecializedMethodCallExpressionModel
 
getTypeArguments() - Method in class ua.gradsoft.javachecker.models.JavaTypeArgumentBoundTypeModel
 
getTypeAttribute(String) - Method in class ua.gradsoft.javachecker.attributes.JavaTypeModelAttributes
get Attribute for type with name name if one was defined, otherwise return null.
getTypeModel() - Method in class ua.gradsoft.javachecker.attributes.JavaTypeModelAttributes
 
getTypeModel() - Method in class ua.gradsoft.javachecker.models.JavaClassConstructorModel
 
getTypeModel() - Method in class ua.gradsoft.javachecker.models.JavaCompilationUnitModel.ClassImportSuffix
 
getTypeModel() - Method in class ua.gradsoft.javachecker.models.JavaCompilationUnitModel.PackageOrClassModelHolder
 
getTypeModel() - Method in class ua.gradsoft.javachecker.models.JavaMethodModel
 
getTypeModel() - Method in class ua.gradsoft.javachecker.models.JavaPlaceContext
get type model, inside which we situated.
getTypeModel() - Method in class ua.gradsoft.javachecker.models.JavaTermConstructorModel
 
getTypeModel() - Method in class ua.gradsoft.javachecker.models.JavaTermInitializerModel
get owner.
getTypeModel() - Method in interface ua.gradsoft.javachecker.models.JavaTopLevelBlockOwnerModel
 
getTypeModel() - Method in class ua.gradsoft.javachecker.models.JavaTypeArgumentBoundConstructorModel
 
getTypeModel() - Method in class ua.gradsoft.javachecker.models.JavaTypeArgumentBoundInitializerModel
 
getTypeModel() - Method in class ua.gradsoft.javachecker.models.JavaTypeModelRef
 
getTypeModelRef() - Method in class ua.gradsoft.javachecker.models.JavaTypeModelRef
 
getTypeModels() - Method in class ua.gradsoft.javachecker.models.JavaClassUnitModel
 
getTypeModels() - Method in class ua.gradsoft.javachecker.models.JavaCompilationUnitModel
return list of type models, defined in this compilation units.
getTypeModels() - Method in class ua.gradsoft.javachecker.models.JavaUnitModel
 
getTypeParameters() - Method in class ua.gradsoft.javachecker.models.JavaArrayTypeModel
 
getTypeParameters() - Method in class ua.gradsoft.javachecker.models.JavaClassArgumentBoundMethodModel
 
getTypeParameters() - Method in class ua.gradsoft.javachecker.models.JavaClassConstructorModel
 
getTypeParameters() - Method in class ua.gradsoft.javachecker.models.JavaClassMethodModel
 
getTypeParameters(JavaClassTopLevelBlockOwnerModel) - Static method in class ua.gradsoft.javachecker.models.JavaClassTopLevelBlockOwnerModelHelper
 
getTypeParameters() - Method in class ua.gradsoft.javachecker.models.JavaClassTypeModel
return type parameters.
getTypeParameters() - Method in class ua.gradsoft.javachecker.models.JavaConstructorModel
 
getTypeParameters() - Method in class ua.gradsoft.javachecker.models.JavaInitializerModel
initializers does not have type parameters, so return empty list.
getTypeParameters() - Method in class ua.gradsoft.javachecker.models.JavaMethodModel
 
getTypeParameters() - Method in class ua.gradsoft.javachecker.models.JavaNullTypeModel
 
getTypeParameters() - Method in class ua.gradsoft.javachecker.models.JavaPrimitiveTypeModel
 
getTypeParameters() - Method in class ua.gradsoft.javachecker.models.JavaTermAnnotationMethodModel
 
getTypeParameters() - Method in class ua.gradsoft.javachecker.models.JavaTermConstructorModel
 
getTypeParameters() - Method in class ua.gradsoft.javachecker.models.JavaTermEnumModel.ValueOfMethodModel
 
getTypeParameters() - Method in class ua.gradsoft.javachecker.models.JavaTermEnumModel.ValuesMethodModel
 
getTypeParameters() - Method in class ua.gradsoft.javachecker.models.JavaTermMethodModel
 
getTypeParameters() - Method in class ua.gradsoft.javachecker.models.JavaTermTypeAbstractModel
 
getTypeParameters() - Method in interface ua.gradsoft.javachecker.models.JavaTopLevelBlockOwnerModel
 
getTypeParameters() - Method in class ua.gradsoft.javachecker.models.JavaTypeArgumentBoundConstructorModel
 
getTypeParameters() - Method in class ua.gradsoft.javachecker.models.JavaTypeArgumentBoundMethodModel
 
getTypeParameters(JavaTypeArgumentBoundTopLevelBlockOwnerModel) - Static method in class ua.gradsoft.javachecker.models.JavaTypeArgumentBoundTopLevelBlockOwnerModelHelper
 
getTypeParameters() - Method in class ua.gradsoft.javachecker.models.JavaTypeArgumentBoundTypeModel
all parameters of origin types are bound.
getTypeParameters() - Method in class ua.gradsoft.javachecker.models.JavaTypeModel
return type parameters.
getTypeParameters() - Method in class ua.gradsoft.javachecker.models.JavaTypeVariableAbstractModel
 
getTypeParameters() - Method in class ua.gradsoft.javachecker.models.JavaUnknownTypeModel
 
getTypeParameters() - Method in class ua.gradsoft.javachecker.models.JavaWildcardBoundsTypeModel
 
getTypeParametersModel(Term) - Method in class ua.gradsoft.javachecker.models.JavaTermTypeAbstractModel
return type parameters model.
getTypeTerm() - Method in class ua.gradsoft.javachecker.models.JavaTermLocalVariableModel
 
getUnaryOperatorKind() - Method in class ua.gradsoft.javachecker.models.expressions.JavaTermUnaryExpressionModel
 
getUnitModel() - Method in class ua.gradsoft.javachecker.models.JavaTypeModel
 
getValue() - Method in class ua.gradsoft.javachecker.ant.JavaCheckerTask.ConfigNVPair
 
getValue() - Method in class ua.gradsoft.javachecker.trace.JavaBooleanTraceModel
 
getValue() - Method in class ua.gradsoft.javachecker.trace.JavaIntTraceModel
 
getValue() - Method in class ua.gradsoft.javachecker.trace.JavaLongTraceModel
 
getValue() - Method in class ua.gradsoft.javachecker.trace.JavaShortTraceModel
 
getValue() - Method in class ua.gradsoft.javachecker.util.Holder
 
getVariableDeclaratorTerm() - Method in class ua.gradsoft.javachecker.models.JavaTermMemberVariableModel
 
getVariableModel() - Method in class ua.gradsoft.javachecker.models.expressions.JavaTermIdentifierExpressionModel
 
getViolations() - Method in class ua.gradsoft.javachecker.JavaFacts
 
getWhere() - Method in class ua.gradsoft.javachecker.models.JavaTypeArgumentBoundTypeModel
 
getZero() - Static method in class ua.gradsoft.javachecker.models.expressions.JavaTermCharacterLiteralExpressionModel
 
getZero() - Static method in class ua.gradsoft.javachecker.models.expressions.JavaTermIntegerLiteralExpressionModel
 
getZeroDouble() - Static method in class ua.gradsoft.javachecker.models.expressions.JavaTermFloatingPointLiteralExpressionModel
 
getZeroFloat() - Static method in class ua.gradsoft.javachecker.models.expressions.JavaTermFloatingPointLiteralExpressionModel
 
getZeroL() - Static method in class ua.gradsoft.javachecker.models.expressions.JavaTermIntegerLiteralExpressionModel
 

H

handle(String, String, Throwable, SourceCodeLocation) - Method in class ua.gradsoft.javachecker.DefaultExceptionHandler
 
handle(String, String, Throwable, SourceCodeLocation) - Method in interface ua.gradsoft.javachecker.JavaCheckerExceptionHandler
 
hasAnnotation(String) - Method in class ua.gradsoft.javachecker.models.JavaClassTypeModel
 
hasAnnotation(String) - Method in class ua.gradsoft.javachecker.models.JavaTypeArgumentBoundTypeModel
 
hasAnnotation(String) - Method in class ua.gradsoft.javachecker.models.JavaTypeModel
return true, if this type is annotated by annotation with type annotationTypeName, otherwise false
hasASTTerm() - Method in class ua.gradsoft.javachecker.models.JavaArrayTypeModel
 
hasASTTerm() - Method in class ua.gradsoft.javachecker.models.JavaClassTypeModel
 
hasASTTerm() - Method in class ua.gradsoft.javachecker.models.JavaNullTypeModel
 
hasASTTerm() - Method in class ua.gradsoft.javachecker.models.JavaPrimitiveTypeModel
 
hasASTTerm() - Method in class ua.gradsoft.javachecker.models.JavaTermAnnotationTypeModel
 
hasASTTerm() - Method in class ua.gradsoft.javachecker.models.JavaTermTypeAbstractModel
 
hasASTTerm() - Method in class ua.gradsoft.javachecker.models.JavaTypeArgumentBoundTypeModel
 
hasASTTerm() - Method in class ua.gradsoft.javachecker.models.JavaTypeModel
return true, if type model have AST Term
hasASTTerm() - Method in class ua.gradsoft.javachecker.models.JavaTypeVariableAbstractModel
 
hasASTTerm() - Method in class ua.gradsoft.javachecker.models.JavaUnknownTypeModel
 
hasASTTerm() - Method in class ua.gradsoft.javachecker.models.JavaWildcardBoundsTypeModel
 
hasDefaultValue() - Method in class ua.gradsoft.javachecker.models.JavaClassArgumentBoundMethodModel
Argument-bound annotations are illegal.
hasDefaultValue() - Method in class ua.gradsoft.javachecker.models.JavaClassMethodModel
 
hasDefaultValue() - Method in class ua.gradsoft.javachecker.models.JavaMethodModel
If method has default value
hasDefaultValue() - Method in class ua.gradsoft.javachecker.models.JavaTermAnnotationMethodModel
 
hasDefaultValue() - Method in class ua.gradsoft.javachecker.models.JavaTermEnumModel.ValueOfMethodModel
 
hasDefaultValue() - Method in class ua.gradsoft.javachecker.models.JavaTermEnumModel.ValuesMethodModel
 
hasDefaultValue() - Method in class ua.gradsoft.javachecker.models.JavaTermMethodModel
 
hasDefaultValue() - Method in class ua.gradsoft.javachecker.models.JavaTypeArgumentBoundMethodModel
 
hasElement(String) - Method in class ua.gradsoft.javachecker.models.JavaAnnotationDefaultInstanceModel
 
hasElement(String) - Method in class ua.gradsoft.javachecker.models.JavaAnnotationInstanceModel
true, if element whith name elementName is provided in this annotation
hasElement(String) - Method in class ua.gradsoft.javachecker.models.JavaClassAnnotationInstanceModel
 
hasElement(String) - Method in class ua.gradsoft.javachecker.models.JavaDelegatedAnnotationInstanceModel
 
hasElement(String) - Method in class ua.gradsoft.javachecker.models.JavaTermAnnotationInstanceModel
 
hasFields() - Method in class ua.gradsoft.javachecker.trace.JavaObjectConstantTraceObjectModel
 
hasFields() - Method in class ua.gradsoft.javachecker.trace.JavaPrimitiveTraceModel
 
hasFields() - Method in class ua.gradsoft.javachecker.trace.JavaTermTraceObjectModel
 
hasFields() - Method in class ua.gradsoft.javachecker.trace.JavaTraceArrayModel
 
hasFields() - Method in class ua.gradsoft.javachecker.trace.JavaTraceNullModel
 
hasFields() - Method in interface ua.gradsoft.javachecker.trace.JavaTraceObjectModel
 
hashCode() - Method in class ua.gradsoft.javachecker.FileAndLine
 
hashCode() - Method in class ua.gradsoft.javachecker.util.CachedMap
 
hashCode() - Method in class ua.gradsoft.javachecker.util.FunctionMap
 
hashCode() - Method in class ua.gradsoft.javachecker.util.ImmutableListAsMap
 
hashCode() - Method in class ua.gradsoft.javachecker.util.IntegerOrderList
 
hasMemberVariableModels() - Method in class ua.gradsoft.javachecker.models.JavaArrayTypeModel
 
hasMemberVariableModels() - Method in class ua.gradsoft.javachecker.models.JavaClassTypeModel
 
hasMemberVariableModels() - Method in class ua.gradsoft.javachecker.models.JavaNullTypeModel
 
hasMemberVariableModels() - Method in class ua.gradsoft.javachecker.models.JavaPrimitiveTypeModel
 
hasMemberVariableModels() - Method in class ua.gradsoft.javachecker.models.JavaTermTypeAbstractModel
 
hasMemberVariableModels() - Method in class ua.gradsoft.javachecker.models.JavaTypeArgumentBoundTypeModel
 
hasMemberVariableModels() - Method in class ua.gradsoft.javachecker.models.JavaTypeModel
 
hasMemberVariableModels() - Method in class ua.gradsoft.javachecker.models.JavaTypeVariableAbstractModel
 
hasMemberVariableModels() - Method in class ua.gradsoft.javachecker.models.JavaUnknownTypeModel
 
hasMemberVariableModels() - Method in class ua.gradsoft.javachecker.models.JavaWildcardBoundsTypeModel
 
hasMethodModels() - Method in class ua.gradsoft.javachecker.models.JavaArrayTypeModel
 
hasMethodModels() - Method in class ua.gradsoft.javachecker.models.JavaClassTypeModel
 
hasMethodModels() - Method in class ua.gradsoft.javachecker.models.JavaNullTypeModel
 
hasMethodModels() - Method in class ua.gradsoft.javachecker.models.JavaPrimitiveTypeModel
 
hasMethodModels() - Method in class ua.gradsoft.javachecker.models.JavaTermTypeAbstractModel
 
hasMethodModels() - Method in class ua.gradsoft.javachecker.models.JavaTypeArgumentBoundTypeModel
 
hasMethodModels() - Method in class ua.gradsoft.javachecker.models.JavaTypeModel
 
hasMethodModels() - Method in class ua.gradsoft.javachecker.models.JavaTypeVariableAbstractModel
 
hasMethodModels() - Method in class ua.gradsoft.javachecker.models.JavaUnknownTypeModel
 
hasMethodModels() - Method in class ua.gradsoft.javachecker.models.JavaWildcardBoundsTypeModel
 
hasNestedTypeModels() - Method in class ua.gradsoft.javachecker.models.JavaArrayTypeModel
 
hasNestedTypeModels() - Method in class ua.gradsoft.javachecker.models.JavaClassTypeModel
 
hasNestedTypeModels() - Method in class ua.gradsoft.javachecker.models.JavaNullTypeModel
 
hasNestedTypeModels() - Method in class ua.gradsoft.javachecker.models.JavaPrimitiveTypeModel
 
hasNestedTypeModels() - Method in class ua.gradsoft.javachecker.models.JavaTermTypeAbstractModel
 
hasNestedTypeModels() - Method in class ua.gradsoft.javachecker.models.JavaTypeArgumentBoundTypeModel
 
hasNestedTypeModels() - Method in class ua.gradsoft.javachecker.models.JavaTypeModel
when return true, getNestedTypeModels() returns set of nested types.
hasNestedTypeModels() - Method in class ua.gradsoft.javachecker.models.JavaTypeVariableAbstractModel
 
hasNestedTypeModels() - Method in class ua.gradsoft.javachecker.models.JavaUnknownTypeModel
 
hasNestedTypeModels() - Method in class ua.gradsoft.javachecker.models.JavaWildcardBoundsTypeModel
 
hasNext() - Method in class ua.gradsoft.javachecker.models.LocalTypesIterable.LocalTypesIterator
 
hasNext() - Method in class ua.gradsoft.javachecker.util.ImmutableMappedList.MappedListIterator
 
hasPrevious() - Method in class ua.gradsoft.javachecker.util.ImmutableMappedList.MappedListIterator
 
hasSecondPass() - Method in class ua.gradsoft.javachecker.checkers.AbstractTypeChecker
 
hasSecondPass() - Method in class ua.gradsoft.javachecker.checkers.BTTypeChecker
 
hasSecondPass() - Method in class ua.gradsoft.javachecker.checkers.ClassChecker
 
hasSecondPass() - Method in class ua.gradsoft.javachecker.checkers.ClassReachabilityChecker
 
hasSecondPass() - Method in class ua.gradsoft.javachecker.checkers.FTTypeChecker
 
hasSecondPass() - Method in class ua.gradsoft.javachecker.checkers.JavaTypeModelOnePassProcessor
 
hasSecondPass() - Method in interface ua.gradsoft.javachecker.checkers.JavaTypeModelProcessor
 
hasSecondPass() - Method in class ua.gradsoft.javachecker.checkers.ModelChecker
 
hasTypeParameters() - Method in class ua.gradsoft.javachecker.models.JavaArrayTypeModel
 
hasTypeParameters() - Method in class ua.gradsoft.javachecker.models.JavaClassTypeModel
 
hasTypeParameters() - Method in class ua.gradsoft.javachecker.models.JavaNullTypeModel
 
hasTypeParameters() - Method in class ua.gradsoft.javachecker.models.JavaPrimitiveTypeModel
 
hasTypeParameters() - Method in class ua.gradsoft.javachecker.models.JavaTermAnnotationTypeModel
 
hasTypeParameters() - Method in class ua.gradsoft.javachecker.models.JavaTermAnonimousTypeModel
 
hasTypeParameters() - Method in class ua.gradsoft.javachecker.models.JavaTermClassOrInterfaceModel
true, if this type su[pports TypeParameters.
hasTypeParameters() - Method in class ua.gradsoft.javachecker.models.JavaTermEnumAnonimousTypeModel
 
hasTypeParameters() - Method in class ua.gradsoft.javachecker.models.JavaTermEnumModel
 
hasTypeParameters() - Method in class ua.gradsoft.javachecker.models.JavaTypeArgumentBoundTypeModel
 
hasTypeParameters() - Method in class ua.gradsoft.javachecker.models.JavaTypeModel
if this type hase type parameters ?
hasTypeParameters() - Method in class ua.gradsoft.javachecker.models.JavaTypeVariableAbstractModel
 
hasTypeParameters() - Method in class ua.gradsoft.javachecker.models.JavaUnknownTypeModel
 
hasTypeParameters() - Method in class ua.gradsoft.javachecker.models.JavaWildcardBoundsTypeModel
 
Holder<T> - Class in ua.gradsoft.javachecker.util
Holder for values
Holder() - Constructor for class ua.gradsoft.javachecker.util.Holder
 

I

IDENTIFIER_TERM_INDEX - Static variable in class ua.gradsoft.javachecker.models.JavaTermConstructorModel
 
IDENTIFIER_TERM_INDEX - Static variable in class ua.gradsoft.javachecker.models.JavaTermEnumConstantModel
 
IDENTIFIER_TERM_INDEX - Static variable in class ua.gradsoft.javachecker.models.JavaTermEnumModel
 
ImmutableListAsMap<K,V> - Class in ua.gradsoft.javachecker.util
Representation of list (where all is filled) and indexing function as immutable map
ImmutableListAsMap(List<V>, Function<K, Integer>, Function<Integer, K>) - Constructor for class ua.gradsoft.javachecker.util.ImmutableListAsMap
 
ImmutableMappedCollection<X,Y> - Class in ua.gradsoft.javachecker.util
represent collection of X as collection of Y
ImmutableMappedCollection(Collection<X>, Function<X, Y>) - Constructor for class ua.gradsoft.javachecker.util.ImmutableMappedCollection
Creates a new instance of ImmutableMappedCollection
ImmutableMappedList<X,Y> - Class in ua.gradsoft.javachecker.util
Immutable mapped list, which return mapping of original x by function.
ImmutableMappedList(List<X>, Function<X, Y>) - Constructor for class ua.gradsoft.javachecker.util.ImmutableMappedList
Creates a new instance of ImmutableMappedList
ImmutableMappedList.MappedListIterator - Class in ua.gradsoft.javachecker.util
 
ImmutableMappedMap<K,VX,VY> - Class in ua.gradsoft.javachecker.util
 
ImmutableMappedMap(Map<K, VX>, Function<VX, VY>) - Constructor for class ua.gradsoft.javachecker.util.ImmutableMappedMap
Creates a new instance of ImmutableMappedMap
ImmutableMappedMap.MappedEntrySet - Class in ua.gradsoft.javachecker.util
 
IMPLEMENTS_TERM_INDEX - Static variable in class ua.gradsoft.javachecker.models.JavaTermClassOrInterfaceModel
 
IMPLEMENTS_TERM_INDEX - Static variable in class ua.gradsoft.javachecker.models.JavaTermEnumModel
 
ImpossibleForsingOfTraceCondition - Class in ua.gradsoft.javachecker.trace
Throwed when we try to forse traceConditoon, which evaluated to false in current context.
ImpossibleForsingOfTraceCondition() - Constructor for class ua.gradsoft.javachecker.trace.ImpossibleForsingOfTraceCondition
 
increment() - Method in class ua.gradsoft.javachecker.TypeOfViolation
 
incrementNBoxing() - Method in class ua.gradsoft.javachecker.models.MethodMatchingConversions
 
incrementNNarrows() - Method in class ua.gradsoft.javachecker.models.MethodMatchingConversions
 
incrementNRows() - Method in class ua.gradsoft.javachecker.models.MethodMatchingConversions
 
incrementNSupers() - Method in class ua.gradsoft.javachecker.models.MethodMatchingConversions
 
incrementNUnboxing() - Method in class ua.gradsoft.javachecker.models.MethodMatchingConversions
 
indexOf(Object) - Method in class ua.gradsoft.javachecker.util.ImmutableMappedList
 
indexOf(Object) - Method in class ua.gradsoft.javachecker.util.IntegerOrderList
 
init() - Static method in class ua.gradsoft.javachecker.JavaCheckerFacade
initialize JavaCheker.
init(String[]) - Method in class ua.gradsoft.javachecker.Main
initialize.
initializers_ - Variable in class ua.gradsoft.javachecker.models.JavaTermTypeAbstractModel
 
INSTANCE - Static variable in class ua.gradsoft.javachecker.models.JavaNullTypeModel
 
INSTANCE - Static variable in class ua.gradsoft.javachecker.models.JavaUnknownTypeModel
 
INSTANCE - Static variable in class ua.gradsoft.javachecker.models.JavaVariableModelComparator
 
INT - Static variable in class ua.gradsoft.javachecker.models.JavaPrimitiveTypeModel
 
IntegerOrderList - Class in ua.gradsoft.javachecker.util
 
IntegerOrderList(int) - Constructor for class ua.gradsoft.javachecker.util.IntegerOrderList
Creates a new instance of IntegerOrderList
IntegerOrderList(int, int) - Constructor for class ua.gradsoft.javachecker.util.IntegerOrderList
Creates a new instance of IntegerOrderList
InvalidAnnotationTargetElementTypeException - Exception in ua.gradsoft.javachecker.models
Throwed, when we try get incorrect target.
InvalidAnnotationTargetElementTypeException() - Constructor for exception ua.gradsoft.javachecker.models.InvalidAnnotationTargetElementTypeException
Creates a new instance of InvalidAnnotationTargetElementTypeException
invalidCheckerCommentDiscovered(Term, String) - Method in class ua.gradsoft.javachecker.JavaFacts
 
InvalidCheckerCommentException - Exception in ua.gradsoft.javachecker
Throwed during unsuccesfull parsing or analyzing of checker comment
InvalidCheckerCommentException(String, String) - Constructor for exception ua.gradsoft.javachecker.InvalidCheckerCommentException
Constructs an instance of InvalidCheckerCommentException with the specified detail message.
InvalidCheckerCommentException(Term, String) - Constructor for exception ua.gradsoft.javachecker.InvalidCheckerCommentException
Constructs an instance of InvalidCheckerCommentException with the specified detail message.
InvalidJavaExpressionModelException - Exception in ua.gradsoft.javachecker.models
Throwed on invalid expression.
InvalidJavaExpressionModelException(String, JavaExpressionModel) - Constructor for exception ua.gradsoft.javachecker.models.InvalidJavaExpressionModelException
 
InvalidJavaTermException - Exception in ua.gradsoft.javachecker.models
Throws when we get somehwere invalid or non-compiling term
InvalidJavaTermException(String, FileAndLine, Exception) - Constructor for exception ua.gradsoft.javachecker.models.InvalidJavaTermException
 
InvalidJavaTermException(String, Term, Exception) - Constructor for exception ua.gradsoft.javachecker.models.InvalidJavaTermException
 
InvalidJavaTermException(String, Term) - Constructor for exception ua.gradsoft.javachecker.models.InvalidJavaTermException
 
invert() - Method in class ua.gradsoft.javachecker.trace.FalseTraceCondition
 
invert() - Method in interface ua.gradsoft.javachecker.trace.TraceCondition
 
invert() - Method in class ua.gradsoft.javachecker.trace.TrueTraceCondition
 
InvokedEvaluationException - Exception in ua.gradsoft.javachecker.trace
When traced code throw this exception
InvokedEvaluationException(Exception) - Constructor for exception ua.gradsoft.javachecker.trace.InvokedEvaluationException
 
isAbstract() - Method in class ua.gradsoft.javachecker.models.JavaModifiersModel
 
isAnnotationType() - Method in class ua.gradsoft.javachecker.models.JavaArrayTypeModel
 
isAnnotationType() - Method in class ua.gradsoft.javachecker.models.JavaClassTypeModel
 
isAnnotationType() - Method in class ua.gradsoft.javachecker.models.JavaNullTypeModel
 
isAnnotationType() - Method in class ua.gradsoft.javachecker.models.JavaPrimitiveTypeModel
 
isAnnotationType() - Method in class ua.gradsoft.javachecker.models.JavaTermAnnotationTypeModel
 
isAnnotationType() - Method in class ua.gradsoft.javachecker.models.JavaTermAnonimousTypeModel
 
isAnnotationType() - Method in class ua.gradsoft.javachecker.models.JavaTermClassOrInterfaceModel
 
isAnnotationType() - Method in class ua.gradsoft.javachecker.models.JavaTermEnumAnonimousTypeModel
return false
isAnnotationType() - Method in class ua.gradsoft.javachecker.models.JavaTermEnumModel
 
isAnnotationType() - Method in class ua.gradsoft.javachecker.models.JavaTypeArgumentBoundTypeModel
 
isAnnotationType() - Method in class ua.gradsoft.javachecker.models.JavaTypeModel
 
isAnnotationType() - Method in class ua.gradsoft.javachecker.models.JavaTypeVariableAbstractModel
return false;
isAnnotationType() - Method in class ua.gradsoft.javachecker.models.JavaUnknownTypeModel
 
isAnnotationType() - Method in class ua.gradsoft.javachecker.models.JavaWildcardBoundsTypeModel
 
isAnonimous() - Method in class ua.gradsoft.javachecker.models.JavaArrayTypeModel
 
isAnonimous() - Method in class ua.gradsoft.javachecker.models.JavaClassTypeModel
 
isAnonimous() - Method in class ua.gradsoft.javachecker.models.JavaNullTypeModel
 
isAnonimous() - Method in class ua.gradsoft.javachecker.models.JavaPrimitiveTypeModel
 
isAnonimous() - Method in class ua.gradsoft.javachecker.models.JavaTermEnumAnonimousTypeModel
 
isAnonimous() - Method in class ua.gradsoft.javachecker.models.JavaTermTypeAbstractModel
 
isAnonimous() - Method in class ua.gradsoft.javachecker.models.JavaTypeArgumentBoundTypeModel
 
isAnonimous() - Method in class ua.gradsoft.javachecker.models.JavaTypeModel
true, if this is anonimous type.
isAnonimous() - Method in class ua.gradsoft.javachecker.models.JavaTypeVariableAbstractModel
 
isAnonimous() - Method in class ua.gradsoft.javachecker.models.JavaUnknownTypeModel
 
isAnonimous() - Method in class ua.gradsoft.javachecker.models.JavaWildcardBoundsTypeModel
 
isAnonimous_ - Variable in class ua.gradsoft.javachecker.models.JavaTermTypeAbstractModel
 
isArray() - Method in class ua.gradsoft.javachecker.models.JavaArrayTypeModel
 
isArray() - Method in class ua.gradsoft.javachecker.models.JavaClassTypeModel
 
isArray() - Method in class ua.gradsoft.javachecker.models.JavaNullTypeModel
 
isArray() - Method in class ua.gradsoft.javachecker.models.JavaPrimitiveTypeModel
 
isArray() - Method in class ua.gradsoft.javachecker.models.JavaTermTypeAbstractModel
 
isArray() - Method in class ua.gradsoft.javachecker.models.JavaTypeArgumentBoundTypeModel
 
isArray() - Method in class ua.gradsoft.javachecker.models.JavaTypeModel
 
isArray() - Method in class ua.gradsoft.javachecker.models.JavaTypeVariableAbstractModel
 
isArray() - Method in class ua.gradsoft.javachecker.models.JavaUnknownTypeModel
 
isArray() - Method in class ua.gradsoft.javachecker.models.JavaWildcardBoundsTypeModel
 
isBean() - Method in class ua.gradsoft.javachecker.CheckerComment
 
isBoolean(JavaTypeModel) - Static method in class ua.gradsoft.javachecker.models.JavaTypeModelHelper
 
isByte(JavaTypeModel) - Static method in class ua.gradsoft.javachecker.models.JavaTypeModelHelper
 
isChar(JavaTypeModel) - Static method in class ua.gradsoft.javachecker.models.JavaTypeModelHelper
 
isCheckEnabled(String) - Method in class ua.gradsoft.javachecker.JavaFacts
 
isCheckEnabled(String) - Method in class ua.gradsoft.javachecker.ProxyJavaFacts
 
isClass() - Method in class ua.gradsoft.javachecker.models.JavaArrayTypeModel
 
isClass() - Method in class ua.gradsoft.javachecker.models.JavaClassTypeModel
 
isClass() - Method in class ua.gradsoft.javachecker.models.JavaNullTypeModel
 
isClass() - Method in class ua.gradsoft.javachecker.models.JavaPrimitiveTypeModel
 
isClass() - Method in class ua.gradsoft.javachecker.models.JavaTermAnnotationTypeModel
 
isClass() - Method in class ua.gradsoft.javachecker.models.JavaTermAnonimousTypeModel
 
isClass() - Method in class ua.gradsoft.javachecker.models.JavaTermClassOrInterfaceModel
 
isClass() - Method in class ua.gradsoft.javachecker.models.JavaTermEnumAnonimousTypeModel
 
isClass() - Method in class ua.gradsoft.javachecker.models.JavaTermEnumModel
 
isClass() - Method in class ua.gradsoft.javachecker.models.JavaTypeArgumentBoundTypeModel
 
isClass() - Method in class ua.gradsoft.javachecker.models.JavaTypeModel
 
isClass() - Method in class ua.gradsoft.javachecker.models.JavaTypeVariableAbstractModel
return false;
isClass() - Method in class ua.gradsoft.javachecker.models.JavaUnknownTypeModel
 
isClass() - Method in class ua.gradsoft.javachecker.models.JavaWildcardBoundsTypeModel
 
isConstantExpression() - Method in class ua.gradsoft.javachecker.models.expressions.JavaClassObjectConstantExpressionModel
 
isConstantExpression() - Method in class ua.gradsoft.javachecker.models.expressions.JavaTermAdditiveExpressionModel
 
isConstantExpression() - Method in class ua.gradsoft.javachecker.models.expressions.JavaTermAllocationExpressionModel
 
isConstantExpression() - Method in class ua.gradsoft.javachecker.models.expressions.JavaTermAndExpressionModel
 
isConstantExpression() - Method in class ua.gradsoft.javachecker.models.expressions.JavaTermAnnotationExpressionModel
 
isConstantExpression() - Method in class ua.gradsoft.javachecker.models.expressions.JavaTermAnnotationMemberValueArrayInitializerExpressionModel
 
isConstantExpression() - Method in class ua.gradsoft.javachecker.models.expressions.JavaTermArrayIndexExpressionModel
 
isConstantExpression() - Method in class ua.gradsoft.javachecker.models.expressions.JavaTermArrayInitializerExpressionModel
 
isConstantExpression() - Method in class ua.gradsoft.javachecker.models.expressions.JavaTermAssigmentExpressionModel
 
isConstantExpression() - Method in class ua.gradsoft.javachecker.models.expressions.JavaTermBooleanLiteralExpressionModel
 
isConstantExpression() - Method in class ua.gradsoft.javachecker.models.expressions.JavaTermCastExpressionModel
 
isConstantExpression() - Method in class ua.gradsoft.javachecker.models.expressions.JavaTermCharacterLiteralExpressionModel
 
isConstantExpression() - Method in class ua.gradsoft.javachecker.models.expressions.JavaTermClassLiteralExpressionModel
 
isConstantExpression() - Method in class ua.gradsoft.javachecker.models.expressions.JavaTermConditionalAndExpressionModel
 
isConstantExpression() - Method in class ua.gradsoft.javachecker.models.expressions.JavaTermConditionalExpressionModel
 
isConstantExpression() - Method in class ua.gradsoft.javachecker.models.expressions.JavaTermConditionalOrExpressionModel
 
isConstantExpression() - Method in class ua.gradsoft.javachecker.models.expressions.JavaTermEqualityExpressionModel
 
isConstantExpression() - Method in class ua.gradsoft.javachecker.models.expressions.JavaTermExclusiveOrExpressionModel
 
isConstantExpression() - Method in class ua.gradsoft.javachecker.models.expressions.JavaTermFieldExpressionModel
 
isConstantExpression() - Method in class ua.gradsoft.javachecker.models.expressions.JavaTermFloatingPointLiteralExpressionModel
 
isConstantExpression() - Method in class ua.gradsoft.javachecker.models.expressions.JavaTermFunctionCallExpressionModel
 
isConstantExpression() - Method in class ua.gradsoft.javachecker.models.expressions.JavaTermIdentifierExpressionModel
 
isConstantExpression() - Method in class ua.gradsoft.javachecker.models.expressions.JavaTermInclusiveOrExpressionModel
 
isConstantExpression() - Method in class ua.gradsoft.javachecker.models.expressions.JavaTermInnerAllocationExpressionModel
 
isConstantExpression() - Method in class ua.gradsoft.javachecker.models.expressions.JavaTermInstanceOfExpressionModel
 
isConstantExpression() - Method in class ua.gradsoft.javachecker.models.expressions.JavaTermIntegerLiteralExpressionModel
 
isConstantExpression() - Method in class ua.gradsoft.javachecker.models.expressions.JavaTermMethodCallExpressionModel
 
isConstantExpression() - Method in class ua.gradsoft.javachecker.models.expressions.JavaTermMultiplicativeExpressionModel
 
isConstantExpression() - Method in class ua.gradsoft.javachecker.models.expressions.JavaTermNameExpressionModel
 
isConstantExpression() - Method in class ua.gradsoft.javachecker.models.expressions.JavaTermNestedTypeExpressionModel
 
isConstantExpression() - Method in class ua.gradsoft.javachecker.models.expressions.JavaTermNullLiteralExpressionModel
 
isConstantExpression() - Method in class ua.gradsoft.javachecker.models.expressions.JavaTermParentizedExpressionModel
 
isConstantExpression() - Method in class ua.gradsoft.javachecker.models.expressions.JavaTermPostfixExpressionModel
 
isConstantExpression() - Method in class ua.gradsoft.javachecker.models.expressions.JavaTermPredecrementExpressionModel
 
isConstantExpression() - Method in class ua.gradsoft.javachecker.models.expressions.JavaTermPreincrementExpressionModel
 
isConstantExpression() - Method in class ua.gradsoft.javachecker.models.expressions.JavaTermRelationalExpressionModel
 
isConstantExpression() - Method in class ua.gradsoft.javachecker.models.expressions.JavaTermShiftExpressionModel
 
isConstantExpression() - Method in class ua.gradsoft.javachecker.models.expressions.JavaTermSpecializedMethodCallExpressionModel
 
isConstantExpression() - Method in class ua.gradsoft.javachecker.models.expressions.JavaTermStaticFieldExpressionModel
 
isConstantExpression() - Method in class ua.gradsoft.javachecker.models.expressions.JavaTermStringLiteralExpressionModel
 
isConstantExpression() - Method in class ua.gradsoft.javachecker.models.expressions.JavaTermSuperExpressionModel
 
isConstantExpression() - Method in class ua.gradsoft.javachecker.models.expressions.JavaTermSuperPrefixExpressionModel
 
isConstantExpression() - Method in class ua.gradsoft.javachecker.models.expressions.JavaTermSwitchConstantExpressionModel
 
isConstantExpression() - Method in class ua.gradsoft.javachecker.models.expressions.JavaTermThisExpressionModel
 
isConstantExpression() - Method in class ua.gradsoft.javachecker.models.expressions.JavaTermThisPrefixExpressionModel
 
isConstantExpression() - Method in class ua.gradsoft.javachecker.models.expressions.JavaTermTypeNameExpressionModel
 
isConstantExpression() - Method in class ua.gradsoft.javachecker.models.expressions.JavaTermUnaryExpressionModel
 
isConstantExpression() - Method in interface ua.gradsoft.javachecker.models.JavaExpressionModel
 
isConstantExpression() - Method in class ua.gradsoft.javachecker.models.JavaTypeArgumentBoundExpressionModel
 
isDefault() - Method in class ua.gradsoft.javachecker.models.expressions.JavaTermSwitchConstantExpressionModel
 
isDisable(String) - Method in class ua.gradsoft.javachecker.CheckerComment
 
isDouble(JavaTypeModel) - Static method in class ua.gradsoft.javachecker.models.JavaTypeModelHelper
 
isDump() - Static method in class ua.gradsoft.javachecker.Main
 
isEmpty() - Method in class ua.gradsoft.javachecker.attributes.AttributesData
 
isEmpty() - Method in class ua.gradsoft.javachecker.util.CachedMap
 
isEmpty() - Method in class ua.gradsoft.javachecker.util.FunctionMap
 
isEmpty() - Method in class ua.gradsoft.javachecker.util.ImmutableListAsMap
 
isEmpty() - Method in class ua.gradsoft.javachecker.util.ImmutableMappedCollection
 
isEmpty() - Method in class ua.gradsoft.javachecker.util.ImmutableMappedMap
 
isEmpty() - Method in class ua.gradsoft.javachecker.util.ImmutableMappedMap.MappedEntrySet
 
isEmpty() - Method in class ua.gradsoft.javachecker.util.IntegerOrderList
 
isEnabled() - Method in class ua.gradsoft.javachecker.checkers.AbstractChecker
 
isEnabled() - Method in class ua.gradsoft.javachecker.TypeOfViolation
 
isEnum() - Method in class ua.gradsoft.javachecker.models.JavaArrayTypeModel
 
isEnum() - Method in class ua.gradsoft.javachecker.models.JavaClassTypeModel
 
isEnum() - Method in class ua.gradsoft.javachecker.models.JavaNullTypeModel
 
isEnum() - Method in class ua.gradsoft.javachecker.models.JavaPrimitiveTypeModel
 
isEnum() - Method in class ua.gradsoft.javachecker.models.JavaTermAnnotationTypeModel
 
isEnum() - Method in class ua.gradsoft.javachecker.models.JavaTermAnonimousTypeModel
 
isEnum() - Method in class ua.gradsoft.javachecker.models.JavaTermClassOrInterfaceModel
 
isEnum() - Method in class ua.gradsoft.javachecker.models.JavaTermEnumAnonimousTypeModel
 
isEnum() - Method in class ua.gradsoft.javachecker.models.JavaTermEnumModel
 
isEnum() - Method in class ua.gradsoft.javachecker.models.JavaTypeArgumentBoundTypeModel
 
isEnum() - Method in class ua.gradsoft.javachecker.models.JavaTypeModel
 
isEnum() - Method in class ua.gradsoft.javachecker.models.JavaTypeVariableAbstractModel
return false;
isEnum() - Method in class ua.gradsoft.javachecker.models.JavaUnknownTypeModel
 
isEnum() - Method in class ua.gradsoft.javachecker.models.JavaWildcardBoundsTypeModel
 
isExplicitEnabledOnly() - Static method in class ua.gradsoft.javachecker.Main
 
isFinal() - Method in class ua.gradsoft.javachecker.models.JavaModifiersModel
 
isFloat(JavaTypeModel) - Static method in class ua.gradsoft.javachecker.models.JavaTypeModelHelper
 
isForHead() - Method in interface ua.gradsoft.javachecker.models.JavaLocalVariableModel
 
isForHead() - Method in class ua.gradsoft.javachecker.models.JavaTermLocalVariableModel
 
isForHead() - Method in class ua.gradsoft.javachecker.models.JavaTypeArgumentBoundLocalVariableModel
 
isHomeRequired() - Static method in class ua.gradsoft.javachecker.JavaCheckerFacade
 
isHomeRequired() - Static method in class ua.gradsoft.javachecker.Main
 
isInitialized() - Method in class ua.gradsoft.javachecker.models.JavaCompilationUnitModel.PackageOrClassModelHolder
 
isInShutdown() - Static method in class ua.gradsoft.javachecker.Main
 
isInt(JavaTypeModel) - Static method in class ua.gradsoft.javachecker.models.JavaTypeModelHelper
 
isInterface() - Method in class ua.gradsoft.javachecker.models.JavaArrayTypeModel
 
isInterface() - Method in class ua.gradsoft.javachecker.models.JavaClassTypeModel
 
isInterface() - Method in class ua.gradsoft.javachecker.models.JavaNullTypeModel
 
isInterface() - Method in class ua.gradsoft.javachecker.models.JavaPrimitiveTypeModel
 
isInterface() - Method in class ua.gradsoft.javachecker.models.JavaTermAnnotationTypeModel
 
isInterface() - Method in class ua.gradsoft.javachecker.models.JavaTermAnonimousTypeModel
 
isInterface() - Method in class ua.gradsoft.javachecker.models.JavaTermClassOrInterfaceModel
 
isInterface() - Method in class ua.gradsoft.javachecker.models.JavaTermEnumAnonimousTypeModel
 
isInterface() - Method in class ua.gradsoft.javachecker.models.JavaTermEnumModel
 
isInterface() - Method in class ua.gradsoft.javachecker.models.JavaTypeArgumentBoundTypeModel
 
isInterface() - Method in class ua.gradsoft.javachecker.models.JavaTypeModel
 
isInterface() - Method in class ua.gradsoft.javachecker.models.JavaTypeVariableAbstractModel
return false;
isInterface() - Method in class ua.gradsoft.javachecker.models.JavaUnknownTypeModel
 
isInterface() - Method in class ua.gradsoft.javachecker.models.JavaWildcardBoundsTypeModel
 
isLoaded(String) - Method in class ua.gradsoft.javachecker.models.JavaPackageModel
 
isLocal() - Method in class ua.gradsoft.javachecker.models.JavaArrayTypeModel
 
isLocal() - Method in class ua.gradsoft.javachecker.models.JavaClassTypeModel
 
isLocal() - Method in class ua.gradsoft.javachecker.models.JavaNullTypeModel
 
isLocal() - Method in class ua.gradsoft.javachecker.models.JavaPrimitiveTypeModel
 
isLocal() - Method in class ua.gradsoft.javachecker.models.JavaTermTypeAbstractModel
 
isLocal() - Method in class ua.gradsoft.javachecker.models.JavaTypeArgumentBoundTypeModel
 
isLocal() - Method in class ua.gradsoft.javachecker.models.JavaTypeModel
true, if this is local type
isLocal() - Method in class ua.gradsoft.javachecker.models.JavaTypeVariableAbstractModel
 
isLocal() - Method in class ua.gradsoft.javachecker.models.JavaUnknownTypeModel
 
isLocal() - Method in class ua.gradsoft.javachecker.models.JavaWildcardBoundsTypeModel
 
isLong(JavaTypeModel) - Static method in class ua.gradsoft.javachecker.models.JavaTypeModelHelper
 
isMandatoryCheckersLoading() - Static method in class ua.gradsoft.javachecker.JavaCheckerFacade
 
isMandatoryCheckersLoading() - Static method in class ua.gradsoft.javachecker.Main
 
isNative() - Method in class ua.gradsoft.javachecker.models.JavaModifiersModel
 
isNested() - Method in class ua.gradsoft.javachecker.models.JavaArrayTypeModel
 
isNested() - Method in class ua.gradsoft.javachecker.models.JavaClassTypeModel
 
isNested() - Method in class ua.gradsoft.javachecker.models.JavaNullTypeModel
 
isNested() - Method in class ua.gradsoft.javachecker.models.JavaPrimitiveTypeModel
 
isNested() - Method in class ua.gradsoft.javachecker.models.JavaTermTypeAbstractModel
 
isNested() - Method in class ua.gradsoft.javachecker.models.JavaTypeArgumentBoundTypeModel
 
isNested() - Method in class ua.gradsoft.javachecker.models.JavaTypeModel
return true if this type is nested inside some other type.
isNested() - Method in class ua.gradsoft.javachecker.models.JavaTypeVariableAbstractModel
 
isNested() - Method in class ua.gradsoft.javachecker.models.JavaUnknownTypeModel
 
isNested() - Method in class ua.gradsoft.javachecker.models.JavaWildcardBoundsTypeModel
 
isNoClean() - Static method in class ua.gradsoft.javachecker.Main
 
isNull() - Method in class ua.gradsoft.javachecker.models.JavaArrayTypeModel
 
isNull() - Method in class ua.gradsoft.javachecker.models.JavaClassTypeModel
 
isNull() - Method in class ua.gradsoft.javachecker.models.JavaNullTypeModel
 
isNull() - Method in class ua.gradsoft.javachecker.models.JavaPrimitiveTypeModel
 
isNull() - Method in class ua.gradsoft.javachecker.models.JavaTermTypeAbstractModel
 
isNull() - Method in class ua.gradsoft.javachecker.models.JavaTypeArgumentBoundTypeModel
 
isNull() - Method in class ua.gradsoft.javachecker.models.JavaTypeModel
 
isNull() - Method in class ua.gradsoft.javachecker.models.JavaTypeVariableAbstractModel
 
isNull() - Method in class ua.gradsoft.javachecker.models.JavaUnknownTypeModel
 
isNull() - Method in class ua.gradsoft.javachecker.models.JavaWildcardBoundsTypeModel
 
isPrimitiveType() - Method in class ua.gradsoft.javachecker.models.JavaArrayTypeModel
 
isPrimitiveType() - Method in class ua.gradsoft.javachecker.models.JavaClassTypeModel
 
isPrimitiveType() - Method in class ua.gradsoft.javachecker.models.JavaNullTypeModel
 
isPrimitiveType() - Method in class ua.gradsoft.javachecker.models.JavaPrimitiveTypeModel
 
isPrimitiveType() - Method in class ua.gradsoft.javachecker.models.JavaTermTypeAbstractModel
 
isPrimitiveType() - Method in class ua.gradsoft.javachecker.models.JavaTypeArgumentBoundTypeModel
 
isPrimitiveType() - Method in class ua.gradsoft.javachecker.models.JavaTypeModel
 
isPrimitiveType() - Method in class ua.gradsoft.javachecker.models.JavaTypeVariableAbstractModel
 
isPrimitiveType() - Method in class ua.gradsoft.javachecker.models.JavaUnknownTypeModel
 
isPrimitiveType() - Method in class ua.gradsoft.javachecker.models.JavaWildcardBoundsTypeModel
 
isPrivate() - Method in class ua.gradsoft.javachecker.models.JavaModifiersModel
 
isProtected() - Method in class ua.gradsoft.javachecker.models.JavaModifiersModel
 
isPublic() - Method in class ua.gradsoft.javachecker.models.JavaModifiersModel
 
isQOption() - Static method in class ua.gradsoft.javachecker.Main
 
isShort(JavaTypeModel) - Static method in class ua.gradsoft.javachecker.models.JavaTypeModelHelper
 
isShowFileLoading() - Static method in class ua.gradsoft.javachecker.Main
 
isShowFiles() - Static method in class ua.gradsoft.javachecker.Main
 
isStatic() - Method in class ua.gradsoft.javachecker.models.JavaModifiersModel
 
isStrictfp() - Method in class ua.gradsoft.javachecker.models.JavaModifiersModel
 
isSupportBlockModel() - Method in class ua.gradsoft.javachecker.models.JavaClassArgumentBoundMethodModel
 
isSupportBlockModel() - Method in class ua.gradsoft.javachecker.models.JavaClassConstructorModel
 
isSupportBlockModel() - Method in class ua.gradsoft.javachecker.models.JavaClassMethodModel
Class terms does not supports block model, so return false.
isSupportBlockModel() - Method in class ua.gradsoft.javachecker.models.JavaTermAnnotationMethodModel
 
isSupportBlockModel() - Method in class ua.gradsoft.javachecker.models.JavaTermConstructorModel
 
isSupportBlockModel() - Method in class ua.gradsoft.javachecker.models.JavaTermEnumModel.ValueOfMethodModel
 
isSupportBlockModel() - Method in class ua.gradsoft.javachecker.models.JavaTermEnumModel.ValuesMethodModel
 
isSupportBlockModel() - Method in class ua.gradsoft.javachecker.models.JavaTermInitializerModel
return true
isSupportBlockModel() - Method in class ua.gradsoft.javachecker.models.JavaTermMethodModel
 
isSupportBlockModel() - Method in interface ua.gradsoft.javachecker.models.JavaTopLevelBlockOwnerModel
return true if storing of block model is supported, otherwise false.
isSupportBlockModel() - Method in class ua.gradsoft.javachecker.models.JavaTypeArgumentBoundConstructorModel
 
isSupportBlockModel() - Method in class ua.gradsoft.javachecker.models.JavaTypeArgumentBoundInitializerModel
 
isSupportBlockModel() - Method in class ua.gradsoft.javachecker.models.JavaTypeArgumentBoundMethodModel
 
isSupportInitializerExpression() - Method in class ua.gradsoft.javachecker.models.JavaClassEnumConstantModel
 
isSupportInitializerExpression() - Method in class ua.gradsoft.javachecker.models.JavaClassFieldModel
 
isSupportInitializerExpression() - Method in class ua.gradsoft.javachecker.models.JavaMemberVariableModel
 
isSupportInitializerExpression() - Method in class ua.gradsoft.javachecker.models.JavaTermEnumConstantModel
 
isSupportInitializerExpression() - Method in class ua.gradsoft.javachecker.models.JavaTermMemberVariableModel
 
isSupportInitializerExpression() - Method in class ua.gradsoft.javachecker.models.JavaTypeArgumentBoundMemberVariableModel
 
isSynchronized() - Method in class ua.gradsoft.javachecker.models.JavaModifiersModel
 
isSynthetic() - Method in class ua.gradsoft.javachecker.models.JavaClassArgumentBoundMethodModel
 
isSynthetic() - Method in class ua.gradsoft.javachecker.models.JavaClassMethodModel
 
isSynthetic() - Method in class ua.gradsoft.javachecker.models.JavaMethodModel
true for synthetic
isSynthetic() - Method in class ua.gradsoft.javachecker.models.JavaTermAnnotationMethodModel
 
isSynthetic() - Method in class ua.gradsoft.javachecker.models.JavaTermEnumModel.ValueOfMethodModel
 
isSynthetic() - Method in class ua.gradsoft.javachecker.models.JavaTermEnumModel.ValuesMethodModel
 
isSynthetic() - Method in class ua.gradsoft.javachecker.models.JavaTermMethodModel
 
isSynthetic() - Method in class ua.gradsoft.javachecker.models.JavaTypeArgumentBoundMethodModel
 
isTransient() - Method in class ua.gradsoft.javachecker.models.JavaModifiersModel
 
isType() - Method in class ua.gradsoft.javachecker.models.expressions.JavaClassObjectConstantExpressionModel
 
isType() - Method in class ua.gradsoft.javachecker.models.expressions.JavaTermAdditiveExpressionModel
 
isType() - Method in class ua.gradsoft.javachecker.models.expressions.JavaTermAllocationExpressionModel
 
isType() - Method in class ua.gradsoft.javachecker.models.expressions.JavaTermAndExpressionModel
 
isType() - Method in class ua.gradsoft.javachecker.models.expressions.JavaTermAnnotationExpressionModel
 
isType() - Method in class ua.gradsoft.javachecker.models.expressions.JavaTermAnnotationMemberValueArrayInitializerExpressionModel
 
isType() - Method in class ua.gradsoft.javachecker.models.expressions.JavaTermArrayIndexExpressionModel
 
isType() - Method in class ua.gradsoft.javachecker.models.expressions.JavaTermArrayInitializerExpressionModel
 
isType() - Method in class ua.gradsoft.javachecker.models.expressions.JavaTermAssigmentExpressionModel
 
isType() - Method in class ua.gradsoft.javachecker.models.expressions.JavaTermBooleanLiteralExpressionModel
 
isType() - Method in class ua.gradsoft.javachecker.models.expressions.JavaTermCastExpressionModel
 
isType() - Method in class ua.gradsoft.javachecker.models.expressions.JavaTermCharacterLiteralExpressionModel
 
isType() - Method in class ua.gradsoft.javachecker.models.expressions.JavaTermClassLiteralExpressionModel
 
isType() - Method in class ua.gradsoft.javachecker.models.expressions.JavaTermConditionalAndExpressionModel
 
isType() - Method in class ua.gradsoft.javachecker.models.expressions.JavaTermConditionalExpressionModel
 
isType() - Method in class ua.gradsoft.javachecker.models.expressions.JavaTermConditionalOrExpressionModel
 
isType() - Method in class ua.gradsoft.javachecker.models.expressions.JavaTermEqualityExpressionModel
 
isType() - Method in class ua.gradsoft.javachecker.models.expressions.JavaTermExclusiveOrExpressionModel
 
isType() - Method in class ua.gradsoft.javachecker.models.expressions.JavaTermFieldExpressionModel
 
isType() - Method in class ua.gradsoft.javachecker.models.expressions.JavaTermFloatingPointLiteralExpressionModel
 
isType() - Method in class ua.gradsoft.javachecker.models.expressions.JavaTermFunctionCallExpressionModel
 
isType() - Method in class ua.gradsoft.javachecker.models.expressions.JavaTermIdentifierExpressionModel
 
isType() - Method in class ua.gradsoft.javachecker.models.expressions.JavaTermInclusiveOrExpressionModel
 
isType() - Method in class ua.gradsoft.javachecker.models.expressions.JavaTermInnerAllocationExpressionModel
 
isType() - Method in class ua.gradsoft.javachecker.models.expressions.JavaTermInstanceOfExpressionModel
 
isType() - Method in class ua.gradsoft.javachecker.models.expressions.JavaTermIntegerLiteralExpressionModel
 
isType() - Method in class ua.gradsoft.javachecker.models.expressions.JavaTermMethodCallExpressionModel
 
isType() - Method in class ua.gradsoft.javachecker.models.expressions.JavaTermMultiplicativeExpressionModel
 
isType() - Method in class ua.gradsoft.javachecker.models.expressions.JavaTermNameExpressionModel
 
isType() - Method in class ua.gradsoft.javachecker.models.expressions.JavaTermNullLiteralExpressionModel
 
isType() - Method in class ua.gradsoft.javachecker.models.expressions.JavaTermParentizedExpressionModel
 
isType() - Method in class ua.gradsoft.javachecker.models.expressions.JavaTermPostfixExpressionModel
 
isType() - Method in class ua.gradsoft.javachecker.models.expressions.JavaTermPredecrementExpressionModel
 
isType() - Method in class ua.gradsoft.javachecker.models.expressions.JavaTermPreincrementExpressionModel
 
isType() - Method in class ua.gradsoft.javachecker.models.expressions.JavaTermRelationalExpressionModel
 
isType() - Method in class ua.gradsoft.javachecker.models.expressions.JavaTermShiftExpressionModel
 
isType() - Method in class ua.gradsoft.javachecker.models.expressions.JavaTermSpecializedMethodCallExpressionModel
 
isType() - Method in class ua.gradsoft.javachecker.models.expressions.JavaTermStaticFieldExpressionModel
 
isType() - Method in class ua.gradsoft.javachecker.models.expressions.JavaTermStringLiteralExpressionModel
 
isType() - Method in class ua.gradsoft.javachecker.models.expressions.JavaTermSuperExpressionModel
 
isType() - Method in class ua.gradsoft.javachecker.models.expressions.JavaTermSuperPrefixExpressionModel
 
isType() - Method in class ua.gradsoft.javachecker.models.expressions.JavaTermSwitchConstantExpressionModel
 
isType() - Method in class ua.gradsoft.javachecker.models.expressions.JavaTermThisExpressionModel
 
isType() - Method in class ua.gradsoft.javachecker.models.expressions.JavaTermThisPrefixExpressionModel
 
isType() - Method in class ua.gradsoft.javachecker.models.expressions.JavaTermTypeExpressionModel
 
isType() - Method in class ua.gradsoft.javachecker.models.expressions.JavaTermUnaryExpressionModel
 
isType() - Method in interface ua.gradsoft.javachecker.models.JavaExpressionModel
return true, if expression represents type.
isType() - Method in class ua.gradsoft.javachecker.models.JavaTypeArgumentBoundExpressionModel
 
isTypeVariable() - Method in class ua.gradsoft.javachecker.models.JavaArrayTypeModel
 
isTypeVariable() - Method in class ua.gradsoft.javachecker.models.JavaClassTypeModel
 
isTypeVariable() - Method in class ua.gradsoft.javachecker.models.JavaNullTypeModel
 
isTypeVariable() - Method in class ua.gradsoft.javachecker.models.JavaPrimitiveTypeModel
 
isTypeVariable() - Method in class ua.gradsoft.javachecker.models.JavaTermTypeAbstractModel
 
isTypeVariable() - Method in class ua.gradsoft.javachecker.models.JavaTypeArgumentBoundTypeModel
 
isTypeVariable() - Method in class ua.gradsoft.javachecker.models.JavaTypeModel
 
isTypeVariable() - Method in class ua.gradsoft.javachecker.models.JavaTypeVariableAbstractModel
 
isTypeVariable() - Method in class ua.gradsoft.javachecker.models.JavaUnknownTypeModel
 
isTypeVariable() - Method in class ua.gradsoft.javachecker.models.JavaWildcardBoundsTypeModel
 
isUnknown() - Method in class ua.gradsoft.javachecker.models.JavaArrayTypeModel
 
isUnknown() - Method in class ua.gradsoft.javachecker.models.JavaClassTypeModel
 
isUnknown() - Method in class ua.gradsoft.javachecker.models.JavaNullTypeModel
 
isUnknown() - Method in class ua.gradsoft.javachecker.models.JavaPrimitiveTypeModel
 
isUnknown() - Method in class ua.gradsoft.javachecker.models.JavaTermTypeAbstractModel
 
isUnknown() - Method in class ua.gradsoft.javachecker.models.JavaTypeArgumentBoundTypeModel
 
isUnknown() - Method in class ua.gradsoft.javachecker.models.JavaTypeModel
return true, if this is unknown typemodel.
isUnknown() - Method in class ua.gradsoft.javachecker.models.JavaTypeVariableAbstractModel
 
isUnknown() - Method in class ua.gradsoft.javachecker.models.JavaUnknownTypeModel
 
isUnknown() - Method in class ua.gradsoft.javachecker.models.JavaWildcardBoundsTypeModel
 
isVarArg() - Method in class ua.gradsoft.javachecker.models.MethodMatchingConversions
 
isVarArgs() - Method in class ua.gradsoft.javachecker.models.JavaClassConstructorModel
 
isVarArgs() - Method in class ua.gradsoft.javachecker.models.JavaClassMethodModel
 
isVarArgs() - Method in interface ua.gradsoft.javachecker.models.JavaClassTopLevelBlockOwnerModel
true, if this consturctor or method have variable arguments.
isVarArgs() - Method in class ua.gradsoft.javachecker.models.JavaModifiersModel
 
isVolatile() - Method in class ua.gradsoft.javachecker.models.JavaModifiersModel
 
isWildcardBounds() - Method in class ua.gradsoft.javachecker.models.JavaArrayTypeModel
 
isWildcardBounds() - Method in class ua.gradsoft.javachecker.models.JavaClassTypeModel
 
isWildcardBounds() - Method in class ua.gradsoft.javachecker.models.JavaNullTypeModel
 
isWildcardBounds() - Method in class ua.gradsoft.javachecker.models.JavaPrimitiveTypeModel
 
isWildcardBounds() - Method in class ua.gradsoft.javachecker.models.JavaTermTypeAbstractModel
 
isWildcardBounds() - Method in class ua.gradsoft.javachecker.models.JavaTypeArgumentBoundTypeModel
 
isWildcardBounds() - Method in class ua.gradsoft.javachecker.models.JavaTypeModel
 
isWildcardBounds() - Method in class ua.gradsoft.javachecker.models.JavaTypeVariableAbstractModel
 
isWildcardBounds() - Method in class ua.gradsoft.javachecker.models.JavaUnknownTypeModel
 
isWildcardBounds() - Method in class ua.gradsoft.javachecker.models.JavaWildcardBoundsTypeModel
 
iterator() - Method in class ua.gradsoft.javachecker.models.LocalTypesIterable
 
iterator() - Method in class ua.gradsoft.javachecker.util.ImmutableMappedCollection
 
iterator() - Method in class ua.gradsoft.javachecker.util.ImmutableMappedMap.MappedEntrySet
 
iterator() - Method in class ua.gradsoft.javachecker.util.IntegerOrderList
 
ITermVisitor - Interface in ua.gradsoft.javachecker
 

J

JarClassLoader - Class in ua.gradsoft.javachecker.util
Simple JarClassLoader, for accessing classes from supplied jars.
JarClassLoader(String[]) - Constructor for class ua.gradsoft.javachecker.util.JarClassLoader
Creates a new instance of JarClassLoader
JavaAdditiveOperatorKind - Enum in ua.gradsoft.javachecker.models.expressions
Kind of AdditiveOperator
JavaAnnotationDefaultInstanceModel - Class in ua.gradsoft.javachecker.models
Instance of default annotation.
JavaAnnotationDefaultInstanceModel(JavaTypeModel) - Constructor for class ua.gradsoft.javachecker.models.JavaAnnotationDefaultInstanceModel
Creates a new instance of JavaAnnotationDefaultInstanceModel
JavaAnnotationInstanceModel - Class in ua.gradsoft.javachecker.models
Instance of annotation.
JavaAnnotationInstanceModel(ElementType, Object) - Constructor for class ua.gradsoft.javachecker.models.JavaAnnotationInstanceModel
 
JavaAnnotationKind - Enum in ua.gradsoft.javachecker.models
Kind of syntax form of annotation
JavaArrayTypeModel - Class in ua.gradsoft.javachecker.models
Type model for Java array
JavaArrayTypeModel(JavaTypeModel, JavaExpressionModel) - Constructor for class ua.gradsoft.javachecker.models.JavaArrayTypeModel
Creates a new instance of JavaArrayTypeModel
JavaAssigmentOperatorKind - Enum in ua.gradsoft.javachecker.models.expressions
Kind of Java assigment operator
JavaBooleanTraceModel - Class in ua.gradsoft.javachecker.trace
Trace Model for boolean primitive
JavaBooleanTraceModel(boolean) - Constructor for class ua.gradsoft.javachecker.trace.JavaBooleanTraceModel
 
JavaCheckerExceptionHandler - Interface in ua.gradsoft.javachecker
Exception handlers for exceptions, which are thrown from checkers.
JavaCheckerFacade - Class in ua.gradsoft.javachecker
Facade java class, to invoke JavaChecker from other programs.
JavaCheckerTask - Class in ua.gradsoft.javachecker.ant
Ant task for JavaChecker
JavaCheckerTask() - Constructor for class ua.gradsoft.javachecker.ant.JavaCheckerTask
Creates a new instance of JavaCheckerTask
JavaCheckerTask.CheckName - Class in ua.gradsoft.javachecker.ant
 
JavaCheckerTask.CheckName() - Constructor for class ua.gradsoft.javachecker.ant.JavaCheckerTask.CheckName
 
JavaCheckerTask.ConfigNVPair - Class in ua.gradsoft.javachecker.ant
 
JavaCheckerTask.ConfigNVPair() - Constructor for class ua.gradsoft.javachecker.ant.JavaCheckerTask.ConfigNVPair
 
JavaClassAnnotationInstanceModel - Class in ua.gradsoft.javachecker.models
Model for annotation instance, based on reflection API
JavaClassAnnotationInstanceModel(ElementType, Annotation, Object) - Constructor for class ua.gradsoft.javachecker.models.JavaClassAnnotationInstanceModel
Creates a new instance of JavaClassAnnotationInstanceModel
JavaClassArgumentBoundMethodModel - Class in ua.gradsoft.javachecker.models
Java method, whith argument bounds of subclass.
JavaClassArgumentBoundMethodModel(JavaTypeArgumentBoundTypeModel, JavaMethodModel) - Constructor for class ua.gradsoft.javachecker.models.JavaClassArgumentBoundMethodModel
Creates a new instance of JavaArgumentBoundToTypeMethodModel
JavaClassConstructorModel - Class in ua.gradsoft.javachecker.models
Model for constructor of class
JavaClassConstructorModel(Constructor, JavaClassTypeModel) - Constructor for class ua.gradsoft.javachecker.models.JavaClassConstructorModel
Creates a new instance of JavaClassConstructorModel
JavaClassEnumConstantModel - Class in ua.gradsoft.javachecker.models
Enum constant from class.
JavaClassEnumConstantModel(Object, JavaClassTypeModel) - Constructor for class ua.gradsoft.javachecker.models.JavaClassEnumConstantModel
constructor of enum constant.
JavaClassFieldModel - Class in ua.gradsoft.javachecker.models
Model for field of class
JavaClassFieldModel(Field, JavaClassTypeModel) - Constructor for class ua.gradsoft.javachecker.models.JavaClassFieldModel
Creates a new instance of JavaClassFieldModel
JavaClassFormalParameterModel - Class in ua.gradsoft.javachecker.models
 
JavaClassFormalParameterModel(String, Annotation[], int, JavaTypeModel, JavaClassTopLevelBlockOwnerModel, int) - Constructor for class ua.gradsoft.javachecker.models.JavaClassFormalParameterModel
Creates a new instance of JavaClassFormalParameterModel
JavaClassMethodModel - Class in ua.gradsoft.javachecker.models
Model class, which based on reflection mechanizm
JavaClassMethodModel(Method, JavaClassTypeModel) - Constructor for class ua.gradsoft.javachecker.models.JavaClassMethodModel
Creates a new instance of JavaClassMethodModel
JavaClassModifiersModel - Class in ua.gradsoft.javachecker.models
Modifiers for class.
JavaClassModifiersModel(List<JavaAnnotationInstanceModel>, int) - Constructor for class ua.gradsoft.javachecker.models.JavaClassModifiersModel
Creates a new instance of JavaClassModifiersModel
JavaClassObjectConstantExpressionModel - Class in ua.gradsoft.javachecker.models.expressions
'Expression' which is really a constant, situated in class
JavaClassObjectConstantExpressionModel(Object, JavaTypeModel) - Constructor for class ua.gradsoft.javachecker.models.expressions.JavaClassObjectConstantExpressionModel
Creates a new instance of JavaClassObjectConstantExpressionModel
JavaClassTopLevelBlockOwnerModel - Interface in ua.gradsoft.javachecker.models
Interface for top-level block owner model
JavaClassTopLevelBlockOwnerModelHelper - Class in ua.gradsoft.javachecker.models
Helper for operations, common for class constructors and methods.
JavaClassTopLevelBlockOwnerModelHelper() - Constructor for class ua.gradsoft.javachecker.models.JavaClassTopLevelBlockOwnerModelHelper
 
JavaClassTypeModel - Class in ua.gradsoft.javachecker.models
TypeModel, based on java class
JavaClassTypeModel(Class) - Constructor for class ua.gradsoft.javachecker.models.JavaClassTypeModel
Creates a new instance of JavaClassTypeModel
JavaClassTypeVariableModel - Class in ua.gradsoft.javachecker.models
 
JavaClassTypeVariableModel(TypeVariable<?>) - Constructor for class ua.gradsoft.javachecker.models.JavaClassTypeVariableModel
Creates a new instance of JavaClassTypeVariableModel
JavaClassUnitModel - Class in ua.gradsoft.javachecker.models
Formal 'CompilationUnitModel' which represent one class, loaded from ClassLoader
JavaClassUnitModel(Class) - Constructor for class ua.gradsoft.javachecker.models.JavaClassUnitModel
Creates a new instance of JavaClassUnitModel
JavaCompilationUnitModel - Class in ua.gradsoft.javachecker.models
 
JavaCompilationUnitModel(String) - Constructor for class ua.gradsoft.javachecker.models.JavaCompilationUnitModel
 
JavaCompilationUnitModel.ClassImportSuffix - Class in ua.gradsoft.javachecker.models
class import can consists not only from package name and imported class, but from package name and some sequences of classes, which are enclosing for imported.
JavaCompilationUnitModel.ClassImportSuffix(String) - Constructor for class ua.gradsoft.javachecker.models.JavaCompilationUnitModel.ClassImportSuffix
 
JavaCompilationUnitModel.ClassImportSuffix(JavaTypeModel) - Constructor for class ua.gradsoft.javachecker.models.JavaCompilationUnitModel.ClassImportSuffix
 
JavaCompilationUnitModel.PackageOrClassModelHolder - Class in ua.gradsoft.javachecker.models
 
JavaCompilationUnitModel.PackageOrClassModelHolder() - Constructor for class ua.gradsoft.javachecker.models.JavaCompilationUnitModel.PackageOrClassModelHolder
 
JavaConstructorModel - Class in ua.gradsoft.javachecker.models
Interface for constructor
JavaConstructorModel() - Constructor for class ua.gradsoft.javachecker.models.JavaConstructorModel
 
JavaDelegatedAnnotationInstanceModel - Class in ua.gradsoft.javachecker.models
 
JavaDelegatedAnnotationInstanceModel(JavaAnnotationInstanceModel, Object) - Constructor for class ua.gradsoft.javachecker.models.JavaDelegatedAnnotationInstanceModel
Creates a new instance of JavaDelegatedAnnotationInstanceModel
JavaEnumConstantModel - Class in ua.gradsoft.javachecker.models
Abstract class for enum constants.
JavaEnumConstantModel() - Constructor for class ua.gradsoft.javachecker.models.JavaEnumConstantModel
 
JavaEqualityOperatorKind - Enum in ua.gradsoft.javachecker.models.expressions
Enumeration of all equality operators.
JavaExpressionHelper - Class in ua.gradsoft.javachecker.models
Helper class for Java Expressions
JavaExpressionKind - Enum in ua.gradsoft.javachecker.models
Kind of Java Expression
JavaExpressionModel - Interface in ua.gradsoft.javachecker.models
Model of Java Expression
JavaExpressionModelHelper - Class in ua.gradsoft.javachecker.models
Helper for JavaExpressionModel
JavaExpressionModelHelper() - Constructor for class ua.gradsoft.javachecker.models.JavaExpressionModelHelper
 
JavaFacts - Class in ua.gradsoft.javachecker
Facts for java sources analysis.
JavaFacts(IEnv, Preferences) - Constructor for class ua.gradsoft.javachecker.JavaFacts
Creates a new instance of JavaFacts
JavaFormalParameterModel - Class in ua.gradsoft.javachecker.models
Model for formal parameter
JavaFormalParameterModel() - Constructor for class ua.gradsoft.javachecker.models.JavaFormalParameterModel
 
JavaIdentifierExpressionModel - Interface in ua.gradsoft.javachecker.models.expressions
Interface for expression, which consists from identifiers.
JavaInitializerModel - Class in ua.gradsoft.javachecker.models
Model for Java initializer
JavaInitializerModel() - Constructor for class ua.gradsoft.javachecker.models.JavaInitializerModel
 
JavaIntTraceModel - Class in ua.gradsoft.javachecker.trace
Trace model for 'int'
JavaIntTraceModel(int) - Constructor for class ua.gradsoft.javachecker.trace.JavaIntTraceModel
 
JavaLiteralModel - Interface in ua.gradsoft.javachecker.models
Literal
JavaLocalVariableKind - Enum in ua.gradsoft.javachecker.models
Kind of Java Local Variable
JavaLocalVariableModel - Interface in ua.gradsoft.javachecker.models
Model for java local variable, defined in block.
JavaLongTraceModel - Class in ua.gradsoft.javachecker.trace
Trace Model for long
JavaLongTraceModel(long) - Constructor for class ua.gradsoft.javachecker.trace.JavaLongTraceModel
 
JavaMemberVariableModel - Class in ua.gradsoft.javachecker.models
Abstract model for member variable.
JavaMemberVariableModel() - Constructor for class ua.gradsoft.javachecker.models.JavaMemberVariableModel
 
JavaMethodModel - Class in ua.gradsoft.javachecker.models
Model for method
JavaMethodModel(JavaTypeModel) - Constructor for class ua.gradsoft.javachecker.models.JavaMethodModel
Creates a new instance of JavaMethodModel
JavaMethodModelAttributes - Class in ua.gradsoft.javachecker.models
Holder for method attributes.
JavaModelConstants - Class in ua.gradsoft.javachecker.models
Interface which define few usefull constants
JavaModelConstants() - Constructor for class ua.gradsoft.javachecker.models.JavaModelConstants
 
JavaModifiersModel - Class in ua.gradsoft.javachecker.models
Model for Java Modifiers
JavaModifiersModel() - Constructor for class ua.gradsoft.javachecker.models.JavaModifiersModel
 
JavaMultiplicativeOperatorKind - Enum in ua.gradsoft.javachecker.models.expressions
Kind of multiplicative operator
JavaNullTypeModel - Class in ua.gradsoft.javachecker.models
Null type model.
JavaObjectConstantExpressionModel - Interface in ua.gradsoft.javachecker.models.expressions
Expression for object constant.
JavaObjectConstantTraceObjectModel - Class in ua.gradsoft.javachecker.trace
 
JavaObjectConstantTraceObjectModel(JavaObjectConstantExpressionModel) - Constructor for class ua.gradsoft.javachecker.trace.JavaObjectConstantTraceObjectModel
 
JavaPackageModel - Class in ua.gradsoft.javachecker.models
Model for Java Package.
JavaPackageModel(String, JavaFacts) - Constructor for class ua.gradsoft.javachecker.models.JavaPackageModel
Creates a new instance of JavaPackageModel
JavaPlaceContext - Class in ua.gradsoft.javachecker.models
This class keep context of program place.
JavaPlaceContextFactory - Class in ua.gradsoft.javachecker.models
Factory of context
JavaPlaceContextFactory() - Constructor for class ua.gradsoft.javachecker.models.JavaPlaceContextFactory
 
JavaPostfixOperatorKind - Enum in ua.gradsoft.javachecker.models.expressions
Postfix operator: INCREMENT or DECREMENT
JavaPrimitiveTraceModel - Class in ua.gradsoft.javachecker.trace
Class for trace models of primitive types
JavaPrimitiveTraceModel(JavaPrimitiveTypeModel) - Constructor for class ua.gradsoft.javachecker.trace.JavaPrimitiveTraceModel
 
JavaPrimitiveTypeModel - Class in ua.gradsoft.javachecker.models
 
JavaRelationOperatorKind - Enum in ua.gradsoft.javachecker.models.expressions
Kind of relation operator
JavaResolver - Class in ua.gradsoft.javachecker.models
Static class
JavaResolver() - Constructor for class ua.gradsoft.javachecker.models.JavaResolver
 
JavaShiftOperatorKind - Enum in ua.gradsoft.javachecker.models.expressions
ShiftExpressionKind
JavaShortTraceModel - Class in ua.gradsoft.javachecker.trace
Trace model for 'short' primitives
JavaShortTraceModel(short) - Constructor for class ua.gradsoft.javachecker.trace.JavaShortTraceModel
 
JavaStatementKind - Enum in ua.gradsoft.javachecker.models
Kind of Java Statements
JavaStatementModel - Interface in ua.gradsoft.javachecker.models
Model for Java Statement
JavaTermAdditiveExpressionModel - Class in ua.gradsoft.javachecker.models.expressions
AdditiveExpression
JavaTermAdditiveExpressionModel(Term, JavaTermStatementModel, JavaTypeModel) - Constructor for class ua.gradsoft.javachecker.models.expressions.JavaTermAdditiveExpressionModel
 
JavaTermAllocationExpressionModel - Class in ua.gradsoft.javachecker.models.expressions
Model of AllocationExpression
JavaTermAllocationExpressionModel(Term, JavaTermStatementModel, JavaTypeModel) - Constructor for class ua.gradsoft.javachecker.models.expressions.JavaTermAllocationExpressionModel
 
JavaTermAndExpressionModel - Class in ua.gradsoft.javachecker.models.expressions
AndExpression
JavaTermAndExpressionModel(Term, JavaTermStatementModel, JavaTypeModel) - Constructor for class ua.gradsoft.javachecker.models.expressions.JavaTermAndExpressionModel
 
JavaTermAnnotationExpressionModel - Class in ua.gradsoft.javachecker.models.expressions
Model for annotation, which is part of other annotation.
JavaTermAnnotationExpressionModel(Term, JavaAnnotationInstanceModel, JavaTypeModel, JavaAnnotationInstanceModel) - Constructor for class ua.gradsoft.javachecker.models.expressions.JavaTermAnnotationExpressionModel
Creates a new instance of JavaTermAnnotationExpressionModel
JavaTermAnnotationInstanceModel - Class in ua.gradsoft.javachecker.models
 
JavaTermAnnotationInstanceModel(Term, ElementType, Object) - Constructor for class ua.gradsoft.javachecker.models.JavaTermAnnotationInstanceModel
Creates a new instance of JavaTermAnnotationInstanceModel
JavaTermAnnotationMemberValueArrayInitializerExpressionModel - Class in ua.gradsoft.javachecker.models.expressions
MemberValueArryaInitializer inside annotation,
JavaTermAnnotationMemberValueArrayInitializerExpressionModel(Term, JavaTypeModel, JavaAnnotationInstanceModel, String) - Constructor for class ua.gradsoft.javachecker.models.expressions.JavaTermAnnotationMemberValueArrayInitializerExpressionModel
Creates a new instance of JavaTermAnnotationMemberValueArrayInitializerExpressionModel
JavaTermAnnotationMethodModel - Class in ua.gradsoft.javachecker.models
Annotation element.
JavaTermAnnotationMethodModel(JavaTypeModel, Term, Term, Term, Term) - Constructor for class ua.gradsoft.javachecker.models.JavaTermAnnotationMethodModel
create annotation field.
JavaTermAnnotationTypeModel - Class in ua.gradsoft.javachecker.models
Model of annotation type which holds term.
JavaTermAnnotationTypeModel(Term, Term, JavaPackageModel, JavaUnitModel) - Constructor for class ua.gradsoft.javachecker.models.JavaTermAnnotationTypeModel
 
JavaTermAnonimousTypeModel - Class in ua.gradsoft.javachecker.models
Class for anonimous type definitions.
JavaTermAnonimousTypeModel(JavaTermStatementModel, Term, JavaTypeModel) - Constructor for class ua.gradsoft.javachecker.models.JavaTermAnonimousTypeModel
create new model of anonimous type, where t is AllocatorExpression with type definition,
JavaTermArrayIndexExpressionModel - Class in ua.gradsoft.javachecker.models.expressions
 
JavaTermArrayIndexExpressionModel(Term, JavaTermStatementModel, JavaTypeModel) - Constructor for class ua.gradsoft.javachecker.models.expressions.JavaTermArrayIndexExpressionModel
Creates a new instance of JavaTermArrayIndexExpressionModel
JavaTermArrayInitializerExpressionModel - Class in ua.gradsoft.javachecker.models.expressions
Array initialize.
JavaTermArrayInitializerExpressionModel(Term, JavaTermStatementModel, JavaTypeModel) - Constructor for class ua.gradsoft.javachecker.models.expressions.JavaTermArrayInitializerExpressionModel
Creates a new instance of JavaTermArrayInitializerExpressionModel
JavaTermAssigmentExpressionModel - Class in ua.gradsoft.javachecker.models.expressions
Model of assigment expression
JavaTermAssigmentExpressionModel(Term, JavaTermStatementModel, JavaTypeModel) - Constructor for class ua.gradsoft.javachecker.models.expressions.JavaTermAssigmentExpressionModel
 
JavaTermBooleanLiteralExpressionModel - Class in ua.gradsoft.javachecker.models.expressions
BooleanLiteral
JavaTermBooleanLiteralExpressionModel(boolean, JavaTermStatementModel, JavaTypeModel) - Constructor for class ua.gradsoft.javachecker.models.expressions.JavaTermBooleanLiteralExpressionModel
 
JavaTermBooleanLiteralExpressionModel(Term, JavaTermStatementModel, JavaTypeModel) - Constructor for class ua.gradsoft.javachecker.models.expressions.JavaTermBooleanLiteralExpressionModel
 
JavaTermCastExpressionModel - Class in ua.gradsoft.javachecker.models.expressions
CastExpression
JavaTermCastExpressionModel(Term, JavaTermStatementModel, JavaTypeModel) - Constructor for class ua.gradsoft.javachecker.models.expressions.JavaTermCastExpressionModel
 
JavaTermCharacterLiteralExpressionModel - Class in ua.gradsoft.javachecker.models.expressions
CharacterLiteral
JavaTermCharacterLiteralExpressionModel(Term, JavaTermStatementModel, JavaTypeModel) - Constructor for class ua.gradsoft.javachecker.models.expressions.JavaTermCharacterLiteralExpressionModel
 
JavaTermClassLiteralExpressionModel - Class in ua.gradsoft.javachecker.models.expressions
ClassLiteral I.
JavaTermClassLiteralExpressionModel(Term, JavaTermStatementModel, JavaTypeModel) - Constructor for class ua.gradsoft.javachecker.models.expressions.JavaTermClassLiteralExpressionModel
 
JavaTermClassOrInterfaceModel - Class in ua.gradsoft.javachecker.models
Model for Java Type ( Class or Interface )
JavaTermClassOrInterfaceModel(Term, Term, JavaPackageModel, JavaUnitModel) - Constructor for class ua.gradsoft.javachecker.models.JavaTermClassOrInterfaceModel
Creates a new instance of JavaClassModel
JavaTermConditionalAndExpressionModel - Class in ua.gradsoft.javachecker.models.expressions
ConditionalAndExpression
JavaTermConditionalAndExpressionModel(Term, JavaTermStatementModel, JavaTypeModel) - Constructor for class ua.gradsoft.javachecker.models.expressions.JavaTermConditionalAndExpressionModel
 
JavaTermConditionalExpressionModel - Class in ua.gradsoft.javachecker.models.expressions
ConditionelExpression
JavaTermConditionalExpressionModel(Term, JavaTermStatementModel, JavaTypeModel) - Constructor for class ua.gradsoft.javachecker.models.expressions.JavaTermConditionalExpressionModel
 
JavaTermConditionalOrExpressionModel - Class in ua.gradsoft.javachecker.models.expressions
Model for ConditionalOr
JavaTermConditionalOrExpressionModel(Term, JavaTermStatementModel, JavaTypeModel) - Constructor for class ua.gradsoft.javachecker.models.expressions.JavaTermConditionalOrExpressionModel
 
JavaTermConstructorModel - Class in ua.gradsoft.javachecker.models
Constructor for term.
JavaTermConstructorModel(Term, Term, JavaTermTypeAbstractModel) - Constructor for class ua.gradsoft.javachecker.models.JavaTermConstructorModel
Creates a new instance of JavaTermConstructorModel
JavaTermEnumAnonimousTypeModel - Class in ua.gradsoft.javachecker.models
Model for type, which represent anonimous subtype of enum.
JavaTermEnumAnonimousTypeModel(String, Term, JavaTermEnumModel) - Constructor for class ua.gradsoft.javachecker.models.JavaTermEnumAnonimousTypeModel
 
JavaTermEnumConstantModel - Class in ua.gradsoft.javachecker.models
Model of enum constant
JavaTermEnumModel - Class in ua.gradsoft.javachecker.models
Model of Enum definition.
JavaTermEnumModel.ValueOfMethodModel - Class in ua.gradsoft.javachecker.models
 
JavaTermEnumModel.ValueOfMethodModel() - Constructor for class ua.gradsoft.javachecker.models.JavaTermEnumModel.ValueOfMethodModel
Creates a new instance of JavaMethodModel
JavaTermEnumModel.ValuesMethodModel - Class in ua.gradsoft.javachecker.models
 
JavaTermEnumModel.ValuesMethodModel() - Constructor for class ua.gradsoft.javachecker.models.JavaTermEnumModel.ValuesMethodModel
Creates a new instance of JavaMethodModel
JavaTermEqualityExpressionModel - Class in ua.gradsoft.javachecker.models.expressions
EqualityExpression
JavaTermEqualityExpressionModel(Term, JavaTermStatementModel, JavaTypeModel) - Constructor for class ua.gradsoft.javachecker.models.expressions.JavaTermEqualityExpressionModel
 
JavaTermExclusiveOrExpressionModel - Class in ua.gradsoft.javachecker.models.expressions
ExclusiveOrExpression
JavaTermExclusiveOrExpressionModel(Term, JavaTermStatementModel, JavaTypeModel) - Constructor for class ua.gradsoft.javachecker.models.expressions.JavaTermExclusiveOrExpressionModel
 
JavaTermExpressionModel - Class in ua.gradsoft.javachecker.models
Expression, based on term
JavaTermExpressionModel(Term, JavaTermStatementModel, JavaTypeModel) - Constructor for class ua.gradsoft.javachecker.models.JavaTermExpressionModel
 
JavaTermFieldExpressionModel - Class in ua.gradsoft.javachecker.models.expressions
Field($x,$y)
JavaTermFieldExpressionModel(Term, JavaTermStatementModel, JavaTypeModel) - Constructor for class ua.gradsoft.javachecker.models.expressions.JavaTermFieldExpressionModel
Creates a new instance of JavaTermFieldExpressionModel
JavaTermFieldExpressionModel(JavaTermExpressionModel, Term, JavaTermStatementModel, JavaTypeModel) - Constructor for class ua.gradsoft.javachecker.models.expressions.JavaTermFieldExpressionModel
Creates a new instance of JavaTermFieldExpressionModel, when object inside field is already resolved.
JavaTermFloatingPointLiteralExpressionModel - Class in ua.gradsoft.javachecker.models.expressions
Model for floating point literal expression
JavaTermFloatingPointLiteralExpressionModel(Term, JavaTermStatementModel, JavaTypeModel) - Constructor for class ua.gradsoft.javachecker.models.expressions.JavaTermFloatingPointLiteralExpressionModel
 
JavaTermFormalParameterModel - Class in ua.gradsoft.javachecker.models
Model for Java Formal Parameter
JavaTermFormalParameterModel(Term, String, JavaTypeModel, JavaTopLevelBlockOwnerModel, int) - Constructor for class ua.gradsoft.javachecker.models.JavaTermFormalParameterModel
 
JavaTermFunctionCallExpressionModel - Class in ua.gradsoft.javachecker.models.expressions
FunctionCall
JavaTermFunctionCallExpressionModel(Term, JavaTermStatementModel, JavaTypeModel) - Constructor for class ua.gradsoft.javachecker.models.expressions.JavaTermFunctionCallExpressionModel
 
JavaTermIdentifierExpressionModel - Class in ua.gradsoft.javachecker.models.expressions
Expression emodel for identifier.
JavaTermIdentifierExpressionModel(Term, JavaTermStatementModel, JavaTypeModel) - Constructor for class ua.gradsoft.javachecker.models.expressions.JavaTermIdentifierExpressionModel
 
JavaTermInclusiveOrExpressionModel - Class in ua.gradsoft.javachecker.models.expressions
InclusiveOrExpression
JavaTermInclusiveOrExpressionModel(Term, JavaTermStatementModel, JavaTypeModel) - Constructor for class ua.gradsoft.javachecker.models.expressions.JavaTermInclusiveOrExpressionModel
 
JavaTermInitializerModel - Class in ua.gradsoft.javachecker.models
Model for Java Initializer, based on Term
JavaTermInitializerModel(JavaTermTypeAbstractModel, Term) - Constructor for class ua.gradsoft.javachecker.models.JavaTermInitializerModel
create intializer model
JavaTermInnerAllocationExpressionModel - Class in ua.gradsoft.javachecker.models.expressions
Allocation of inner class.
JavaTermInnerAllocationExpressionModel(Term, JavaTermStatementModel, JavaTypeModel) - Constructor for class ua.gradsoft.javachecker.models.expressions.JavaTermInnerAllocationExpressionModel
 
JavaTermInstanceOfExpressionModel - Class in ua.gradsoft.javachecker.models.expressions
Expression for InstanceOf
JavaTermInstanceOfExpressionModel(Term, JavaTermStatementModel, JavaTypeModel) - Constructor for class ua.gradsoft.javachecker.models.expressions.JavaTermInstanceOfExpressionModel
 
JavaTermIntegerLiteralExpressionModel - Class in ua.gradsoft.javachecker.models.expressions
IntegerLiteral
JavaTermIntegerLiteralExpressionModel(int, JavaTermStatementModel, JavaTypeModel) - Constructor for class ua.gradsoft.javachecker.models.expressions.JavaTermIntegerLiteralExpressionModel
 
JavaTermIntegerLiteralExpressionModel(long, JavaTermStatementModel, JavaTypeModel) - Constructor for class ua.gradsoft.javachecker.models.expressions.JavaTermIntegerLiteralExpressionModel
 
JavaTermIntegerLiteralExpressionModel(Term, JavaTermStatementModel, JavaTypeModel) - Constructor for class ua.gradsoft.javachecker.models.expressions.JavaTermIntegerLiteralExpressionModel
 
JavaTermLocalVariableModel - Class in ua.gradsoft.javachecker.models
Model of local variable.
JavaTermLocalVariableModel(Term, JavaLocalVariableKind, Term, Term, Term, JavaTermExpressionModel, JavaTermStatementModel) - Constructor for class ua.gradsoft.javachecker.models.JavaTermLocalVariableModel
 
JavaTermMemberVariableModel - Class in ua.gradsoft.javachecker.models
Model for java Member variable.
JavaTermMemberVariableModel(Term, Term, Term, JavaTypeModel) - Constructor for class ua.gradsoft.javachecker.models.JavaTermMemberVariableModel
Creates a new instance of JavaTermMemberVariableModel
JavaTermMethodCallExpressionModel - Class in ua.gradsoft.javachecker.models.expressions
Model for method call
JavaTermMethodCallExpressionModel(Term, JavaTermStatementModel, JavaTypeModel) - Constructor for class ua.gradsoft.javachecker.models.expressions.JavaTermMethodCallExpressionModel
 
JavaTermMethodModel - Class in ua.gradsoft.javachecker.models
Model for java method TODO: build block model
JavaTermMethodModel(Term, Term, JavaTermTypeAbstractModel) - Constructor for class ua.gradsoft.javachecker.models.JavaTermMethodModel
Creates a new instance of JavaMethodModel
JavaTermModifiersModel - Class in ua.gradsoft.javachecker.models
Model for Java Modifiers
JavaTermModifiersModel(int) - Constructor for class ua.gradsoft.javachecker.models.JavaTermModifiersModel
 
JavaTermModifiersModel() - Constructor for class ua.gradsoft.javachecker.models.JavaTermModifiersModel
 
JavaTermModifiersModel(Term, ElementType, Object) - Constructor for class ua.gradsoft.javachecker.models.JavaTermModifiersModel
 
JavaTermMultiplicativeExpressionModel - Class in ua.gradsoft.javachecker.models.expressions
MultiplicativeExpression
JavaTermMultiplicativeExpressionModel(Term, JavaTermStatementModel, JavaTypeModel) - Constructor for class ua.gradsoft.javachecker.models.expressions.JavaTermMultiplicativeExpressionModel
 
JavaTermNameExpressionModel - Class in ua.gradsoft.javachecker.models.expressions
Name(IdentifierList) reduced to one of: Variable: Name([$x]) -> Variable($x) Field Name([$x:$y]) [ isMemberVariable($x) -> Field($x,RestField($y)) ] where Field($x,RestField([$y:$z])) -> Field(Field($x,$y),RestField($z)) Field($x,RestField([])) -> $x TypeField Name([$x:$y]) [ isType($x) ] -> TypeField($x,RestTypeField($y)) TypeField($x,RestTypeField([$y:$z])) [ isNameOdNestedClass($y,$x) ] -> TypeField(Name(cons($x,$y)),RestTypeField($z)) | [ isNameOfStaticVariable($y,$x) ] -> Field(StaticField($x,$y),RestField($z)) |-> error.
JavaTermNameExpressionModel(Term, JavaTermStatementModel, JavaTypeModel) - Constructor for class ua.gradsoft.javachecker.models.expressions.JavaTermNameExpressionModel
Creates a new instance of JavaTermNameExpressionModel
JavaTermNestedTypeExpressionModel - Class in ua.gradsoft.javachecker.models.expressions
Type, which is nested in another type.
JavaTermNestedTypeExpressionModel(JavaTypeModel, Term, JavaTermStatementModel, JavaTypeModel) - Constructor for class ua.gradsoft.javachecker.models.expressions.JavaTermNestedTypeExpressionModel
Creates a new instance of JavaTermNestedTypeExpressionModel
JavaTermNullLiteralExpressionModel - Class in ua.gradsoft.javachecker.models.expressions
NullLiteral
JavaTermNullLiteralExpressionModel(Term, JavaTermStatementModel, JavaTypeModel) - Constructor for class ua.gradsoft.javachecker.models.expressions.JavaTermNullLiteralExpressionModel
 
JavaTermParentizedExpressionModel - Class in ua.gradsoft.javachecker.models.expressions
 
JavaTermParentizedExpressionModel(Term, JavaTermStatementModel, JavaTypeModel) - Constructor for class ua.gradsoft.javachecker.models.expressions.JavaTermParentizedExpressionModel
 
JavaTermPostfixExpressionModel - Class in ua.gradsoft.javachecker.models.expressions
PostfixExpression
JavaTermPostfixExpressionModel(Term, JavaTermStatementModel, JavaTypeModel) - Constructor for class ua.gradsoft.javachecker.models.expressions.JavaTermPostfixExpressionModel
 
JavaTermPredecrementExpressionModel - Class in ua.gradsoft.javachecker.models.expressions
PredecrementExpression
JavaTermPredecrementExpressionModel(Term, JavaTermStatementModel, JavaTypeModel) - Constructor for class ua.gradsoft.javachecker.models.expressions.JavaTermPredecrementExpressionModel
 
JavaTermPreincrementExpressionModel - Class in ua.gradsoft.javachecker.models.expressions
PreincrementExpression
JavaTermPreincrementExpressionModel(Term, JavaTermStatementModel, JavaTypeModel) - Constructor for class ua.gradsoft.javachecker.models.expressions.JavaTermPreincrementExpressionModel
 
JavaTermRelationalExpressionModel - Class in ua.gradsoft.javachecker.models.expressions
RelationalExpression
JavaTermRelationalExpressionModel(Term, JavaTermStatementModel, JavaTypeModel) - Constructor for class ua.gradsoft.javachecker.models.expressions.JavaTermRelationalExpressionModel
 
JavaTermShiftExpressionModel - Class in ua.gradsoft.javachecker.models.expressions
ShiftExpression
JavaTermShiftExpressionModel(Term, JavaTermStatementModel, JavaTypeModel) - Constructor for class ua.gradsoft.javachecker.models.expressions.JavaTermShiftExpressionModel
 
JavaTermSpecializedMethodCallExpressionModel - Class in ua.gradsoft.javachecker.models.expressions
Model for SpecializedMethodCall (i.
JavaTermSpecializedMethodCallExpressionModel(Term, JavaTermStatementModel, JavaTypeModel) - Constructor for class ua.gradsoft.javachecker.models.expressions.JavaTermSpecializedMethodCallExpressionModel
Creates a new instance of JavaTermSpecializedMethodCallExpressionModel
JavaTermStatementModel - Class in ua.gradsoft.javachecker.models
Model for java statement.
JavaTermStatementModel(JavaTermTopLevelBlockModel, Term, JavaTermStatementModel, JavaTermStatementModel) - Constructor for class ua.gradsoft.javachecker.models.JavaTermStatementModel
 
JavaTermStaticFieldExpressionModel - Class in ua.gradsoft.javachecker.models.expressions
Model, which represent static field of some class.
JavaTermStaticFieldExpressionModel(JavaMemberVariableModel, Term, JavaTermStatementModel, JavaTypeModel) - Constructor for class ua.gradsoft.javachecker.models.expressions.JavaTermStaticFieldExpressionModel
Creates a new instance of JavaTermStaticFieldExpressionModel
JavaTermStringLiteralExpressionModel - Class in ua.gradsoft.javachecker.models.expressions
StringLiteral
JavaTermStringLiteralExpressionModel(Term, JavaTermStatementModel, JavaTypeModel) - Constructor for class ua.gradsoft.javachecker.models.expressions.JavaTermStringLiteralExpressionModel
 
JavaTermSuperExpressionModel - Class in ua.gradsoft.javachecker.models.expressions
Super(x) = x.super
JavaTermSuperExpressionModel(Term, JavaTermStatementModel, JavaTypeModel) - Constructor for class ua.gradsoft.javachecker.models.expressions.JavaTermSuperExpressionModel
 
JavaTermSuperPrefixExpressionModel - Class in ua.gradsoft.javachecker.models.expressions
SuperExpression
JavaTermSuperPrefixExpressionModel(Term, JavaTermStatementModel, JavaTypeModel) - Constructor for class ua.gradsoft.javachecker.models.expressions.JavaTermSuperPrefixExpressionModel
 
JavaTermSwitchConstantExpressionModel - Class in ua.gradsoft.javachecker.models.expressions
Model for constant expression in switch
JavaTermSwitchConstantExpressionModel(JavaExpressionModel, Term, JavaTermStatementModel, JavaTypeModel) - Constructor for class ua.gradsoft.javachecker.models.expressions.JavaTermSwitchConstantExpressionModel
 
JavaTermThisExpressionModel - Class in ua.gradsoft.javachecker.models.expressions
ThisExpression (i.e.
JavaTermThisExpressionModel(Term, JavaTermStatementModel, JavaTypeModel) - Constructor for class ua.gradsoft.javachecker.models.expressions.JavaTermThisExpressionModel
 
JavaTermThisPrefixExpressionModel - Class in ua.gradsoft.javachecker.models.expressions
ExpressionModel, which implements 'this' expression prefix
JavaTermThisPrefixExpressionModel(Term, JavaTermStatementModel, JavaTypeModel) - Constructor for class ua.gradsoft.javachecker.models.expressions.JavaTermThisPrefixExpressionModel
 
JavaTermTopLevelBlockModel - Class in ua.gradsoft.javachecker.models
Model for java block as term.
JavaTermTopLevelBlockModel(JavaTermTopLevelBlockOwnerModel, Term) - Constructor for class ua.gradsoft.javachecker.models.JavaTermTopLevelBlockModel
build top level block.
JavaTermTopLevelBlockOwnerModel - Interface in ua.gradsoft.javachecker.models
Interface for term-based abstract block model owner
JavaTermTraceObjectModel - Class in ua.gradsoft.javachecker.trace
TraceObject, created form TermExpression
JavaTermTraceObjectModel(JavaTermExpressionModel) - Constructor for class ua.gradsoft.javachecker.trace.JavaTermTraceObjectModel
 
JavaTermTypeAbstractModel - Class in ua.gradsoft.javachecker.models
Abstract class for Term models of Java Types
JavaTermTypeAbstractModel(Term, Term, JavaPackageModel, JavaUnitModel) - Constructor for class ua.gradsoft.javachecker.models.JavaTermTypeAbstractModel
Creates a new instance of JavaTermTypeAbstractModel
JavaTermTypeExpressionModel - Class in ua.gradsoft.javachecker.models.expressions
Expression, which means type
JavaTermTypeExpressionModel(Term, JavaTermStatementModel, JavaTypeModel) - Constructor for class ua.gradsoft.javachecker.models.expressions.JavaTermTypeExpressionModel
Creates a new instance of JavaTermTypeExpressionModel
JavaTermTypeNameExpressionModel - Class in ua.gradsoft.javachecker.models.expressions
Expression for name.
JavaTermTypeNameExpressionModel(JavaTypeModel, Term, JavaTermStatementModel, JavaTypeModel) - Constructor for class ua.gradsoft.javachecker.models.expressions.JavaTermTypeNameExpressionModel
Creates a new instance of JavaTypeNameExpressionModel
JavaTermTypeVariableModel - Class in ua.gradsoft.javachecker.models
 
JavaTermTypeVariableModel(Term, JavaTypeModel) - Constructor for class ua.gradsoft.javachecker.models.JavaTermTypeVariableModel
Creates a new instance of JavaTermTypeVariableModel
JavaTermUnaryExpressionModel - Class in ua.gradsoft.javachecker.models.expressions
UnaryExpression
JavaTermUnaryExpressionModel(Term, JavaTermStatementModel, JavaTypeModel) - Constructor for class ua.gradsoft.javachecker.models.expressions.JavaTermUnaryExpressionModel
 
JavaTopLevelBlockModel - Interface in ua.gradsoft.javachecker.models
Model for top-level block of Java Code.
JavaTopLevelBlockOwnerKind - Enum in ua.gradsoft.javachecker.models
Kind of Java Block
JavaTopLevelBlockOwnerModel - Interface in ua.gradsoft.javachecker.models
Generic owner of block (method, constructor or initializer)
JavaTopLevelBlockOwnerModelHelper - Class in ua.gradsoft.javachecker.models
Helper class for TopLevelBlockOwner
JavaTopLevelBlockOwnerModelHelper() - Constructor for class ua.gradsoft.javachecker.models.JavaTopLevelBlockOwnerModelHelper
 
JavaTraceArrayModel - Class in ua.gradsoft.javachecker.trace
Model for array
JavaTraceArrayModel(JavaTypeModel, int) - Constructor for class ua.gradsoft.javachecker.trace.JavaTraceArrayModel
 
JavaTraceArrayModel(JavaTermExpressionModel, JavaTypeModel, int) - Constructor for class ua.gradsoft.javachecker.trace.JavaTraceArrayModel
 
JavaTraceContext - Class in ua.gradsoft.javachecker.trace
Trace context, which can keep state of variables.
JavaTraceContext(JavaPlaceContext, JavaTraceObjectModel) - Constructor for class ua.gradsoft.javachecker.trace.JavaTraceContext
create 'zero' context
JavaTraceContext(JavaMethodModel, JavaTraceObjectModel, List<JavaTraceObjectModel>, JavaTraceContext) - Constructor for class ua.gradsoft.javachecker.trace.JavaTraceContext
New trace context, which created on method
JavaTraceContextFrameType - Enum in ua.gradsoft.javachecker.trace
Possible types of frames
JavaTraceNullModel - Class in ua.gradsoft.javachecker.trace
Trace Model for 'null' object.
JavaTraceNullModel() - Constructor for class ua.gradsoft.javachecker.trace.JavaTraceNullModel
 
JavaTraceNullModel(JavaTermExpressionModel) - Constructor for class ua.gradsoft.javachecker.trace.JavaTraceNullModel
 
JavaTraceObjectModel - Interface in ua.gradsoft.javachecker.trace
trace object model
JavaTraceObjectModelFactory - Class in ua.gradsoft.javachecker.trace
 
JavaTraceObjectModelFactory() - Constructor for class ua.gradsoft.javachecker.trace.JavaTraceObjectModelFactory
 
JavaTypeArgumentBoundConstructorModel - Class in ua.gradsoft.javachecker.models
 
JavaTypeArgumentBoundConstructorModel(JavaConstructorModel, JavaTypeArgumentBoundTypeModel) - Constructor for class ua.gradsoft.javachecker.models.JavaTypeArgumentBoundConstructorModel
Creates a new instance of JavaTypeArgumentBoundConstructorModel
JavaTypeArgumentBoundExpressionModel - Class in ua.gradsoft.javachecker.models
Expression, where type arguments are bound.
JavaTypeArgumentBoundExpressionModel(JavaExpressionModel, JavaTypeArgumentBoundStatementModel) - Constructor for class ua.gradsoft.javachecker.models.JavaTypeArgumentBoundExpressionModel
Creates a new instance of JavaTypeArgumentBoundExpression
JavaTypeArgumentBoundExpressionModel(JavaExpressionModel, JavaTypeArgumentBoundTypeModel) - Constructor for class ua.gradsoft.javachecker.models.JavaTypeArgumentBoundExpressionModel
construct expression outside statement
JavaTypeArgumentBoundInitializerModel - Class in ua.gradsoft.javachecker.models
Initializer of argument bound model
JavaTypeArgumentBoundInitializerModel(JavaInitializerModel, JavaTypeArgumentBoundTypeModel) - Constructor for class ua.gradsoft.javachecker.models.JavaTypeArgumentBoundInitializerModel
Creates a new instance of JavaTypeArgumentBoundInitializerModel
JavaTypeArgumentBoundLocalVariableModel - Class in ua.gradsoft.javachecker.models
Local variable with type substitutions.
JavaTypeArgumentBoundLocalVariableModel(JavaLocalVariableModel, JavaTypeArgumentBoundStatementModel) - Constructor for class ua.gradsoft.javachecker.models.JavaTypeArgumentBoundLocalVariableModel
 
JavaTypeArgumentBoundMemberVariableModel - Class in ua.gradsoft.javachecker.models
Member value, bound by type argument
JavaTypeArgumentBoundMemberVariableModel(JavaTypeArgumentBoundTypeModel, JavaMemberVariableModel) - Constructor for class ua.gradsoft.javachecker.models.JavaTypeArgumentBoundMemberVariableModel
Creates a new instance of JavaArgumentBoundTypeVariableModel
JavaTypeArgumentBoundMethodModel - Class in ua.gradsoft.javachecker.models
Method with bound type arguments of class.
JavaTypeArgumentBoundMethodModel(JavaMethodModel, JavaTypeArgumentsSubstitution) - Constructor for class ua.gradsoft.javachecker.models.JavaTypeArgumentBoundMethodModel
Creates a new instance of JavaTypeArgumentBoundMethodModel
JavaTypeArgumentBoundStatementModel - Class in ua.gradsoft.javachecker.models
 
JavaTypeArgumentBoundStatementModel(JavaTypeArgumentBoundTopLevelBlockModel, JavaStatementModel, JavaTypeArgumentBoundStatementModel, JavaTypeArgumentBoundStatementModel) - Constructor for class ua.gradsoft.javachecker.models.JavaTypeArgumentBoundStatementModel
 
JavaTypeArgumentBoundTopLevelBlockModel - Class in ua.gradsoft.javachecker.models
Model for block with type-variables argument bound
JavaTypeArgumentBoundTopLevelBlockModel(JavaTypeArgumentBoundTopLevelBlockOwnerModel, JavaTopLevelBlockModel, JavaTypeArgumentsSubstitution) - Constructor for class ua.gradsoft.javachecker.models.JavaTypeArgumentBoundTopLevelBlockModel
 
JavaTypeArgumentBoundTopLevelBlockOwnerModel - Interface in ua.gradsoft.javachecker.models
Interface for top level block owner, bound with type variables
JavaTypeArgumentBoundTopLevelBlockOwnerModelHelper - Class in ua.gradsoft.javachecker.models
Helper of type argument bound executable.
JavaTypeArgumentBoundTopLevelBlockOwnerModelHelper() - Constructor for class ua.gradsoft.javachecker.models.JavaTypeArgumentBoundTopLevelBlockOwnerModelHelper
 
JavaTypeArgumentBoundTypeModel - Class in ua.gradsoft.javachecker.models
 
JavaTypeArgumentBoundTypeModel(JavaTypeModel, Term, JavaTypeModel, List<JavaTypeVariableAbstractModel>, JavaStatementModel) - Constructor for class ua.gradsoft.javachecker.models.JavaTypeArgumentBoundTypeModel
Creates a new instance of JavaTypeArgumentBoundTypeModel
JavaTypeArgumentBoundTypeModel(JavaTypeModel, Term, JavaUnitModel, JavaPackageModel, List<JavaTypeVariableAbstractModel>) - Constructor for class ua.gradsoft.javachecker.models.JavaTypeArgumentBoundTypeModel
Creates a new instance of JavaTypeArgumentBoundTypeModel
JavaTypeArgumentBoundTypeModel(JavaTypeModel, List<JavaTypeModel>, JavaTypeModel) - Constructor for class ua.gradsoft.javachecker.models.JavaTypeArgumentBoundTypeModel
Creates a new instance of JavaTypeArgumentBoundTypeModel
JavaTypeArgumentBoundTypeModel(JavaTypeModel, JavaTypeArgumentsSubstitution, JavaTypeModel) - Constructor for class ua.gradsoft.javachecker.models.JavaTypeArgumentBoundTypeModel
 
JavaTypeArgumentBoundTypeVariableModel - Class in ua.gradsoft.javachecker.models
TypeVariable, which is result by substitution of bounds by other type varibale.
JavaTypeArgumentBoundTypeVariableModel(JavaTypeVariableAbstractModel, List<JavaTypeModel>) - Constructor for class ua.gradsoft.javachecker.models.JavaTypeArgumentBoundTypeVariableModel
 
JavaTypeArgumentsHelper - Class in ua.gradsoft.javachecker.models
Helper for operations with type arguments.
JavaTypeArgumentsHelper() - Constructor for class ua.gradsoft.javachecker.models.JavaTypeArgumentsHelper
 
JavaTypeArgumentsSubstitution - Class in ua.gradsoft.javachecker.models
Substitution of type variables.
JavaTypeArgumentsSubstitution() - Constructor for class ua.gradsoft.javachecker.models.JavaTypeArgumentsSubstitution
 
JavaTypeArgumentsSubstitution(List<JavaTypeVariableAbstractModel>, List<JavaTypeModel>) - Constructor for class ua.gradsoft.javachecker.models.JavaTypeArgumentsSubstitution
 
JavaTypeModel - Class in ua.gradsoft.javachecker.models
Abstract class for type model of Java Language term
JavaTypeModelAttributes - Class in ua.gradsoft.javachecker.attributes
Such object is implicitly binded with each loaded Java type.
JavaTypeModelAttributes(JavaTypeModel) - Constructor for class ua.gradsoft.javachecker.attributes.JavaTypeModelAttributes
 
JavaTypeModelHelper - Class in ua.gradsoft.javachecker.models
Helper for operations under types.
JavaTypeModelHelper() - Constructor for class ua.gradsoft.javachecker.models.JavaTypeModelHelper
 
JavaTypeModelOnePassProcessor - Class in ua.gradsoft.javachecker.checkers
Type processor, which do only one pass.
JavaTypeModelOnePassProcessor() - Constructor for class ua.gradsoft.javachecker.checkers.JavaTypeModelOnePassProcessor
 
JavaTypeModelProcessor - Interface in ua.gradsoft.javachecker.checkers
This is interface, which must be implemented by classes, plugged into JavaChecker as class checkers.
JavaTypeModelRef - Class in ua.gradsoft.javachecker.models
Soft reference to JavaTypeModel, which hold pointer to file (or entry) and soft reference to JavaTypeModel
JavaTypeModelRef(String, AnalyzedUnitRef, JavaTypeModel) - Constructor for class ua.gradsoft.javachecker.models.JavaTypeModelRef
Creates a new instance of JavaTypeModelRef
JavaTypeSubstitutedFormalParameterModel - Class in ua.gradsoft.javachecker.models
 
JavaTypeSubstitutedFormalParameterModel(JavaFormalParameterModel, JavaTypeArgumentBoundTopLevelBlockOwnerModel) - Constructor for class ua.gradsoft.javachecker.models.JavaTypeSubstitutedFormalParameterModel
Creates a new instance of JavaTypeSubstitutedFormalParameterModel
JavaTypeVariableAbstractModel - Class in ua.gradsoft.javachecker.models
Abstract model for Java Type Variable
JavaTypeVariableAbstractModel() - Constructor for class ua.gradsoft.javachecker.models.JavaTypeVariableAbstractModel
 
JavaUnaryOperatorKind - Enum in ua.gradsoft.javachecker.models.expressions
Kind of unary operator
JavaUnitModel - Class in ua.gradsoft.javachecker.models
Abstract class for java unit.
JavaUnitModel() - Constructor for class ua.gradsoft.javachecker.models.JavaUnitModel
 
JavaUnknownTypeModel - Class in ua.gradsoft.javachecker.models
Really 'Unknown' type model.
JavaVariableKind - Enum in ua.gradsoft.javachecker.models
Kind of java variables.
JavaVariableModel - Interface in ua.gradsoft.javachecker.models
Model of java variable, which we can see in code.
JavaVariableModelComparator - Class in ua.gradsoft.javachecker.models
Comparator for JavaVariableModel
JavaVariableModelComparator() - Constructor for class ua.gradsoft.javachecker.models.JavaVariableModelComparator
 
JavaWildcardBoundsKind - Enum in ua.gradsoft.javachecker.models
Kind of Java Wildcard Bounds;
JavaWildcardBoundsTypeModel - Class in ua.gradsoft.javachecker.models
Model for wildcard bounds.
JavaWildcardBoundsTypeModel(JavaTypeModel) - Constructor for class ua.gradsoft.javachecker.models.JavaWildcardBoundsTypeModel
Creates a new instance of JavaWildcardBoundsTypeModel with Object-like unbound capture.
JavaWildcardBoundsTypeModel(Term, JavaTypeModel, List<JavaTypeVariableAbstractModel>) - Constructor for class ua.gradsoft.javachecker.models.JavaWildcardBoundsTypeModel
 
JavaWildcardBoundsTypeModel() - Constructor for class ua.gradsoft.javachecker.models.JavaWildcardBoundsTypeModel
 
JavaWildcardBoundsTypeModel(JavaWildcardBoundsKind, JavaTypeModel) - Constructor for class ua.gradsoft.javachecker.models.JavaWildcardBoundsTypeModel
 
JUtils - Class in ua.gradsoft.javachecker
Utils
JUtils() - Constructor for class ua.gradsoft.javachecker.JUtils
 

K

keySet() - Method in class ua.gradsoft.javachecker.util.CachedMap
 
keySet() - Method in class ua.gradsoft.javachecker.util.FunctionMap
 
keySet() - Method in class ua.gradsoft.javachecker.util.ImmutableListAsMap
 
keySet() - Method in class ua.gradsoft.javachecker.util.ImmutableMappedMap
 

L

lastIndexOf(Object) - Method in class ua.gradsoft.javachecker.util.ImmutableMappedList
 
lastIndexOf(Object) - Method in class ua.gradsoft.javachecker.util.IntegerOrderList
 
listIterator() - Method in class ua.gradsoft.javachecker.util.ImmutableMappedList
 
listIterator(int) - Method in class ua.gradsoft.javachecker.util.ImmutableMappedList
 
listIterator() - Method in class ua.gradsoft.javachecker.util.IntegerOrderList
 
listIterator(int) - Method in class ua.gradsoft.javachecker.util.IntegerOrderList
 
loadCheckersFromFile(String) - Method in class ua.gradsoft.javachecker.checkers.Checkers
 
loadCheckersFromFiles() - Method in class ua.gradsoft.javachecker.checkers.Checkers
 
LocalTypesIterable - Class in ua.gradsoft.javachecker.models
Iterable over local types in statement
LocalTypesIterable(JavaStatementModel) - Constructor for class ua.gradsoft.javachecker.models.LocalTypesIterable
 
LocalTypesIterable.LocalTypesIterator - Class in ua.gradsoft.javachecker.models
 
LocalTypesIterable.LocalTypesIterator(JavaStatementModel) - Constructor for class ua.gradsoft.javachecker.models.LocalTypesIterable.LocalTypesIterator
 
LOCALVARIABLEDECLARATION_TYPE_INDEX - Static variable in class ua.gradsoft.javachecker.models.JavaModelConstants
 
LOCALVARIABLEDECLARATION_VARIABLEDECLARATORS_INDEX - Static variable in class ua.gradsoft.javachecker.models.JavaModelConstants
 
LONG - Static variable in class ua.gradsoft.javachecker.models.JavaPrimitiveTypeModel
 
lorigin_ - Variable in class ua.gradsoft.javachecker.util.ImmutableMappedList
 

M

Main - Class in ua.gradsoft.javachecker
 
Main() - Constructor for class ua.gradsoft.javachecker.Main
 
main(String[]) - Static method in class ua.gradsoft.javachecker.Main
 
markUsage(JavaTermTypeAbstractModel, JavaFacts) - Method in class ua.gradsoft.javachecker.checkers.UnusedMethodsAndFieldsChecker
 
markUsage(JavaTopLevelBlockModel) - Method in class ua.gradsoft.javachecker.checkers.UnusedMethodsAndFieldsChecker
 
markUsage(JavaStatementModel) - Method in class ua.gradsoft.javachecker.checkers.UnusedMethodsAndFieldsChecker
 
markUsage(JavaExpressionModel) - Method in class ua.gradsoft.javachecker.checkers.UnusedMethodsAndFieldsChecker
 
match(JavaTypeModel, JavaTypeModel, MethodMatchingConversions, boolean) - Static method in class ua.gradsoft.javachecker.models.JavaResolver
 
match(List<JavaFormalParameterModel>, List<JavaTypeModel>, MethodMatchingConversions, boolean, boolean) - Static method in class ua.gradsoft.javachecker.models.JavaResolver
match over list and feel substitution if needed.
match1(JavaTypeModel, JavaTypeModel, MethodMatchingConversions, boolean) - Static method in class ua.gradsoft.javachecker.models.JavaResolver
match patern type with x and fill substitution if needed after aplying boxing/unboxing conventions.
MEMBER_VARIABLE_MODEL_INITIALIZER_INDEX - Static variable in class ua.gradsoft.javachecker.models.JavaModelConstants
 
MEMBER_VARIABLE_MODEL_MODEL_INDEX - Static variable in class ua.gradsoft.javachecker.models.JavaModelConstants
 
MEMBER_VARIABLE_MODEL_MODIFIERS_INDEX - Static variable in class ua.gradsoft.javachecker.models.JavaModelConstants
MemberVariableModel(modifiers, TypeRef, name, initializer,this)
MEMBER_VARIABLE_MODEL_NAME_INDEX - Static variable in class ua.gradsoft.javachecker.models.JavaModelConstants
 
MEMBER_VARIABLE_MODEL_TYPE_INDEX - Static variable in class ua.gradsoft.javachecker.models.JavaModelConstants
 
merge(AttributesData) - Method in class ua.gradsoft.javachecker.attributes.AttributesData
 
METHOD_DECLARATOR__FORMAL_PARAMETERS_INDEX - Static variable in class ua.gradsoft.javachecker.models.JavaTermMethodModel
 
METHOD_DECLARATOR__IDENTIFIER_INDEX - Static variable in class ua.gradsoft.javachecker.models.JavaTermMethodModel
 
METHOD_DECLARATOR_INDEX - Static variable in class ua.gradsoft.javachecker.models.JavaTermMethodModel
 
METHOD_MODEL_BLOCK_INDEX - Static variable in class ua.gradsoft.javachecker.models.JavaModelConstants
 
METHOD_MODEL_CONTEXT_INDEX - Static variable in class ua.gradsoft.javachecker.models.JavaModelConstants
 
METHOD_MODEL_FORMAL_PARAMETERS_INDEX - Static variable in class ua.gradsoft.javachecker.models.JavaModelConstants
 
METHOD_MODEL_MODIFIERS_INDEX - Static variable in class ua.gradsoft.javachecker.models.JavaModelConstants
MethodModel(modifiers,typeParameters,ResultType,name,formalParameters,throws,block,context)
METHOD_MODEL_NAME_INDEX - Static variable in class ua.gradsoft.javachecker.models.JavaModelConstants
 
METHOD_MODEL_RESULT_TYPE_INDEX - Static variable in class ua.gradsoft.javachecker.models.JavaModelConstants
 
METHOD_MODEL_THROWS_INDEX - Static variable in class ua.gradsoft.javachecker.models.JavaModelConstants
 
METHOD_MODEL_TYPE_PARAMETERS_INDEX - Static variable in class ua.gradsoft.javachecker.models.JavaModelConstants
 
MethodCheckerProperties - Annotation Type in ua.gradsoft.javachecker.annotations
Checker Properties, set to method.
MethodMatchingConversions - Class in ua.gradsoft.javachecker.models
Set of conversions.
MethodMatchingConversions() - Constructor for class ua.gradsoft.javachecker.models.MethodMatchingConversions
 
MethodMatchingConversions(MethodMatchingConversions) - Constructor for class ua.gradsoft.javachecker.models.MethodMatchingConversions
 
methodModels_ - Variable in class ua.gradsoft.javachecker.models.JavaTermTypeAbstractModel
 
minmax(JavaTypeModel, JavaTypeModel, MethodMatchingConversions, boolean) - Static method in class ua.gradsoft.javachecker.models.JavaTypeModelHelper
find minimal maximum from x and y
ModelChecker - Class in ua.gradsoft.javachecker.checkers
Checker which works over ModelTerm
ModelChecker(String, String, String, Term, boolean) - Constructor for class ua.gradsoft.javachecker.checkers.ModelChecker
Creates a new instance of ModelChecker
MODIFIERS_MODEL - Static variable in class ua.gradsoft.javachecker.models.JavaEnumConstantModel
 
MODIFIERS_TERM_INDEX - Static variable in class ua.gradsoft.javachecker.models.JavaPackageModel
 

N

name_ - Variable in class ua.gradsoft.javachecker.models.JavaTermTypeAbstractModel
 
NAME_IDENTIFIER_TERM_INDEX - Static variable in class ua.gradsoft.javachecker.models.JavaTermClassOrInterfaceModel
 
NAME_TERM_INDEX - Static variable in class ua.gradsoft.javachecker.models.JavaTermAnnotationTypeModel
 
NamePatternsChecker - Class in ua.gradsoft.javachecker.checkers
Check name patterns.
NamePatternsChecker() - Constructor for class ua.gradsoft.javachecker.checkers.NamePatternsChecker
 
NATIVE - Static variable in class ua.gradsoft.javachecker.models.JavaModifiersModel
 
nestedTypes_ - Variable in class ua.gradsoft.javachecker.models.JavaTermTypeAbstractModel
 
next() - Method in class ua.gradsoft.javachecker.models.LocalTypesIterable.LocalTypesIterator
 
next() - Method in class ua.gradsoft.javachecker.util.ImmutableMappedList.MappedListIterator
 
nextIndex() - Method in class ua.gradsoft.javachecker.util.ImmutableMappedList.MappedListIterator
 
notComplex(Term) - Method in class ua.gradsoft.javachecker.JavaFacts
 
notComplex(Term) - Method in class ua.gradsoft.javachecker.ProxyJavaFacts
 
NotKnowException - Exception in ua.gradsoft.javachecker.trace
Exception is throwed, when we do some action, but we have no information: what to do with such action.
NotKnowException() - Constructor for exception ua.gradsoft.javachecker.trace.NotKnowException
 
NotSupportedException - Exception in ua.gradsoft.javachecker
This exception is throwed, when we call methods of some model, which is not supported by implementation.
NotSupportedException() - Constructor for exception ua.gradsoft.javachecker.NotSupportedException
Creates a new instance of NotSupportedException without detail message.
NotSupportedException(String) - Constructor for exception ua.gradsoft.javachecker.NotSupportedException
Constructs an instance of NotSupportedException with the specified detail message.
Nullable - Annotation Type in ua.gradsoft.javachecker.annotations
Marker annotations for nullabl entities.

O

origin_ - Variable in class ua.gradsoft.javachecker.util.ImmutableMappedCollection
 

P

PackagesStore - Class in ua.gradsoft.javachecker
Store for packages
Pair<T1,T2> - Class in ua.gradsoft.javachecker.util
Just Pair.
Pair(T1, T2) - Constructor for class ua.gradsoft.javachecker.util.Pair
Creates a new instance of Pair
Pair(Map.Entry<T1, T2>) - Constructor for class ua.gradsoft.javachecker.util.Pair
 
ParameterCheckerProperties - Annotation Type in ua.gradsoft.javachecker.annotations
Properties of formal parameter
parentType_ - Variable in class ua.gradsoft.javachecker.models.JavaTermTypeAbstractModel
 
parseJavaLanguageElement(Reader, String) - Static method in class ua.gradsoft.javachecker.JUtils
Read java language element.
PartialConditionResult - Enum in ua.gradsoft.javachecker
Partial result of condition
previous() - Method in class ua.gradsoft.javachecker.util.ImmutableMappedList.MappedListIterator
 
previousIndex() - Method in class ua.gradsoft.javachecker.util.ImmutableMappedList.MappedListIterator
 
print(PrintWriter) - Method in class ua.gradsoft.javachecker.attributes.AttributesData
 
print(PrintWriter, int) - Method in class ua.gradsoft.javachecker.attributes.AttributesData
 
print(PrintWriter) - Method in class ua.gradsoft.javachecker.attributes.JavaTypeModelAttributes
 
print(PrintStream) - Method in class ua.gradsoft.javachecker.models.JavaMethodModel
 
print(PrintWriter) - Method in class ua.gradsoft.javachecker.models.JavaTypeArgumentsSubstitution
 
print(PrintStream) - Method in class ua.gradsoft.javachecker.models.JavaTypeArgumentsSubstitution
 
print(PrintWriter) - Method in class ua.gradsoft.javachecker.models.JavaTypeVariableAbstractModel
 
printDocumentation(PrintWriter) - Method in class ua.gradsoft.javachecker.checkers.Checkers
 
printErasedFormalParametersSignature(PrintWriter, JavaTopLevelBlockOwnerModel) - Static method in class ua.gradsoft.javachecker.models.JavaTopLevelBlockOwnerModelHelper
print list of erased formal parameters types in curve brackets throught comma without whitescapes otherwise - do nothing.
printErasedSignature(PrintWriter) - Method in class ua.gradsoft.javachecker.models.JavaConstructorModel
 
printErasedSignature(PrintWriter) - Method in class ua.gradsoft.javachecker.models.JavaInitializerModel
 
printErasedSignature(PrintWriter) - Method in class ua.gradsoft.javachecker.models.JavaMethodModel
 
printErasedSignature(PrintWriter) - Method in interface ua.gradsoft.javachecker.models.JavaTopLevelBlockOwnerModel
print signature, where type parameters are erased.
printFormalParametersSignature(PrintWriter, JavaTopLevelBlockOwnerModel) - Static method in class ua.gradsoft.javachecker.models.JavaTopLevelBlockOwnerModelHelper
print list of formal parameters types in curve brackets throught comma without whitescapes otherwise - do nothing.
printFormalParametersSignature(PrintWriter, JavaTopLevelBlockOwnerModel, boolean) - Static method in class ua.gradsoft.javachecker.models.JavaTopLevelBlockOwnerModelHelper
 
printFormalParametersSignature(PrintWriter, Term, List<JavaTypeVariableAbstractModel>, JavaTypeModel) - Static method in class ua.gradsoft.javachecker.models.JavaTopLevelBlockOwnerModelHelper
 
println(PrintStream, ReportFormat) - Method in class ua.gradsoft.javachecker.DefectReportItem
 
printSignature(PrintWriter) - Method in class ua.gradsoft.javachecker.models.JavaConstructorModel
 
printSignature(PrintWriter) - Method in class ua.gradsoft.javachecker.models.JavaInitializerModel
 
printSignature(PrintWriter) - Method in class ua.gradsoft.javachecker.models.JavaMethodModel
 
printSignature(PrintWriter) - Method in interface ua.gradsoft.javachecker.models.JavaTopLevelBlockOwnerModel
print signature (i.
printTypeParametersSignature(PrintWriter, JavaTopLevelBlockOwnerModel) - Static method in class ua.gradsoft.javachecker.models.JavaTopLevelBlockOwnerModelHelper
print list of type parameters in agle brackets throught comma without whitescapes if one exists, otherwise - do nothing.
printTypeParametersSignature(PrintWriter, List<JavaTypeVariableAbstractModel>) - Static method in class ua.gradsoft.javachecker.models.JavaTopLevelBlockOwnerModelHelper
 
printUnused(JavaTypeModel, JavaFacts) - Method in class ua.gradsoft.javachecker.checkers.UnusedMethodsAndFieldsChecker
 
PRIVATE - Static variable in class ua.gradsoft.javachecker.models.JavaModifiersModel
 
process(JavaTermTypeAbstractModel, JavaFacts) - Method in class ua.gradsoft.javachecker.checkers.ClassReachabilityChecker
 
process(JavaTermTypeAbstractModel, JavaFacts) - Method in class ua.gradsoft.javachecker.checkers.EqualsHashCodeChecker
 
process(JavaTermTypeAbstractModel, JavaFacts) - Method in interface ua.gradsoft.javachecker.checkers.JavaTypeModelProcessor
 
process(JavaTermTypeAbstractModel, JavaFacts) - Method in class ua.gradsoft.javachecker.checkers.NamePatternsChecker
 
process(JavaTermTypeAbstractModel, JavaFacts) - Method in class ua.gradsoft.javachecker.checkers.UnusedMethodsAndFieldsChecker
 
process() - Static method in class ua.gradsoft.javachecker.JavaCheckerFacade
 
process(List<AnalyzedUnitRef>) - Static method in class ua.gradsoft.javachecker.JavaCheckerFacade
 
process() - Method in class ua.gradsoft.javachecker.Main
process without collecting processed units.
process(List<AnalyzedUnitRef>) - Method in class ua.gradsoft.javachecker.Main
 
ProcessingException - Exception in ua.gradsoft.javachecker
Some exception, which occured during processing, in such way, that we must report this to top-level.
ProcessingException(String) - Constructor for exception ua.gradsoft.javachecker.ProcessingException
Constructs an instance of ProcessingException with the specified detail message.
ProcessingException(String, Throwable) - Constructor for exception ua.gradsoft.javachecker.ProcessingException
Constructs an instance of ProcessingException with the specified detail message.
processOneClass(String) - Static method in class ua.gradsoft.javachecker.Main
 
processOneFile(String) - Static method in class ua.gradsoft.javachecker.JavaCheckerFacade
 
processSecondPass(JavaTermTypeAbstractModel, JavaFacts) - Method in class ua.gradsoft.javachecker.checkers.ClassReachabilityChecker
 
processSecondPass(JavaTermTypeAbstractModel, JavaFacts) - Method in class ua.gradsoft.javachecker.checkers.JavaTypeModelOnePassProcessor
 
processSecondPass(JavaTermTypeAbstractModel, JavaFacts) - Method in interface ua.gradsoft.javachecker.checkers.JavaTypeModelProcessor
 
PROTECTED - Static variable in class ua.gradsoft.javachecker.models.JavaModifiersModel
 
ProxyJavaFacts - Class in ua.gradsoft.javachecker
Proxy facts wich provide facts access to JavaFacts singleton.
ProxyJavaFacts() - Constructor for class ua.gradsoft.javachecker.ProxyJavaFacts
Creates a new instance of ProxyJavaFacts
PUBLIC - Static variable in class ua.gradsoft.javachecker.models.JavaModifiersModel
 
PUBLIC_MODIFIERS - Static variable in class ua.gradsoft.javachecker.models.JavaModelConstants
 
PUBLIC_STATIC_MODIFIERS - Static variable in class ua.gradsoft.javachecker.models.JavaModelConstants
 
put(JavaTypeVariableAbstractModel, JavaTypeModel) - Method in class ua.gradsoft.javachecker.models.JavaTypeArgumentsSubstitution
 
put(K, V) - Method in class ua.gradsoft.javachecker.util.CachedMap
 
put(K, V) - Method in class ua.gradsoft.javachecker.util.FunctionMap
 
put(K, V) - Method in class ua.gradsoft.javachecker.util.ImmutableListAsMap
 
put(K, VY) - Method in class ua.gradsoft.javachecker.util.ImmutableMappedMap
 
putAll(JavaTypeArgumentsSubstitution) - Method in class ua.gradsoft.javachecker.models.JavaTypeArgumentsSubstitution
 
putAll(Map<? extends K, ? extends V>) - Method in class ua.gradsoft.javachecker.util.CachedMap
 
putAll(Map<? extends K, ? extends V>) - Method in class ua.gradsoft.javachecker.util.FunctionMap
 
putAll(Map<? extends K, ? extends V>) - Method in class ua.gradsoft.javachecker.util.ImmutableListAsMap
 
putAll(Map<? extends K, ? extends VY>) - Method in class ua.gradsoft.javachecker.util.ImmutableMappedMap
 

R

readConfiguratedAttributes(JavaTypeModel) - Method in class ua.gradsoft.javachecker.attributes.ConfigurationAttributesStorage
 
readPreferences(JavaFacts) - Method in class ua.gradsoft.javachecker.TypeOfViolation
 
readPreferences(JavaFacts) - Method in class ua.gradsoft.javachecker.Violations
 
readSourceFile(File) - Static method in class ua.gradsoft.javachecker.JUtils
 
remove() - Method in class ua.gradsoft.javachecker.models.LocalTypesIterable.LocalTypesIterator
 
remove(Object) - Method in class ua.gradsoft.javachecker.util.CachedMap
 
remove(Object) - Method in class ua.gradsoft.javachecker.util.FunctionMap
 
remove(Object) - Method in class ua.gradsoft.javachecker.util.ImmutableListAsMap
 
remove(Object) - Method in class ua.gradsoft.javachecker.util.ImmutableMappedCollection
 
remove() - Method in class ua.gradsoft.javachecker.util.ImmutableMappedList.MappedListIterator
 
remove(int) - Method in class ua.gradsoft.javachecker.util.ImmutableMappedList
 
remove(Object) - Method in class ua.gradsoft.javachecker.util.ImmutableMappedMap.MappedEntrySet
 
remove(Object) - Method in class ua.gradsoft.javachecker.util.ImmutableMappedMap
 
remove(int) - Method in class ua.gradsoft.javachecker.util.IntegerOrderList
 
remove(Object) - Method in class ua.gradsoft.javachecker.util.IntegerOrderList
 
removeAll(Collection<?>) - Method in class ua.gradsoft.javachecker.util.ImmutableMappedCollection
 
removeAll(Collection<?>) - Method in class ua.gradsoft.javachecker.util.ImmutableMappedMap.MappedEntrySet
 
removeAll(Collection<?>) - Method in class ua.gradsoft.javachecker.util.IntegerOrderList
 
removePackage(String) - Method in class ua.gradsoft.javachecker.PackagesStore
remove package from set of loaded packages.
report(PrintStream, ReportFormat) - Method in class ua.gradsoft.javachecker.TypeOfViolation
 
report(PrintStream, ReportFormat) - Method in class ua.gradsoft.javachecker.Violations
 
ReportFormat - Enum in ua.gradsoft.javachecker
Set of possible formats for report
resolveArgumentTypes(Term, JavaPlaceContext) - Static method in class ua.gradsoft.javachecker.models.JavaExpressionHelper
 
resolveBinaryNumericPromotion(JavaTypeModel, JavaTypeModel) - Static method in class ua.gradsoft.javachecker.models.JavaExpressionHelper
 
resolvedSuperClass_ - Variable in class ua.gradsoft.javachecker.models.JavaTermTypeAbstractModel
 
resolvedSuperInterfaces_ - Variable in class ua.gradsoft.javachecker.models.JavaTermTypeAbstractModel
 
resolveExpressionType(Term, JavaPlaceContext) - Static method in class ua.gradsoft.javachecker.models.JavaExpressionHelper
return type of expression (
resolveExpressionType(Term, JavaPlaceContext) - Static method in class ua.gradsoft.javachecker.models.JavaResolver
resolve type of Java expression.
resolveFieldInName(JavaVariableModel, Term) - Static method in class ua.gradsoft.javachecker.models.JavaExpressionHelper
 
resolveFormalParameterByName(String, JavaTopLevelBlockOwnerModel) - Static method in class ua.gradsoft.javachecker.models.JavaResolver
 
resolveFullClassName(String) - Method in class ua.gradsoft.javachecker.models.JavaPlaceContext
 
resolveJavaIoSerializable() - Static method in class ua.gradsoft.javachecker.models.JavaResolver
 
resolveJavaLangAnnotationAnnotation() - Static method in class ua.gradsoft.javachecker.models.JavaResolver
 
resolveJavaLangCloneable() - Static method in class ua.gradsoft.javachecker.models.JavaResolver
 
resolveJavaLangObject() - Static method in class ua.gradsoft.javachecker.models.JavaResolver
 
resolveMemberVariableByName(String, JavaTypeModel) - Static method in class ua.gradsoft.javachecker.models.JavaResolver
resolve member variable by name in scope of class definition (outside block)
resolveMethod(String, List<JavaTypeModel>, JavaTypeArgumentsSubstitution, JavaTypeModel) - Static method in class ua.gradsoft.javachecker.models.JavaResolver
resolve method call to where (in where and all superclasses) and build substitutuion of method type arguments if needed.
resolvePackage(String) - Static method in class ua.gradsoft.javachecker.models.JavaResolver
 
resolveSubclassesAndStaticFieldsInName(JavaTypeModel, Term) - Static method in class ua.gradsoft.javachecker.models.JavaExpressionHelper
 
resolveTypeModelByFullClassName(String) - Static method in class ua.gradsoft.javachecker.models.JavaResolver
 
resolveTypeModelByName(String, JavaTypeModel, List<JavaTypeVariableAbstractModel>, Iterable<JavaTypeModel>) - Static method in class ua.gradsoft.javachecker.models.JavaResolver
 
resolveTypeModelByName(String, JavaUnitModel, JavaPackageModel, List<JavaTypeVariableAbstractModel>) - Static method in class ua.gradsoft.javachecker.models.JavaResolver
resolve type outside parent type context or throw EntityNotFoundExceptionis if type is not avaible
resolveTypeModelByName(String, JavaPlaceContext) - Static method in class ua.gradsoft.javachecker.models.JavaResolver
resolve type of Java expression and return one if found, otherwise throw EntityNotFoundException
resolveTypeModelFromPackage(String, String) - Static method in class ua.gradsoft.javachecker.models.JavaResolver
 
resolveTypeModelWithFullPackage(Term, JavaTypeModel, List<JavaTypeVariableAbstractModel>) - Static method in class ua.gradsoft.javachecker.models.JavaResolver
 
resolveTypeParameter(String) - Method in class ua.gradsoft.javachecker.models.JavaTypeArgumentBoundTypeModel
 
resolveTypeTerm(Term) - Method in class ua.gradsoft.javachecker.models.JavaPlaceContext
 
resolveTypeTerm(Term, JavaPlaceContext) - Static method in class ua.gradsoft.javachecker.models.JavaResolver
 
resolveTypeToModel(Term, JavaTypeModel) - Static method in class ua.gradsoft.javachecker.models.JavaResolver
 
resolveTypeToModel(Term, JavaTypeModel, List<JavaTypeVariableAbstractModel>) - Static method in class ua.gradsoft.javachecker.models.JavaResolver
 
resolveTypeToModel(Term, JavaStatementModel) - Static method in class ua.gradsoft.javachecker.models.JavaResolver
 
resolveTypeToModel(Term, JavaUnitModel, JavaPackageModel, JavaTypeModel, List<JavaTypeVariableAbstractModel>, Iterable<JavaTypeModel>) - Static method in class ua.gradsoft.javachecker.models.JavaResolver
 
resolveVariableByName(String, JavaTypeModel) - Static method in class ua.gradsoft.javachecker.models.JavaResolver
resolve any variable outside scope definition.
resolveVariableByName(String, JavaStatementModel) - Static method in class ua.gradsoft.javachecker.models.JavaResolver
 
resolveVariableByName(String, JavaPlaceContext) - Static method in class ua.gradsoft.javachecker.models.JavaResolver
resolve variavle name in given context or throw EntityNotFoundException is not found
RESULT_TYPE_TERM_INDEX - Static variable in class ua.gradsoft.javachecker.models.JavaTermMethodModel
 
retainAll(Collection<?>) - Method in class ua.gradsoft.javachecker.util.ImmutableMappedCollection
 
retainAll(Collection<?>) - Method in class ua.gradsoft.javachecker.util.ImmutableMappedMap.MappedEntrySet
 
retainAll(Collection<?>) - Method in class ua.gradsoft.javachecker.util.IntegerOrderList
 
reverseListTerm(Term) - Static method in class ua.gradsoft.javachecker.models.TermUtils
 
run(Term) - Method in class ua.gradsoft.javachecker.checkers.AbstractCompilationUnitChecker
 
run(JavaTermTypeAbstractModel, Holder<Term>, Holder<Term>) - Method in class ua.gradsoft.javachecker.checkers.AbstractTypeChecker
 
run(Term) - Method in class ua.gradsoft.javachecker.checkers.BTCompilationUnitChecker
 
run(JavaTermTypeAbstractModel, Holder<Term>, Holder<Term>) - Method in class ua.gradsoft.javachecker.checkers.BTTypeChecker
 
run(JavaTermTypeAbstractModel, Holder<Term>, Holder<Term>) - Method in class ua.gradsoft.javachecker.checkers.ClassChecker
 
run(JavaTermTypeAbstractModel, Holder<Term>, Holder<Term>) - Method in class ua.gradsoft.javachecker.checkers.FTTypeChecker
 
run(JavaTermTypeAbstractModel, Holder<Term>, Holder<Term>) - Method in class ua.gradsoft.javachecker.checkers.ModelChecker
 
runSecondPass(JavaTermTypeAbstractModel, Holder<Term>, Holder<Term>) - Method in class ua.gradsoft.javachecker.checkers.AbstractTypeChecker
 
runSecondPass(JavaTermTypeAbstractModel, Holder<Term>, Holder<Term>) - Method in class ua.gradsoft.javachecker.checkers.BTTypeChecker
 
runSecondPass(JavaTermTypeAbstractModel, Holder<Term>, Holder<Term>) - Method in class ua.gradsoft.javachecker.checkers.ClassChecker
 
runSecondPass(JavaTermTypeAbstractModel, Holder<Term>, Holder<Term>) - Method in class ua.gradsoft.javachecker.checkers.FTTypeChecker
 
runSecondPass(JavaTermTypeAbstractModel, Holder<Term>, Holder<Term>) - Method in class ua.gradsoft.javachecker.checkers.ModelChecker
 

S

same(JavaTypeModel, JavaTypeModel) - Static method in class ua.gradsoft.javachecker.models.JavaTypeModelHelper
 
same(JavaTypeModel, JavaTypeModel, boolean) - Static method in class ua.gradsoft.javachecker.models.JavaTypeModelHelper
 
sameNames(JavaTypeModel, JavaTypeModel) - Static method in class ua.gradsoft.javachecker.models.JavaTypeModelHelper
 
sameTypes(JavaTypeModel, JavaTypeModel) - Method in class ua.gradsoft.javachecker.models.JavaPlaceContext
 
set(int, JavaTraceObjectModel) - Method in class ua.gradsoft.javachecker.trace.JavaTraceArrayModel
 
set(Y) - Method in class ua.gradsoft.javachecker.util.ImmutableMappedList.MappedListIterator
 
set(int, Y) - Method in class ua.gradsoft.javachecker.util.ImmutableMappedList
 
set(int, Integer) - Method in class ua.gradsoft.javachecker.util.IntegerOrderList
 
setAttribute(String, Term) - Method in interface ua.gradsoft.javachecker.attributes.AttributedEntity
 
setAttribute(String, Term) - Method in class ua.gradsoft.javachecker.attributes.AttributesData
 
setAttribute(String, Term) - Method in class ua.gradsoft.javachecker.models.JavaConstructorModel
 
setAttribute(String, Term) - Method in class ua.gradsoft.javachecker.models.JavaFormalParameterModel
 
setAttribute(String, Term) - Method in class ua.gradsoft.javachecker.models.JavaInitializerModel
 
setAttribute(String, Term) - Method in class ua.gradsoft.javachecker.models.JavaMemberVariableModel
 
setAttribute(String, Term) - Method in class ua.gradsoft.javachecker.models.JavaMethodModel
 
setAttribute(String, Term) - Method in class ua.gradsoft.javachecker.models.JavaMethodModelAttributes
 
setAttribute(String, Term) - Method in class ua.gradsoft.javachecker.models.JavaTermFormalParameterModel
 
setAttribute(String, Term) - Method in class ua.gradsoft.javachecker.models.JavaTermLocalVariableModel
 
setAttribute(String, Term) - Method in class ua.gradsoft.javachecker.models.JavaTypeArgumentBoundLocalVariableModel
 
setAttribute(String, Term) - Method in class ua.gradsoft.javachecker.models.JavaTypeModel
 
setCheck(String) - Method in class ua.gradsoft.javachecker.ant.JavaCheckerTask.CheckName
 
setCheckEnabled(String, boolean) - Method in class ua.gradsoft.javachecker.JavaFacts
 
setChilds(HashMap<String, AttributesData>) - Method in class ua.gradsoft.javachecker.attributes.AttributesData
 
setConfigValue(String, String) - Method in class ua.gradsoft.javachecker.JavaFacts
 
setConstructorAttribute(JavaConstructorModel, String, Term) - Method in class ua.gradsoft.javachecker.attributes.JavaTypeModelAttributes
 
setDebug(boolean) - Method in class ua.gradsoft.javachecker.ant.JavaCheckerTask
 
setDump(boolean) - Static method in class ua.gradsoft.javachecker.Main
 
setEnabled(boolean) - Method in class ua.gradsoft.javachecker.TypeOfViolation
 
setEnabled(String, boolean) - Method in class ua.gradsoft.javachecker.Violations
 
setExceptionHandler(JavaCheckerExceptionHandler) - Static method in class ua.gradsoft.javachecker.Main
 
setExplicitDisabled(Set<String>) - Static method in class ua.gradsoft.javachecker.Main
 
setExplicitEnabled(Set<String>) - Static method in class ua.gradsoft.javachecker.Main
 
setExplicitEnabledOnly(boolean) - Method in class ua.gradsoft.javachecker.ant.JavaCheckerTask
 
setExplicitEnabledOnly(boolean) - Static method in class ua.gradsoft.javachecker.Main
 
setFailOnError(boolean) - Method in class ua.gradsoft.javachecker.ant.JavaCheckerTask
 
setField(String, JavaTraceObjectModel) - Method in class ua.gradsoft.javachecker.trace.JavaObjectConstantTraceObjectModel
 
setField(String, JavaTraceObjectModel) - Method in class ua.gradsoft.javachecker.trace.JavaPrimitiveTraceModel
 
setField(String, JavaTraceObjectModel) - Method in class ua.gradsoft.javachecker.trace.JavaTermTraceObjectModel
 
setField(String, JavaTraceObjectModel) - Method in class ua.gradsoft.javachecker.trace.JavaTraceArrayModel
 
setField(String, JavaTraceObjectModel) - Method in class ua.gradsoft.javachecker.trace.JavaTraceNullModel
 
setField(String, JavaTraceObjectModel) - Method in interface ua.gradsoft.javachecker.trace.JavaTraceObjectModel
 
setFieldAttribute(String, String, Term) - Method in class ua.gradsoft.javachecker.attributes.JavaTypeModelAttributes
 
setFileAndLine(FileAndLine) - Method in exception ua.gradsoft.javachecker.EntityNotFoundException
 
setFileAndLine(FileAndLine) - Method in exception ua.gradsoft.javachecker.models.InvalidJavaTermException
 
setFileAndLine(FileAndLine) - Method in interface ua.gradsoft.javachecker.SourceCodeLocation
 
setFork(boolean) - Method in class ua.gradsoft.javachecker.ant.JavaCheckerTask
 
setGeneralAttributes(HashMap<String, Term>) - Method in class ua.gradsoft.javachecker.attributes.AttributesData
 
setHome(String) - Static method in class ua.gradsoft.javachecker.JavaCheckerFacade
set home
setHome(String) - Static method in class ua.gradsoft.javachecker.Main
 
setHomeRequired(boolean) - Static method in class ua.gradsoft.javachecker.JavaCheckerFacade
 
setHomeRequired(boolean) - Static method in class ua.gradsoft.javachecker.Main
 
setInput(String) - Method in class ua.gradsoft.javachecker.ant.JavaCheckerTask
 
setJars(List<String>) - Method in class ua.gradsoft.javachecker.PackagesStore
 
setJchhome(String) - Method in class ua.gradsoft.javachecker.ant.JavaCheckerTask
 
setMandatoryCheckersLoading(boolean) - Static method in class ua.gradsoft.javachecker.JavaCheckerFacade
 
setMandatoryCheckersLoading(boolean) - Static method in class ua.gradsoft.javachecker.Main
 
setMethodAttribute(JavaMethodModel, String, Term) - Method in class ua.gradsoft.javachecker.attributes.JavaTypeModelAttributes
 
setName(String) - Method in class ua.gradsoft.javachecker.ant.JavaCheckerTask.ConfigNVPair
 
setNoClean(boolean) - Static method in class ua.gradsoft.javachecker.Main
 
setNSupers(int) - Method in class ua.gradsoft.javachecker.models.MethodMatchingConversions
 
setOutput(String) - Method in class ua.gradsoft.javachecker.ant.JavaCheckerTask
 
setOutputFname(String) - Static method in class ua.gradsoft.javachecker.Main
 
setOutputFormat(String) - Method in class ua.gradsoft.javachecker.ant.JavaCheckerTask
 
setPackageModel(JavaPackageModel) - Method in class ua.gradsoft.javachecker.models.JavaCompilationUnitModel.PackageOrClassModelHolder
 
setPackageModel(JavaPackageModel) - Method in class ua.gradsoft.javachecker.models.JavaCompilationUnitModel
 
setPrefs(String) - Method in class ua.gradsoft.javachecker.ant.JavaCheckerTask
 
setPrefsFname(String) - Static method in class ua.gradsoft.javachecker.Main
 
setQ(boolean) - Method in class ua.gradsoft.javachecker.ant.JavaCheckerTask
 
setQOption(boolean) - Static method in class ua.gradsoft.javachecker.Main
 
setReportFormat(ReportFormat) - Static method in class ua.gradsoft.javachecker.Main
 
setShowFileLoading(boolean) - Static method in class ua.gradsoft.javachecker.Main
 
setShowfiles(boolean) - Method in class ua.gradsoft.javachecker.ant.JavaCheckerTask
 
setShowFiles(boolean) - Static method in class ua.gradsoft.javachecker.Main
 
setTopLevelBlockOwnerAttribute(JavaTopLevelBlockOwnerModel, String, Term) - Method in class ua.gradsoft.javachecker.attributes.JavaTypeModelAttributes
 
setTypeAttribute(String, Term) - Method in class ua.gradsoft.javachecker.attributes.JavaTypeModelAttributes
 
setTypeModel(JavaTypeModel) - Method in class ua.gradsoft.javachecker.models.JavaCompilationUnitModel.PackageOrClassModelHolder
 
setTypeModelRef(JavaTypeModel) - Method in class ua.gradsoft.javachecker.models.JavaTypeModelRef
 
setUnitModel(JavaUnitModel) - Method in class ua.gradsoft.javachecker.models.JavaTermTypeAbstractModel
 
setUnitModel(JavaUnitModel) - Method in class ua.gradsoft.javachecker.models.JavaTypeModel
 
setValue(String) - Method in class ua.gradsoft.javachecker.ant.JavaCheckerTask.ConfigNVPair
 
setValue(boolean) - Method in class ua.gradsoft.javachecker.trace.JavaBooleanTraceModel
 
setValue(int) - Method in class ua.gradsoft.javachecker.trace.JavaIntTraceModel
 
setValue(long) - Method in class ua.gradsoft.javachecker.trace.JavaLongTraceModel
 
setValue(short) - Method in class ua.gradsoft.javachecker.trace.JavaShortTraceModel
 
setValue(T) - Method in class ua.gradsoft.javachecker.util.Holder
 
setVarArg(boolean) - Method in class ua.gradsoft.javachecker.models.MethodMatchingConversions
 
SHORT - Static variable in class ua.gradsoft.javachecker.models.JavaPrimitiveTypeModel
 
simplicify(JavaTraceContext) - Method in class ua.gradsoft.javachecker.trace.FalseTraceCondition
 
simplicify(JavaTraceContext) - Method in interface ua.gradsoft.javachecker.trace.TraceCondition
 
simplicify(JavaTraceContext) - Method in class ua.gradsoft.javachecker.trace.TrueTraceCondition
 
size() - Method in class ua.gradsoft.javachecker.util.CachedMap
 
size() - Method in class ua.gradsoft.javachecker.util.FunctionMap
 
size() - Method in class ua.gradsoft.javachecker.util.ImmutableListAsMap
 
size() - Method in class ua.gradsoft.javachecker.util.ImmutableMappedCollection
 
size() - Method in class ua.gradsoft.javachecker.util.ImmutableMappedMap.MappedEntrySet
 
size() - Method in class ua.gradsoft.javachecker.util.ImmutableMappedMap
 
size() - Method in class ua.gradsoft.javachecker.util.IntegerOrderList
 
SourceCodeLocation - Interface in ua.gradsoft.javachecker
 
SourceRequiredForEvaluation - Exception in ua.gradsoft.javachecker.trace
Throwed, when known that source is required for evaluation.
SourceRequiredForEvaluation() - Constructor for exception ua.gradsoft.javachecker.trace.SourceRequiredForEvaluation
 
statement_ - Variable in class ua.gradsoft.javachecker.models.JavaTermExpressionModel
 
statement_ - Variable in class ua.gradsoft.javachecker.models.JavaTermTypeAbstractModel
statement, in which this class is defined if this is local or anonimous class.
STATIC - Static variable in class ua.gradsoft.javachecker.models.JavaModifiersModel
 
STRICTFP - Static variable in class ua.gradsoft.javachecker.models.JavaModifiersModel
 
subExpressionsAreConstants(JavaExpressionModel) - Static method in class ua.gradsoft.javachecker.models.JavaExpressionModelHelper
 
subList(int, int) - Method in class ua.gradsoft.javachecker.util.ImmutableMappedList
 
subList(int, int) - Method in class ua.gradsoft.javachecker.util.IntegerOrderList
 
substitute(JavaTypeModel) - Method in class ua.gradsoft.javachecker.models.JavaTypeArgumentsSubstitution
 
substitute(JavaTypeModel, Holder<Boolean>) - Method in class ua.gradsoft.javachecker.models.JavaTypeArgumentsSubstitution
 
substitute(List<? extends JavaTypeModel>) - Method in class ua.gradsoft.javachecker.models.JavaTypeArgumentsSubstitution
 
subtypeOrSame(JavaTypeModel, JavaTypeModel) - Method in class ua.gradsoft.javachecker.models.JavaPlaceContext
 
subtypeOrSame(JavaTypeModel, JavaTypeModel) - Static method in class ua.gradsoft.javachecker.models.JavaTypeModelHelper
 
subtypeOrSame(JavaTypeModel, JavaTypeModel, MethodMatchingConversions, boolean, boolean) - Static method in class ua.gradsoft.javachecker.models.JavaTypeModelHelper
define subtyping.
subtypeOrSamePrimitive(String, String) - Static method in class ua.gradsoft.javachecker.models.JavaTypeModelHelper
 
superClassTerm_ - Variable in class ua.gradsoft.javachecker.models.JavaTermTypeAbstractModel
 
superInterfacesTerms_ - Variable in class ua.gradsoft.javachecker.models.JavaTermTypeAbstractModel
 
SYNCHRONIZED - Static variable in class ua.gradsoft.javachecker.models.JavaModifiersModel
 

T

t_ - Variable in class ua.gradsoft.javachecker.models.JavaTermExpressionModel
 
t_ - Variable in class ua.gradsoft.javachecker.models.JavaTermTypeAbstractModel
 
target_ - Variable in class ua.gradsoft.javachecker.models.JavaAnnotationInstanceModel
 
TermUtils - Class in ua.gradsoft.javachecker.models
Various utilities for work with terms.
TermUtils() - Constructor for class ua.gradsoft.javachecker.models.TermUtils
 
THROWS_NAMELIST_TERM_INDEX - Static variable in class ua.gradsoft.javachecker.models.JavaTermConstructorModel
 
THROWS_SPECIFICATION_INDEX - Static variable in class ua.gradsoft.javachecker.models.JavaTermMethodModel
 
toArray() - Method in class ua.gradsoft.javachecker.util.ImmutableMappedCollection
 
toArray(T[]) - Method in class ua.gradsoft.javachecker.util.ImmutableMappedCollection
 
toArray(T[]) - Method in class ua.gradsoft.javachecker.util.ImmutableMappedMap.MappedEntrySet
 
toArray() - Method in class ua.gradsoft.javachecker.util.ImmutableMappedMap.MappedEntrySet
 
toArray() - Method in class ua.gradsoft.javachecker.util.IntegerOrderList
 
toArray(T[]) - Method in class ua.gradsoft.javachecker.util.IntegerOrderList
 
toString() - Method in class ua.gradsoft.javachecker.ant.JavaCheckerTask.ConfigNVPair
 
toString() - Method in class ua.gradsoft.javachecker.FileAndLine
 
toString() - Method in class ua.gradsoft.javachecker.models.JavaTypeArgumentsSubstitution
represet as string.
toString() - Method in class ua.gradsoft.javachecker.models.JavaTypeVariableAbstractModel
 
TraceCondition - Interface in ua.gradsoft.javachecker.trace
Interface for trace conditions.
TraceConditionResult - Enum in ua.gradsoft.javachecker.trace
 
TRANSIENT - Static variable in class ua.gradsoft.javachecker.models.JavaModifiersModel
 
translateModifiers(int) - Static method in class ua.gradsoft.javachecker.models.JavaClassTypeModel
translate modifiers from java.lang.reflect modifiers to our ModifiersModel
TrueTraceCondition - Class in ua.gradsoft.javachecker.trace
True trace condition
TrueTraceCondition(JavaTermStatementModel, JavaTypeModel) - Constructor for class ua.gradsoft.javachecker.trace.TrueTraceCondition
 
TYPE_ARGUMENTS_TERM_INDEX - Static variable in class ua.gradsoft.javachecker.models.JavaTermAnonimousTypeModel
 
TYPE_PARAMETERS_TERM_INDEX - Static variable in class ua.gradsoft.javachecker.models.JavaTermClassOrInterfaceModel
 
TYPE_PARAMETERS_TERM_INDEX - Static variable in class ua.gradsoft.javachecker.models.JavaTermConstructorModel
 
TYPE_PARAMETERS_TERM_INDEX - Static variable in class ua.gradsoft.javachecker.models.JavaTermMethodModel
 
TypeCheckerProperties - Annotation Type in ua.gradsoft.javachecker.annotations
Checker properties, which binded to type.
typeModel_ - Variable in class ua.gradsoft.javachecker.trace.JavaPrimitiveTraceModel
 
TypeOfViolation - Class in ua.gradsoft.javachecker
Type of violation
TypeOfViolation(String, String, String, boolean) - Constructor for class ua.gradsoft.javachecker.TypeOfViolation
Creates a new instance of ViolationSummary
typeVariables_ - Variable in class ua.gradsoft.javachecker.models.JavaTermTypeAbstractModel
 

U

ua.gradsoft.javachecker - package ua.gradsoft.javachecker
 
ua.gradsoft.javachecker.annotations - package ua.gradsoft.javachecker.annotations
 
ua.gradsoft.javachecker.ant - package ua.gradsoft.javachecker.ant
 
ua.gradsoft.javachecker.attributes - package ua.gradsoft.javachecker.attributes
 
ua.gradsoft.javachecker.checkers - package ua.gradsoft.javachecker.checkers
 
ua.gradsoft.javachecker.models - package ua.gradsoft.javachecker.models
 
ua.gradsoft.javachecker.models.expressions - package ua.gradsoft.javachecker.models.expressions
 
ua.gradsoft.javachecker.trace - package ua.gradsoft.javachecker.trace
 
ua.gradsoft.javachecker.util - package ua.gradsoft.javachecker.util
 
unboxingConversion(JavaTypeModel, MethodMatchingConversions) - Static method in class ua.gradsoft.javachecker.models.JavaTypeModelHelper
Object -> appropriate primitive
UNKNOWN - Static variable in class ua.gradsoft.javachecker.FileAndLine
 
UnusedMethodsAndFieldsChecker - Class in ua.gradsoft.javachecker.checkers
Mark unused names and fields.
UnusedMethodsAndFieldsChecker() - Constructor for class ua.gradsoft.javachecker.checkers.UnusedMethodsAndFieldsChecker
 

V

valueOf(String) - Static method in enum ua.gradsoft.javachecker.CheckerType
Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum ua.gradsoft.javachecker.models.AnalyzedUnitType
Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum ua.gradsoft.javachecker.models.expressions.JavaAdditiveOperatorKind
Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum ua.gradsoft.javachecker.models.expressions.JavaAssigmentOperatorKind
Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum ua.gradsoft.javachecker.models.expressions.JavaEqualityOperatorKind
Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum ua.gradsoft.javachecker.models.expressions.JavaMultiplicativeOperatorKind
Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum ua.gradsoft.javachecker.models.expressions.JavaPostfixOperatorKind
Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum ua.gradsoft.javachecker.models.expressions.JavaRelationOperatorKind
Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum ua.gradsoft.javachecker.models.expressions.JavaShiftOperatorKind
Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum ua.gradsoft.javachecker.models.expressions.JavaUnaryOperatorKind
Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum ua.gradsoft.javachecker.models.JavaAnnotationKind
Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum ua.gradsoft.javachecker.models.JavaExpressionKind
Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum ua.gradsoft.javachecker.models.JavaLocalVariableKind
Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum ua.gradsoft.javachecker.models.JavaStatementKind
Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum ua.gradsoft.javachecker.models.JavaTopLevelBlockOwnerKind
Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum ua.gradsoft.javachecker.models.JavaVariableKind
Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum ua.gradsoft.javachecker.models.JavaWildcardBoundsKind
Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum ua.gradsoft.javachecker.PartialConditionResult
Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum ua.gradsoft.javachecker.ReportFormat
Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum ua.gradsoft.javachecker.trace.JavaTraceContextFrameType
Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum ua.gradsoft.javachecker.trace.TraceConditionResult
Returns the enum constant of this type with the specified name.
values() - Static method in enum ua.gradsoft.javachecker.CheckerType
Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum ua.gradsoft.javachecker.models.AnalyzedUnitType
Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum ua.gradsoft.javachecker.models.expressions.JavaAdditiveOperatorKind
Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum ua.gradsoft.javachecker.models.expressions.JavaAssigmentOperatorKind
Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum ua.gradsoft.javachecker.models.expressions.JavaEqualityOperatorKind
Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum ua.gradsoft.javachecker.models.expressions.JavaMultiplicativeOperatorKind
Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum ua.gradsoft.javachecker.models.expressions.JavaPostfixOperatorKind
Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum ua.gradsoft.javachecker.models.expressions.JavaRelationOperatorKind
Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum ua.gradsoft.javachecker.models.expressions.JavaShiftOperatorKind
Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum ua.gradsoft.javachecker.models.expressions.JavaUnaryOperatorKind
Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum ua.gradsoft.javachecker.models.JavaAnnotationKind
Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum ua.gradsoft.javachecker.models.JavaExpressionKind
Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum ua.gradsoft.javachecker.models.JavaLocalVariableKind
Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum ua.gradsoft.javachecker.models.JavaStatementKind
Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum ua.gradsoft.javachecker.models.JavaTopLevelBlockOwnerKind
Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum ua.gradsoft.javachecker.models.JavaVariableKind
Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum ua.gradsoft.javachecker.models.JavaWildcardBoundsKind
Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum ua.gradsoft.javachecker.PartialConditionResult
Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum ua.gradsoft.javachecker.ReportFormat
Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum ua.gradsoft.javachecker.trace.JavaTraceContextFrameType
Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum ua.gradsoft.javachecker.trace.TraceConditionResult
Returns an array containing the constants of this enum type, in the order they are declared.
values() - Method in class ua.gradsoft.javachecker.util.CachedMap
 
values() - Method in class ua.gradsoft.javachecker.util.FunctionMap
 
values() - Method in class ua.gradsoft.javachecker.util.ImmutableListAsMap
 
values() - Method in class ua.gradsoft.javachecker.util.ImmutableMappedMap
 
VARARGS - Static variable in class ua.gradsoft.javachecker.models.JavaModifiersModel
 
violationDiscovered(String, String, Term) - Method in class ua.gradsoft.javachecker.JavaFacts
 
violationDiscovered(String, String, Term) - Method in class ua.gradsoft.javachecker.ProxyJavaFacts
 
Violations - Class in ua.gradsoft.javachecker
Set of violations, found in source
Violations() - Constructor for class ua.gradsoft.javachecker.Violations
Creates a new instance of Violations
visitLocalVariableDeclarators(Term, ITermVisitor, TermHolder, HashSet<Term>) - Static method in class ua.gradsoft.javachecker.checkers.NamePatternsChecker
 
VOID - Static variable in class ua.gradsoft.javachecker.models.JavaPrimitiveTypeModel
 
VOLATILE - Static variable in class ua.gradsoft.javachecker.models.JavaModifiersModel
 

A B C D E F G H I J K L M N O P R S T U V