Package org.openrewrite.java.internal

Class DefaultJavaTypeFactory

java.lang.Object

org.openrewrite.java.internal.DefaultJavaTypeFactory

All Implemented Interfaces:

JavaTypeFactory

public class DefaultJavaTypeFactory
extends Object
implements JavaTypeFactory

Default implementation of JavaTypeFactory: each method looks up by key in a single JavaTypeCache. On hit, the cached instance is returned. On miss, the compute* family constructs a stub, registers it, then runs the initializer; the *For family invokes the supplier atomically and caches the result.

Constructor Summary

Constructors

Constructor	Description
DefaultJavaTypeFactory(JavaTypeCache cache)

Method Summary

Modifier and Type	Method	Description
JavaType.Array	arrayFor(String signature, Supplier<JavaType.Array> builder)	Atomic build for JavaType.Array.
JavaType.Class	computeClass(String fqn, long flags, JavaType.FullyQualified.Kind kind, Consumer<JavaType.Class> initializer)	Cache-or-build for a fully-attributed JavaType.Class.
JavaType.GenericTypeVariable	computeGenericTypeVariable(String signature, String name, JavaType.GenericTypeVariable.Variance variance, Consumer<JavaType.GenericTypeVariable> initializer)	Cache-or-build for JavaType.GenericTypeVariable.
JavaType.Parameterized	computeParameterized(String signature, Consumer<JavaType.Parameterized> initializer)	Cache-or-build for JavaType.Parameterized.
JavaType.Intersection	intersectionFor(String signature, Supplier<JavaType.Intersection> builder)	Atomic build for JavaType.Intersection.
protected <T> @Nullable T	lookup(String key)	Protected lookup hook for subclasses that need to read the cache before routing to the chain (e.g., the partition-backed factory's chain hit pre-registration).
JavaType.Method	methodFor(String signature, Supplier<JavaType.Method> stub, Consumer<JavaType.Method> initializer)	Build for JavaType.Method with cycle-breaking on the same key.
protected void	register(String key, Object type)	Protected write hook for subclasses that pre-register chain instances into the signature-keyed cache so subsequent *For calls return canonical instances.
JavaType.Variable	variableFor(String signature, Supplier<JavaType.Variable> builder)	Atomic build for JavaType.Variable.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details

DefaultJavaTypeFactory

public DefaultJavaTypeFactory(JavaTypeCache cache)

Method Details

lookup

protected <T> @Nullable T lookup(String key)

Protected lookup hook for subclasses that need to read the cache before routing to the chain (e.g., the partition-backed factory's chain hit pre-registration).

register

protected void register(String key,
 Object type)

Protected write hook for subclasses that pre-register chain instances into the signature-keyed cache so subsequent *For calls return canonical instances.

computeClass

public JavaType.Class computeClass(String fqn,
 long flags,
 JavaType.FullyQualified.Kind kind,
 Consumer<JavaType.Class> initializer)

Description copied from interface: JavaTypeFactory

Cache-or-build for a fully-attributed JavaType.Class.

If a Class is already cached for fqn, the cached instance is returned and initializer does not run. Otherwise a stub is constructed with flags and kind populated, registered in the cache, and the initializer runs to populate the remaining fields (typically via JavaType.Class.unsafeSet(java.util.List<org.openrewrite.java.tree.JavaType>, org.openrewrite.java.tree.JavaType.FullyQualified, org.openrewrite.java.tree.JavaType.FullyQualified, java.util.List<org.openrewrite.java.tree.JavaType.FullyQualified>, java.util.List<org.openrewrite.java.tree.JavaType.FullyQualified>, java.util.List<org.openrewrite.java.tree.JavaType.Variable>, java.util.List<org.openrewrite.java.tree.JavaType.Method>)).

Specified by:

computeClass in interface JavaTypeFactory

Parameters:

fqn - the fully-qualified name of the class, in the form JavaType.FullyQualified.getFullyQualifiedName() returns.

computeParameterized

public JavaType.Parameterized computeParameterized(String signature,
 Consumer<JavaType.Parameterized> initializer)

Description copied from interface: JavaTypeFactory

Cache-or-build for JavaType.Parameterized. The initializer's recursive type(...) calls on type arguments can re-encounter the same signature (e.g. F-bounded polymorphism, Kotlin parameterized self-refs). The pre-registered stub lets those recursive lookups observe a usable partially-populated instance rather than re-entering the builder and looping. The initializer typically seeds the stub with its raw class via JavaType.Parameterized.unsafeSet(org.openrewrite.java.tree.JavaType.FullyQualified, java.util.List<org.openrewrite.java.tree.JavaType>) before resolving type arguments.

Specified by:

computeParameterized in interface JavaTypeFactory

Parameters:

signature - an opaque per-factory key from JavaTypeSignatureBuilder.parameterizedSignature(java.lang.Object) — canonical shape java.util.List<java.util.List<Integer>>.

computeGenericTypeVariable

public JavaType.GenericTypeVariable computeGenericTypeVariable(String signature,
 String name,
 JavaType.GenericTypeVariable.Variance variance,
 Consumer<JavaType.GenericTypeVariable> initializer)

Description copied from interface: JavaTypeFactory

Cache-or-build for JavaType.GenericTypeVariable. Type variable bounds can reference the variable itself — e.g. <T extends Comparable<T>> where T's upper bound is a JavaType.Parameterized that references T itself. Pre-registering the stub before the initializer runs makes the recursive lookup find the stub instead of looping.

Specified by:

computeGenericTypeVariable in interface JavaTypeFactory

Parameters:

signature - an opaque per-factory key from JavaTypeSignatureBuilder.genericSignature(java.lang.Object) — canonical shape Generic{U extends java.lang.Comparable} (covariant) or Generic{U super java.lang.Comparable} (contravariant).

methodFor

public JavaType.Method methodFor(String signature,
 Supplier<JavaType.Method> stub,
 Consumer<JavaType.Method> initializer)

Description copied from interface: JavaTypeFactory

Build for JavaType.Method with cycle-breaking on the same key. Unlike JavaTypeFactory.variableFor(java.lang.String, java.util.function.Supplier<org.openrewrite.java.tree.JavaType.Variable>)/JavaTypeFactory.arrayFor(java.lang.String, java.util.function.Supplier<org.openrewrite.java.tree.JavaType.Array>)/JavaTypeFactory.intersectionFor(java.lang.String, java.util.function.Supplier<org.openrewrite.java.tree.JavaType.Intersection>), a method's attribution can recurse back to its own signature: an annotation-element method whose own annotations reference an annotation whose element is that same method (the Spring @AliasFor shape — value() is annotated @AliasFor, and @AliasFor's element is value()). So this mirrors JavaTypeFactory.computeClass(java.lang.String, long, org.openrewrite.java.tree.JavaType.FullyQualified.Kind, java.util.function.Consumer<org.openrewrite.java.tree.JavaType.Class>): stub constructs the bare instance from non-recursive header fields, which is cached before initializer runs the (possibly self-referential) attribution onto that same instance. A re-entrant lookup on the same signature then hits the cached stub instead of recursing — the signature and cache are the cycle-breaker, the same way they are for JavaTypeFactory.computeClass(java.lang.String, long, org.openrewrite.java.tree.JavaType.FullyQualified.Kind, java.util.function.Consumer<org.openrewrite.java.tree.JavaType.Class>).

Specified by:

methodFor in interface JavaTypeFactory

Parameters:

signature - an opaque per-factory key from a JavaTypeSignatureBuilder — canonical shape com.MyThing{name=add,return=void,parameters=[Integer]}.

stub - constructs the bare method from non-recursive header fields (name, flags, parameter names, default value, declared formal type names); must not resolve any type that could recurse to this signature.

initializer - populates the cached stub's recursive attribution (declaring type, return type, parameter types, thrown exceptions, annotations) via unsafeSet.

variableFor

public JavaType.Variable variableFor(String signature,
 Supplier<JavaType.Variable> builder)

Description copied from interface: JavaTypeFactory

Atomic build for JavaType.Variable.

Specified by:

variableFor in interface JavaTypeFactory

Parameters:

signature - an opaque per-factory key from a JavaTypeSignatureBuilder — canonical shape com.MyThing{name=MY_FIELD}.

arrayFor

public JavaType.Array arrayFor(String signature,
 Supplier<JavaType.Array> builder)

Description copied from interface: JavaTypeFactory

Atomic build for JavaType.Array.

Specified by:

arrayFor in interface JavaTypeFactory

Parameters:

signature - an opaque per-factory key from JavaTypeSignatureBuilder.arraySignature(java.lang.Object) — canonical shape Integer[].

intersectionFor

public JavaType.Intersection intersectionFor(String signature,
 Supplier<JavaType.Intersection> builder)

Description copied from interface: JavaTypeFactory

Atomic build for JavaType.Intersection.

Specified by:

intersectionFor in interface JavaTypeFactory

Parameters:

signature - an opaque per-factory key from a JavaTypeSignatureBuilder built from the intersection's component bounds.