Hierarchy For All Packages

Package Hierarchies:

ua.gradsoft.javachecker, ua.gradsoft.javachecker.annotations, ua.gradsoft.javachecker.ant, ua.gradsoft.javachecker.attributes, ua.gradsoft.javachecker.checkers, ua.gradsoft.javachecker.models, ua.gradsoft.javachecker.models.expressions, ua.gradsoft.javachecker.trace, ua.gradsoft.javachecker.util

Class Hierarchy

• java.lang.Object
  • ua.gradsoft.javachecker.checkers.AbstractChecker
    • ua.gradsoft.javachecker.checkers.AbstractCompilationUnitChecker
      • ua.gradsoft.javachecker.checkers.BTCompilationUnitChecker
    • ua.gradsoft.javachecker.checkers.AbstractTypeChecker
      • ua.gradsoft.javachecker.checkers.BTTypeChecker
      • ua.gradsoft.javachecker.checkers.ClassChecker
      • ua.gradsoft.javachecker.checkers.FTTypeChecker
      • ua.gradsoft.javachecker.checkers.ModelChecker
  • ua.gradsoft.javachecker.models.AnalyzedUnitRef
  • ua.gradsoft.javachecker.attributes.AttributesData (implements ua.gradsoft.javachecker.attributes.AttributedEntity, java.io.Serializable)
  • ua.gradsoft.javachecker.util.CachedMap<K,V> (implements java.util.Map<K,V>)
  • ua.gradsoft.javachecker.CheckerComment
  • ua.gradsoft.javachecker.checkers.Checkers
  • java.lang.ClassLoader
    • java.security.SecureClassLoader
      • java.net.URLClassLoader
        • ua.gradsoft.javachecker.util.JarClassLoader
  • ua.gradsoft.javachecker.checkers.ClassReachabilityChecker (implements ua.gradsoft.javachecker.checkers.JavaTypeModelProcessor)
  • ua.gradsoft.javachecker.attributes.ConfigurationAttributesStorage
  • ua.gradsoft.javachecker.DefaultExceptionHandler (implements ua.gradsoft.javachecker.JavaCheckerExceptionHandler)
  • ua.gradsoft.termware.DefaultFacts (implements ua.gradsoft.termware.IFacts)
    • ua.gradsoft.javachecker.JavaFacts
    • ua.gradsoft.javachecker.ProxyJavaFacts
  • ua.gradsoft.javachecker.DefectReportItem
  • ua.gradsoft.javachecker.trace.FalseTraceCondition (implements ua.gradsoft.javachecker.trace.TraceCondition)
  • ua.gradsoft.javachecker.FileAndLine
  • ua.gradsoft.javachecker.util.FunctionMap<K,V> (implements java.util.Map<K,V>)
  • ua.gradsoft.javachecker.util.Holder<T>
  • ua.gradsoft.javachecker.util.ImmutableListAsMap<K,V> (implements java.util.Map<K,V>)
  • ua.gradsoft.javachecker.util.ImmutableMappedCollection<X,Y> (implements java.util.Collection<E>)
    • ua.gradsoft.javachecker.util.ImmutableMappedList<X,Y> (implements java.util.List<E>)
  • ua.gradsoft.javachecker.util.ImmutableMappedList.MappedListIterator (implements java.util.ListIterator<E>)
  • ua.gradsoft.javachecker.util.ImmutableMappedMap<K,VX,VY> (implements java.util.Map<K,V>)
  • ua.gradsoft.javachecker.util.ImmutableMappedMap.MappedEntrySet (implements java.util.Set<E>)
  • ua.gradsoft.javachecker.util.IntegerOrderList (implements java.util.List<E>)
  • ua.gradsoft.javachecker.models.JavaAnnotationInstanceModel
    • ua.gradsoft.javachecker.models.JavaAnnotationDefaultInstanceModel
    • ua.gradsoft.javachecker.models.JavaClassAnnotationInstanceModel
    • ua.gradsoft.javachecker.models.JavaDelegatedAnnotationInstanceModel
    • ua.gradsoft.javachecker.models.JavaTermAnnotationInstanceModel
  • ua.gradsoft.javachecker.JavaCheckerFacade
  • ua.gradsoft.javachecker.ant.JavaCheckerTask.CheckName
  • ua.gradsoft.javachecker.ant.JavaCheckerTask.ConfigNVPair
  • ua.gradsoft.javachecker.models.expressions.JavaClassObjectConstantExpressionModel (implements ua.gradsoft.javachecker.models.expressions.JavaObjectConstantExpressionModel)
  • ua.gradsoft.javachecker.models.JavaClassTopLevelBlockOwnerModelHelper
  • ua.gradsoft.javachecker.models.JavaCompilationUnitModel.ClassImportSuffix
  • ua.gradsoft.javachecker.models.JavaCompilationUnitModel.PackageOrClassModelHolder
  • ua.gradsoft.javachecker.models.JavaConstructorModel (implements ua.gradsoft.javachecker.models.JavaTopLevelBlockOwnerModel)
    • ua.gradsoft.javachecker.models.JavaClassConstructorModel (implements ua.gradsoft.javachecker.models.JavaClassTopLevelBlockOwnerModel)
    • ua.gradsoft.javachecker.models.JavaTermConstructorModel (implements ua.gradsoft.javachecker.models.JavaTermTopLevelBlockOwnerModel)
    • ua.gradsoft.javachecker.models.JavaTypeArgumentBoundConstructorModel (implements ua.gradsoft.javachecker.models.JavaTypeArgumentBoundTopLevelBlockOwnerModel)
  • ua.gradsoft.javachecker.models.JavaExpressionHelper
  • ua.gradsoft.javachecker.models.JavaExpressionModelHelper
  • ua.gradsoft.javachecker.models.JavaFormalParameterModel (implements ua.gradsoft.javachecker.models.JavaVariableModel)
    • ua.gradsoft.javachecker.models.JavaClassFormalParameterModel
    • ua.gradsoft.javachecker.models.JavaTermFormalParameterModel
    • ua.gradsoft.javachecker.models.JavaTypeSubstitutedFormalParameterModel
  • ua.gradsoft.javachecker.models.JavaInitializerModel (implements ua.gradsoft.javachecker.models.JavaTopLevelBlockOwnerModel)
    • ua.gradsoft.javachecker.models.JavaTermInitializerModel (implements ua.gradsoft.javachecker.models.JavaTermTopLevelBlockOwnerModel)
    • ua.gradsoft.javachecker.models.JavaTypeArgumentBoundInitializerModel (implements ua.gradsoft.javachecker.models.JavaTypeArgumentBoundTopLevelBlockOwnerModel)
  • ua.gradsoft.javachecker.models.JavaMemberVariableModel (implements ua.gradsoft.javachecker.models.JavaVariableModel)
    • ua.gradsoft.javachecker.models.JavaClassFieldModel
    • ua.gradsoft.javachecker.models.JavaEnumConstantModel
      • ua.gradsoft.javachecker.models.JavaClassEnumConstantModel
      • ua.gradsoft.javachecker.models.JavaTermEnumConstantModel
    • ua.gradsoft.javachecker.models.JavaTermMemberVariableModel
    • ua.gradsoft.javachecker.models.JavaTypeArgumentBoundMemberVariableModel
  • ua.gradsoft.javachecker.models.JavaMethodModel (implements ua.gradsoft.javachecker.models.JavaTopLevelBlockOwnerModel)
    • ua.gradsoft.javachecker.models.JavaClassArgumentBoundMethodModel (implements ua.gradsoft.javachecker.models.JavaTypeArgumentBoundTopLevelBlockOwnerModel)
    • ua.gradsoft.javachecker.models.JavaClassMethodModel (implements ua.gradsoft.javachecker.models.JavaClassTopLevelBlockOwnerModel)
    • ua.gradsoft.javachecker.models.JavaTermAnnotationMethodModel
    • ua.gradsoft.javachecker.models.JavaTermEnumModel.ValueOfMethodModel
    • ua.gradsoft.javachecker.models.JavaTermEnumModel.ValuesMethodModel
    • ua.gradsoft.javachecker.models.JavaTermMethodModel (implements ua.gradsoft.javachecker.models.JavaTermTopLevelBlockOwnerModel)
    • ua.gradsoft.javachecker.models.JavaTypeArgumentBoundMethodModel (implements ua.gradsoft.javachecker.models.JavaTypeArgumentBoundTopLevelBlockOwnerModel)
  • ua.gradsoft.javachecker.models.JavaMethodModelAttributes (implements java.io.Serializable)
  • ua.gradsoft.javachecker.models.JavaModelConstants
  • ua.gradsoft.javachecker.models.JavaModifiersModel
    • ua.gradsoft.javachecker.models.JavaClassModifiersModel
    • ua.gradsoft.javachecker.models.JavaTermModifiersModel
  • ua.gradsoft.javachecker.trace.JavaObjectConstantTraceObjectModel (implements ua.gradsoft.javachecker.trace.JavaTraceObjectModel)
  • ua.gradsoft.javachecker.models.JavaPackageModel
  • ua.gradsoft.javachecker.models.JavaPlaceContext
  • ua.gradsoft.javachecker.models.JavaPlaceContextFactory
  • ua.gradsoft.javachecker.trace.JavaPrimitiveTraceModel (implements ua.gradsoft.javachecker.trace.JavaTraceObjectModel)
    • ua.gradsoft.javachecker.trace.JavaBooleanTraceModel
    • ua.gradsoft.javachecker.trace.JavaIntTraceModel
    • ua.gradsoft.javachecker.trace.JavaLongTraceModel
    • ua.gradsoft.javachecker.trace.JavaShortTraceModel
  • ua.gradsoft.javachecker.models.JavaResolver
  • ua.gradsoft.javachecker.models.JavaTermExpressionModel (implements ua.gradsoft.javachecker.models.JavaExpressionModel)
    • ua.gradsoft.javachecker.models.expressions.JavaTermAdditiveExpressionModel
    • ua.gradsoft.javachecker.models.expressions.JavaTermAllocationExpressionModel
    • ua.gradsoft.javachecker.models.expressions.JavaTermAndExpressionModel
    • ua.gradsoft.javachecker.models.expressions.JavaTermAnnotationExpressionModel
    • ua.gradsoft.javachecker.models.expressions.JavaTermAnnotationMemberValueArrayInitializerExpressionModel
    • ua.gradsoft.javachecker.models.expressions.JavaTermArrayIndexExpressionModel
    • ua.gradsoft.javachecker.models.expressions.JavaTermArrayInitializerExpressionModel
    • ua.gradsoft.javachecker.models.expressions.JavaTermAssigmentExpressionModel
    • ua.gradsoft.javachecker.models.expressions.JavaTermBooleanLiteralExpressionModel (implements ua.gradsoft.javachecker.models.JavaLiteralModel, ua.gradsoft.javachecker.models.expressions.JavaObjectConstantExpressionModel)
    • ua.gradsoft.javachecker.models.expressions.JavaTermCastExpressionModel
    • ua.gradsoft.javachecker.models.expressions.JavaTermCharacterLiteralExpressionModel (implements ua.gradsoft.javachecker.models.JavaLiteralModel, ua.gradsoft.javachecker.models.expressions.JavaObjectConstantExpressionModel)
    • ua.gradsoft.javachecker.models.expressions.JavaTermClassLiteralExpressionModel
    • ua.gradsoft.javachecker.models.expressions.JavaTermConditionalAndExpressionModel
    • ua.gradsoft.javachecker.models.expressions.JavaTermConditionalExpressionModel
    • ua.gradsoft.javachecker.models.expressions.JavaTermConditionalOrExpressionModel
    • ua.gradsoft.javachecker.models.expressions.JavaTermEqualityExpressionModel
    • ua.gradsoft.javachecker.models.expressions.JavaTermExclusiveOrExpressionModel
    • ua.gradsoft.javachecker.models.expressions.JavaTermFieldExpressionModel
    • ua.gradsoft.javachecker.models.expressions.JavaTermFloatingPointLiteralExpressionModel (implements ua.gradsoft.javachecker.models.JavaLiteralModel, ua.gradsoft.javachecker.models.expressions.JavaObjectConstantExpressionModel)
    • ua.gradsoft.javachecker.models.expressions.JavaTermFunctionCallExpressionModel
    • ua.gradsoft.javachecker.models.expressions.JavaTermIdentifierExpressionModel (implements ua.gradsoft.javachecker.models.expressions.JavaIdentifierExpressionModel)
    • ua.gradsoft.javachecker.models.expressions.JavaTermInclusiveOrExpressionModel
    • ua.gradsoft.javachecker.models.expressions.JavaTermInnerAllocationExpressionModel
    • ua.gradsoft.javachecker.models.expressions.JavaTermInstanceOfExpressionModel
    • ua.gradsoft.javachecker.models.expressions.JavaTermIntegerLiteralExpressionModel (implements ua.gradsoft.javachecker.models.JavaLiteralModel, ua.gradsoft.javachecker.models.expressions.JavaObjectConstantExpressionModel)
    • ua.gradsoft.javachecker.models.expressions.JavaTermMethodCallExpressionModel
    • ua.gradsoft.javachecker.models.expressions.JavaTermMultiplicativeExpressionModel
    • ua.gradsoft.javachecker.models.expressions.JavaTermNameExpressionModel
    • ua.gradsoft.javachecker.models.expressions.JavaTermNullLiteralExpressionModel (implements ua.gradsoft.javachecker.models.JavaLiteralModel, ua.gradsoft.javachecker.models.expressions.JavaObjectConstantExpressionModel)
    • ua.gradsoft.javachecker.models.expressions.JavaTermParentizedExpressionModel
    • ua.gradsoft.javachecker.models.expressions.JavaTermPostfixExpressionModel
    • ua.gradsoft.javachecker.models.expressions.JavaTermPredecrementExpressionModel
    • ua.gradsoft.javachecker.models.expressions.JavaTermPreincrementExpressionModel
    • ua.gradsoft.javachecker.models.expressions.JavaTermRelationalExpressionModel
    • ua.gradsoft.javachecker.models.expressions.JavaTermShiftExpressionModel
    • ua.gradsoft.javachecker.models.expressions.JavaTermSpecializedMethodCallExpressionModel
    • ua.gradsoft.javachecker.models.expressions.JavaTermStaticFieldExpressionModel
    • ua.gradsoft.javachecker.models.expressions.JavaTermStringLiteralExpressionModel (implements ua.gradsoft.javachecker.models.JavaLiteralModel, ua.gradsoft.javachecker.models.expressions.JavaObjectConstantExpressionModel)
    • ua.gradsoft.javachecker.models.expressions.JavaTermSuperExpressionModel
    • ua.gradsoft.javachecker.models.expressions.JavaTermSuperPrefixExpressionModel
    • ua.gradsoft.javachecker.models.expressions.JavaTermSwitchConstantExpressionModel
    • ua.gradsoft.javachecker.models.expressions.JavaTermThisExpressionModel
    • ua.gradsoft.javachecker.models.expressions.JavaTermThisPrefixExpressionModel
    • ua.gradsoft.javachecker.models.expressions.JavaTermTypeExpressionModel
      • ua.gradsoft.javachecker.models.expressions.JavaTermNestedTypeExpressionModel
      • ua.gradsoft.javachecker.models.expressions.JavaTermTypeNameExpressionModel
    • ua.gradsoft.javachecker.models.expressions.JavaTermUnaryExpressionModel
  • ua.gradsoft.javachecker.models.JavaTermLocalVariableModel (implements ua.gradsoft.javachecker.models.JavaLocalVariableModel)
  • ua.gradsoft.javachecker.models.JavaTermStatementModel (implements ua.gradsoft.javachecker.models.JavaStatementModel)
  • ua.gradsoft.javachecker.models.JavaTermTopLevelBlockModel (implements ua.gradsoft.javachecker.models.JavaTopLevelBlockModel)
  • ua.gradsoft.javachecker.trace.JavaTermTraceObjectModel (implements ua.gradsoft.javachecker.trace.JavaTraceObjectModel)
  • ua.gradsoft.javachecker.models.JavaTopLevelBlockOwnerModelHelper
  • ua.gradsoft.javachecker.trace.JavaTraceArrayModel (implements ua.gradsoft.javachecker.trace.JavaTraceObjectModel)
  • ua.gradsoft.javachecker.trace.JavaTraceContext
  • ua.gradsoft.javachecker.trace.JavaTraceNullModel (implements ua.gradsoft.javachecker.trace.JavaTraceObjectModel)
  • ua.gradsoft.javachecker.trace.JavaTraceObjectModelFactory
  • ua.gradsoft.javachecker.models.JavaTypeArgumentBoundExpressionModel (implements ua.gradsoft.javachecker.models.JavaExpressionModel)
  • ua.gradsoft.javachecker.models.JavaTypeArgumentBoundLocalVariableModel (implements ua.gradsoft.javachecker.models.JavaLocalVariableModel)
  • ua.gradsoft.javachecker.models.JavaTypeArgumentBoundStatementModel (implements ua.gradsoft.javachecker.models.JavaStatementModel)
  • ua.gradsoft.javachecker.models.JavaTypeArgumentBoundTopLevelBlockModel (implements ua.gradsoft.javachecker.models.JavaTopLevelBlockModel)
  • ua.gradsoft.javachecker.models.JavaTypeArgumentBoundTopLevelBlockOwnerModelHelper
  • ua.gradsoft.javachecker.models.JavaTypeArgumentsHelper
  • ua.gradsoft.javachecker.models.JavaTypeArgumentsSubstitution
  • ua.gradsoft.javachecker.models.JavaTypeModel (implements ua.gradsoft.javachecker.attributes.AttributedEntity)
    • ua.gradsoft.javachecker.models.JavaArrayTypeModel
    • ua.gradsoft.javachecker.models.JavaClassTypeModel
    • ua.gradsoft.javachecker.models.JavaNullTypeModel
    • ua.gradsoft.javachecker.models.JavaPrimitiveTypeModel
    • ua.gradsoft.javachecker.models.JavaTermTypeAbstractModel
      • ua.gradsoft.javachecker.models.JavaTermAnnotationTypeModel
      • ua.gradsoft.javachecker.models.JavaTermAnonimousTypeModel
      • ua.gradsoft.javachecker.models.JavaTermClassOrInterfaceModel
      • ua.gradsoft.javachecker.models.JavaTermEnumAnonimousTypeModel
      • ua.gradsoft.javachecker.models.JavaTermEnumModel
    • ua.gradsoft.javachecker.models.JavaTypeArgumentBoundTypeModel
    • ua.gradsoft.javachecker.models.JavaTypeVariableAbstractModel
      • ua.gradsoft.javachecker.models.JavaClassTypeVariableModel
      • ua.gradsoft.javachecker.models.JavaTermTypeVariableModel
      • ua.gradsoft.javachecker.models.JavaTypeArgumentBoundTypeVariableModel
    • ua.gradsoft.javachecker.models.JavaUnknownTypeModel
    • ua.gradsoft.javachecker.models.JavaWildcardBoundsTypeModel
  • ua.gradsoft.javachecker.attributes.JavaTypeModelAttributes
  • ua.gradsoft.javachecker.models.JavaTypeModelHelper
  • ua.gradsoft.javachecker.checkers.JavaTypeModelOnePassProcessor (implements ua.gradsoft.javachecker.checkers.JavaTypeModelProcessor)
    • ua.gradsoft.javachecker.checkers.EqualsHashCodeChecker
    • ua.gradsoft.javachecker.checkers.NamePatternsChecker
    • ua.gradsoft.javachecker.checkers.UnusedMethodsAndFieldsChecker
  • ua.gradsoft.javachecker.models.JavaTypeModelRef
  • ua.gradsoft.javachecker.models.JavaUnitModel
    • ua.gradsoft.javachecker.models.JavaClassUnitModel
    • ua.gradsoft.javachecker.models.JavaCompilationUnitModel
  • ua.gradsoft.javachecker.models.JavaVariableModelComparator (implements java.util.Comparator<T>)
  • ua.gradsoft.javachecker.JUtils
  • ua.gradsoft.javachecker.models.LocalTypesIterable (implements java.lang.Iterable<T>)
  • ua.gradsoft.javachecker.models.LocalTypesIterable.LocalTypesIterator (implements java.util.Iterator<E>)
  • ua.gradsoft.javachecker.Main
  • ua.gradsoft.javachecker.models.MethodMatchingConversions (implements java.lang.Cloneable)
  • ua.gradsoft.javachecker.PackagesStore
  • ua.gradsoft.javachecker.util.Pair<T1,T2>
  • Task
    • ua.gradsoft.javachecker.ant.JavaCheckerTask
  • ua.gradsoft.javachecker.models.TermUtils
  • java.lang.Throwable (implements java.io.Serializable)
    • java.lang.Exception
      • ua.gradsoft.javachecker.ConfigException
      • ua.gradsoft.javachecker.EntityNotFoundException (implements ua.gradsoft.javachecker.SourceCodeLocation)
      • ua.gradsoft.javachecker.trace.EvaluationException
        • ua.gradsoft.javachecker.trace.InvokedEvaluationException
        • ua.gradsoft.javachecker.trace.NotKnowException
        • ua.gradsoft.javachecker.trace.SourceRequiredForEvaluation
      • ua.gradsoft.javachecker.InvalidCheckerCommentException
      • ua.gradsoft.javachecker.NotSupportedException
      • ua.gradsoft.javachecker.ProcessingException
      • ua.gradsoft.termware.TermWareException (implements ua.gradsoft.termware.ITermWareException)
        • ua.gradsoft.termware.exceptions.AssertException
          • ua.gradsoft.javachecker.models.InvalidAnnotationTargetElementTypeException
          • ua.gradsoft.javachecker.models.InvalidJavaTermException (implements ua.gradsoft.javachecker.SourceCodeLocation)
            • ua.gradsoft.javachecker.models.InvalidJavaExpressionModelException
    • ua.gradsoft.javachecker.trace.ImpossibleForsingOfTraceCondition
  • ua.gradsoft.javachecker.trace.TrueTraceCondition (implements ua.gradsoft.javachecker.trace.TraceCondition)
  • ua.gradsoft.javachecker.TypeOfViolation
  • ua.gradsoft.javachecker.Violations

