1. org
   1. org.veripacks
      1. (case class)AccessDefinitionError
      2. (case class)AccessDefinitions
      3. (object)
         AllUnknownPkgFilter
      4. (case class)ClassAccessDefinitions
      5. (object)(case class)ClassName
      6. (case class)ClassSignatureUsageDetail
      7. (case class)ClassUsage
      8. (trait)ClassUsageDetail
      9. (class)CompoundPkgFilter
      10. (trait)CustomAccessDefinitionsReader
      11. (case class)DefaultPkg
      12. (case class)ExcludePkgFilter
      13. (object)
          ExportAllClassesDef
      14. (object)
          ExportAllPkgsDef
      15. (trait)ExportClassesDef
      16. (object)
          ExportClassesUndefinedDef
      17. (object)(case class)ExportDef
      18. (trait)ExportPkgsDef
      19. (object)
          ExportPkgsUndefinedDef
      20. (case class)ExportSpecificClassesDef
      21. (case class)ExportSpecificPkgsDef
      22. (case class)FieldUsageDetail
      23. (case class)ImportDef
      24. (case class)IncludePkgFilter
      25. (case class)MethodBodyUsageDetail
      26. (case class)MethodSignatureUsageDetail
      27. (case class)MultipleUsageDetail
      28. (object)
          NoOpCustomAccessDefinitionsReader
      29. (class)PackagePrefixesPkgFilter
      30. (object)(trait)Pkg
      31. (object)(trait)PkgFilter
      32. (object)
          RootPkg
      33. (class)VerificationException
      34. (trait)VerifyResult
      35. (case class)VerifyResultAccessDefinitionError
      36. (case class)VerifyResultBrokenConstraints
      37. (object)
          VerifyResultOk
      38. (class)Veripacks
      39. (object)(trait)VeripacksBuilder
      1. org.veripacks.reader
         1. (class)ClassNamesLister
         2. (object)
            ClassReaderProducer
         3. (case class)Metadata
         4. (class)MetadataReader
         1. org.veripacks.reader.accessdefinitions
            1. (class)AccessDefinitionsAccumulator
            2. (class)AnnotationArrayValuesVisitor
            3. (class)AnnotationValuesVisitor
            4. (object)(class)ClassAccessDefinitionsReader
            5. (class)ClassAnnotationsVisitor
         2. org.veripacks.reader.dependencies
            1. (class)ClassDependenciesReader
            2. (class)DependencyVisitor
            3. (class)SourceFileNameVisitor
      2. org.veripacks.verifier
         1. (class)ClassUsageVerifier
         2. (object)(trait)ClassUsageVerifierResult
         3. (class)Verifier