AbstractChecker
AbstractCompilationUnitChecker
AbstractTypeChecker
AnalyzedUnitRef
AnalyzedUnitType
AttributedEntity
AttributesData
BTCompilationUnitChecker
BTTypeChecker
CachedMap
CheckerComment
CheckerDisable
CheckerProperties
Checkers
CheckerType
ClassChecker
ClassReachabilityChecker
ConfigException
ConfigurationAttributesStorage
ConstructorCheckerProperties
DefaultExceptionHandler
DefectReportItem
EntityNotFoundException
EqualsHashCodeChecker
EvaluationException
FalseTraceCondition
FieldCheckerProperties
FileAndLine
FTTypeChecker
Function
FunctionMap
Holder
ImmutableListAsMap
ImmutableMappedCollection
ImmutableMappedList
ImmutableMappedMap
ImpossibleForsingOfTraceCondition
IntegerOrderList
InvalidAnnotationTargetElementTypeException
InvalidCheckerCommentException
InvalidJavaExpressionModelException
InvalidJavaTermException
InvokedEvaluationException
ITermVisitor
JarClassLoader
JavaAdditiveOperatorKind
JavaAnnotationDefaultInstanceModel
JavaAnnotationInstanceModel
JavaAnnotationKind
JavaArrayTypeModel
JavaAssigmentOperatorKind
JavaBooleanTraceModel
JavaCheckerExceptionHandler
JavaCheckerFacade
JavaCheckerTask
JavaCheckerTask.CheckName
JavaCheckerTask.ConfigNVPair
JavaClassAnnotationInstanceModel
JavaClassArgumentBoundMethodModel
JavaClassConstructorModel
JavaClassEnumConstantModel
JavaClassFieldModel
JavaClassFormalParameterModel
JavaClassMethodModel
JavaClassModifiersModel
JavaClassObjectConstantExpressionModel
JavaClassTopLevelBlockOwnerModel
JavaClassTopLevelBlockOwnerModelHelper
JavaClassTypeModel
JavaClassTypeVariableModel
JavaClassUnitModel
JavaCompilationUnitModel
JavaCompilationUnitModel.ClassImportSuffix
JavaCompilationUnitModel.PackageOrClassModelHolder
JavaConstructorModel
JavaDelegatedAnnotationInstanceModel
JavaEnumConstantModel
JavaEqualityOperatorKind
JavaExpressionHelper
JavaExpressionKind
JavaExpressionModel
JavaExpressionModelHelper
JavaFacts
JavaFormalParameterModel
JavaIdentifierExpressionModel
JavaInitializerModel
JavaIntTraceModel
JavaLiteralModel
JavaLocalVariableKind
JavaLocalVariableModel
JavaLongTraceModel
JavaMemberVariableModel
JavaMethodModel
JavaMethodModelAttributes
JavaModelConstants
JavaModifiersModel
JavaMultiplicativeOperatorKind
JavaNullTypeModel
JavaObjectConstantExpressionModel
JavaObjectConstantTraceObjectModel
JavaPackageModel
JavaPlaceContext
JavaPlaceContextFactory
JavaPostfixOperatorKind
JavaPrimitiveTraceModel
JavaPrimitiveTypeModel
JavaRelationOperatorKind
JavaResolver
JavaShiftOperatorKind
JavaShortTraceModel
JavaStatementKind
JavaStatementModel
JavaTermAdditiveExpressionModel
JavaTermAllocationExpressionModel
JavaTermAndExpressionModel
JavaTermAnnotationExpressionModel
JavaTermAnnotationInstanceModel
JavaTermAnnotationMemberValueArrayInitializerExpressionModel
JavaTermAnnotationMethodModel
JavaTermAnnotationTypeModel
JavaTermAnonimousTypeModel
JavaTermArrayIndexExpressionModel
JavaTermArrayInitializerExpressionModel
JavaTermAssigmentExpressionModel
JavaTermBooleanLiteralExpressionModel
JavaTermCastExpressionModel
JavaTermCharacterLiteralExpressionModel
JavaTermClassLiteralExpressionModel
JavaTermClassOrInterfaceModel
JavaTermConditionalAndExpressionModel
JavaTermConditionalExpressionModel
JavaTermConditionalOrExpressionModel
JavaTermConstructorModel
JavaTermEnumAnonimousTypeModel
JavaTermEnumConstantModel
JavaTermEnumModel
JavaTermEqualityExpressionModel
JavaTermExclusiveOrExpressionModel
JavaTermExpressionModel
JavaTermFieldExpressionModel
JavaTermFloatingPointLiteralExpressionModel
JavaTermFormalParameterModel
JavaTermFunctionCallExpressionModel
JavaTermIdentifierExpressionModel
JavaTermInclusiveOrExpressionModel
JavaTermInitializerModel
JavaTermInnerAllocationExpressionModel
JavaTermInstanceOfExpressionModel
JavaTermIntegerLiteralExpressionModel
JavaTermLocalVariableModel
JavaTermMemberVariableModel
JavaTermMethodCallExpressionModel
JavaTermMethodModel
JavaTermModifiersModel
JavaTermMultiplicativeExpressionModel
JavaTermNameExpressionModel
JavaTermNestedTypeExpressionModel
JavaTermNullLiteralExpressionModel
JavaTermParentizedExpressionModel
JavaTermPostfixExpressionModel
JavaTermPredecrementExpressionModel
JavaTermPreincrementExpressionModel
JavaTermRelationalExpressionModel
JavaTermShiftExpressionModel
JavaTermSpecializedMethodCallExpressionModel
JavaTermStatementModel
JavaTermStaticFieldExpressionModel
JavaTermStringLiteralExpressionModel
JavaTermSuperExpressionModel
JavaTermSuperPrefixExpressionModel
JavaTermSwitchConstantExpressionModel
JavaTermThisExpressionModel
JavaTermThisPrefixExpressionModel
JavaTermTopLevelBlockModel
JavaTermTopLevelBlockOwnerModel
JavaTermTraceObjectModel
JavaTermTypeAbstractModel
JavaTermTypeExpressionModel
JavaTermTypeNameExpressionModel
JavaTermTypeVariableModel
JavaTermUnaryExpressionModel
JavaTopLevelBlockModel
JavaTopLevelBlockOwnerKind
JavaTopLevelBlockOwnerModel
JavaTopLevelBlockOwnerModelHelper
JavaTraceArrayModel
JavaTraceContext
JavaTraceContextFrameType
JavaTraceNullModel
JavaTraceObjectModel
JavaTraceObjectModelFactory
JavaTypeArgumentBoundConstructorModel
JavaTypeArgumentBoundExpressionModel
JavaTypeArgumentBoundInitializerModel
JavaTypeArgumentBoundLocalVariableModel
JavaTypeArgumentBoundMemberVariableModel
JavaTypeArgumentBoundMethodModel
JavaTypeArgumentBoundStatementModel
JavaTypeArgumentBoundTopLevelBlockModel
JavaTypeArgumentBoundTopLevelBlockOwnerModel
JavaTypeArgumentBoundTopLevelBlockOwnerModelHelper
JavaTypeArgumentBoundTypeModel
JavaTypeArgumentBoundTypeVariableModel
JavaTypeArgumentsHelper
JavaTypeArgumentsSubstitution
JavaTypeModel
JavaTypeModelAttributes
JavaTypeModelHelper
JavaTypeModelOnePassProcessor
JavaTypeModelProcessor
JavaTypeModelRef
JavaTypeSubstitutedFormalParameterModel
JavaTypeVariableAbstractModel
JavaUnaryOperatorKind
JavaUnitModel
JavaUnknownTypeModel
JavaVariableKind
JavaVariableModel
JavaVariableModelComparator
JavaWildcardBoundsKind
JavaWildcardBoundsTypeModel
JUtils
LocalTypesIterable
LocalTypesIterable.LocalTypesIterator
Main
MethodCheckerProperties
MethodMatchingConversions
ModelChecker
NamePatternsChecker
NotKnowException
NotSupportedException
Nullable
PackagesStore
Pair
ParameterCheckerProperties
PartialConditionResult
ProcessingException
ProxyJavaFacts
ReportFormat
SourceCodeLocation
SourceRequiredForEvaluation
TermUtils
TraceCondition
TraceConditionResult
TrueTraceCondition
TypeCheckerProperties
TypeOfViolation
UnusedMethodsAndFieldsChecker
Violations
|