Interface Hierarchy

• ua.gradsoft.javachecker.attributes.AttributedEntity
  • ua.gradsoft.javachecker.models.JavaClassTopLevelBlockOwnerModel
  • ua.gradsoft.javachecker.models.JavaLocalVariableModel
  • ua.gradsoft.javachecker.models.JavaTermTopLevelBlockOwnerModel
  • ua.gradsoft.javachecker.models.JavaTopLevelBlockOwnerModel
    • ua.gradsoft.javachecker.models.JavaClassTopLevelBlockOwnerModel
    • ua.gradsoft.javachecker.models.JavaTermTopLevelBlockOwnerModel
    • ua.gradsoft.javachecker.models.JavaTypeArgumentBoundTopLevelBlockOwnerModel
  • ua.gradsoft.javachecker.models.JavaTypeArgumentBoundTopLevelBlockOwnerModel
  • ua.gradsoft.javachecker.models.JavaVariableModel
    • ua.gradsoft.javachecker.models.JavaLocalVariableModel
• ua.gradsoft.javachecker.util.Function<X,Y>
• ua.gradsoft.javachecker.ITermVisitor
• ua.gradsoft.javachecker.JavaCheckerExceptionHandler
• ua.gradsoft.javachecker.models.JavaExpressionModel
  • ua.gradsoft.javachecker.models.expressions.JavaIdentifierExpressionModel
  • ua.gradsoft.javachecker.models.JavaLiteralModel
  • ua.gradsoft.javachecker.models.expressions.JavaObjectConstantExpressionModel
