Package dev.archunitjava.model
package dev.archunitjava.model
-
ClassDescriptionExact owner and sub-location of an annotation occurrence.Distinct declaration and type-use locations for imported annotations.Class-file visibility channel, independent from runtime reflection.Honest tri-state result for hierarchy evidence.Exact bytecode evidence location with optional, non-fabricated debug metadata.Lossless JVM class-file version tuple.Safe class-resource provenance that never contains a machine-specific absolute path.Presentation-only compiler-artifact filters.Builds presentation views without deleting bytecode evidence from hidden compiler artifacts.Compiler-artifact flags inherited by bytecode evidence from its declaring type and member.Source- or bytecode-oriented presentation with complete dependency evidence kept separately.One type dependency with every duplicate-free declaration source that supports it.Whether a dependency comes from erased, generic-only, annotation, or relationship evidence.Extracts declaration-only type dependencies without loading target classes.Exact declaration that owns dependency evidence.Declaration extraction output plus explicit normalization accounting.One exact class-file value and owning declaration that produced a dependency.Resource and optional source-file location for a type or declared member.Caller-supplied hierarchy facts for a type that was not imported.Conservative generated-code decision with reviewable supporting signals.Opt-in classifier that deliberately cannot classify from a lone annotation.Immutable opt-in settings for conservative generated-code classification.Independent evidence groups used by the opt-in generated-code classifier.Parsed generic signature of a class or interface.Erased class hierarchy plus independently parsed optional generic evidence.Erased field type plus independently parsed optional generic evidence.Parsed generic signature of a method or constructor.Erased method type plus independently parsed optional generic evidence.Non-fatal malformed generic metadata retained alongside its erased fallback.Strict, bounded parser for JVMS class, method, and field generic signatures.A type expressed by a JVM generic signature, independent of its erased descriptor.A possibly parameterized class.One exact or wildcard generic class type argument.A declared generic type parameter, including its class and interface bounds.Bounded transitive hierarchy result with explicit gaps and cycle evidence.One direct, typed hierarchy relationship.Direct JVM hierarchy relationship without conflating interface roles.Reports a deterministic location and reason for malformed JVM generic metadata.A local descriptor parse failure with the exact failing offset.Annotation type and explicitly encoded values; defaults are kept on annotation methods.One explicitly stored annotation element.One annotation and its exact visibility and class-file site.Lossless annotation value vocabulary independent from the JDK parser API.Ordered generic bootstrap argument with optional structured direct-handle data.One field or method bytecode access with exact caller, opcode, and location.Exact JVM opcode; no runtime dispatch target is inferred from it.Unresolved constant-pool member target.Typed, unresolved evidence for a relevant constant-pool entry.Exact member and bytecode location that loaded a class literal.Bounded typed constant-pool evidence for one imported type.One unresolved invokedynamic call site with narrowly classified bootstrap evidence.An unresolved dynamic constant with bounded bootstrap provenance.Exact EnclosingMethod evidence; the method is absent when the attribute names only a class.One exception declaration or bytecode fact, without inferred runtime types.One library-owned InnerClasses entry; it is evidence, not inferred source nesting.Immutable declared field, method, constructor, or static initializer.The JVM declaration role of a field or code unit.JVM member modifiers, including compiler-oriented flags relevant to architecture analysis.Stable owner/name/descriptor identity for an overloaded JVM member.Unresolved direct method-handle constant used as bootstrap or implementation evidence.Source-relevant modifiers represented by the initial type model.Immutable module identity and its explicit, unresolved JPMS directives.JPMS identity that never conflates explicit, automatic, and unnamed modules.One unresolved exports or opens directive, qualified when targets are present.One unresolved service-provider declaration.One unresolved JPMS requires directive with its exact modifier mask.Lexical and JVM nestmate evidence kept as separate, immutable concepts.Aggregated Java package with metadata carriers separated from ordinary types.Deterministic package aggregation over an imported type collection.A named Java package or the distinct unnamed package.Safe identity of one classpath input contributing to a package.One descriptor parameter with optional MethodParameters name and exact flags.JVM MethodParameters flags, including compiler-created parameter evidence.Immutable record component, distinct from its generated field and accessor.Immutable top-level Java type description backed only by library-owned values.The declaration kind of an imported top-level Java type.Canonical binary name plus honest top-level source-name derivations.Lossless type-annotation target tag, payload, and ordered path.Canonical multidimensional JVM array with a non-array, non-void element type.Strict, stateless field and method descriptor parser.Ordered JVM method parameters and return type.The eight non-void primitive JVM types.A reference type identified canonically by its Java binary name.Lossless library-owned representation of a JVM field or return type.The JVM void return type, which is not legal as a field or parameter type.One exact line-number-table transition.Immutable deterministic line table preserving repeated lines and offsets.Resolves meta-annotations from imported values without loading annotation classes.Bounded meta-annotation traversal with explicit gaps, depth limits, and cycles.One bounded inconsistency or gap in declared sealed-hierarchy evidence.Declared and observed evidence for one possibly sealed type.A sanitized source-file label, never an absolute or parent-relative path.Immutable hierarchy resolver that never loads classes and never guesses across gaps.Converts backend-neutral class headers into immutable Java type descriptions.Structured type-model adaptation diagnostic.Machine-readable failures while adapting parsed class headers into Java types.Immutable type-model output, retaining reader and adaptation diagnostics separately.Package ownership for a top-level type; an empty name denotes the unnamed package.Selects which class-file evidence contributes referenced types to a later rule.