• ua.gradsoft.javachecker.models.JavaStatementModel
• ua.gradsoft.javachecker.models.JavaTopLevelBlockModel
• ua.gradsoft.javachecker.trace.JavaTraceObjectModel
• ua.gradsoft.javachecker.checkers.JavaTypeModelProcessor
• ua.gradsoft.javachecker.SourceCodeLocation
• ua.gradsoft.javachecker.trace.TraceCondition

Annotation Type Hierarchy

• ua.gradsoft.javachecker.annotations.Nullable (implements java.lang.annotation.Annotation)
• ua.gradsoft.javachecker.annotations.ParameterCheckerProperties (implements java.lang.annotation.Annotation)
• ua.gradsoft.javachecker.annotations.FieldCheckerProperties (implements java.lang.annotation.Annotation)
• ua.gradsoft.javachecker.annotations.TypeCheckerProperties (implements java.lang.annotation.Annotation)
• ua.gradsoft.javachecker.annotations.ConstructorCheckerProperties (implements java.lang.annotation.Annotation)
• ua.gradsoft.javachecker.annotations.MethodCheckerProperties (implements java.lang.annotation.Annotation)
• ua.gradsoft.javachecker.annotations.CheckerProperties (implements java.lang.annotation.Annotation)
• ua.gradsoft.javachecker.annotations.CheckerDisable (implements java.lang.annotation.Annotation)

Enum Hierarchy

• java.lang.Object
  • java.lang.Enum<E> (implements java.lang.Comparable<T>, java.io.Serializable)
    • ua.gradsoft.javachecker.CheckerType
    • ua.gradsoft.javachecker.ReportFormat
    • ua.gradsoft.javachecker.PartialConditionResult
    • ua.gradsoft.javachecker.models.AnalyzedUnitType
    • ua.gradsoft.javachecker.models.JavaVariableKind
    • ua.gradsoft.javachecker.models.JavaExpressionKind
    • ua.gradsoft.javachecker.models.JavaAnnotationKind
    • ua.gradsoft.javachecker.models.JavaStatementKind
    • ua.gradsoft.javachecker.models.JavaLocalVariableKind
    • ua.gradsoft.javachecker.models.JavaWildcardBoundsKind
    • ua.gradsoft.javachecker.models.JavaTopLevelBlockOwnerKind
    • ua.gradsoft.javachecker.models.expressions.JavaPostfixOperatorKind
    • ua.gradsoft.javachecker.models.expressions.JavaAssigmentOperatorKind
    • ua.gradsoft.javachecker.models.expressions.JavaUnaryOperatorKind
    • ua.gradsoft.javachecker.models.expressions.JavaMultiplicativeOperatorKind
    • ua.gradsoft.javachecker.models.expressions.JavaEqualityOperatorKind
    • ua.gradsoft.javachecker.models.expressions.JavaAdditiveOperatorKind
    • ua.gradsoft.javachecker.models.expressions.JavaRelationOperatorKind
    • ua.gradsoft.javachecker.models.expressions.JavaShiftOperatorKind
    • ua.gradsoft.javachecker.trace.JavaTraceContextFrameType
    • ua.gradsoft.javachecker.trace.TraceConditionResult