ru.vyarus.java.generics.resolver.util

Class GenericInfoUtils

java.lang.Object

ru.vyarus.java.generics.resolver.util.GenericInfoUtils

public final class GenericInfoUtils
extends java.lang.Object

Generic info creation logic. There are three major cases:

• Class hierarchy resolution (possible root generics unknown) - default case
• Class hierarchy resolution from type declaration inside resolved class (possible root generics are known) - for deep analysis
• Class hierarchy resolution when generics of some sub type are known (root generics could be partially restored by tracking definition from known middle) - very rare case when object instance being analyzed and so actual instance data could be used to help analysis

Since:

15.12.2014

Method Summary

Modifier and Type	Method and Description
static GenericsInfo	create(java.lang.Class<?> type, java.lang.Class<?>... ignoreClasses) Root class analysis.
static GenericsInfo	create(GenericsContext context, java.lang.reflect.Type type, java.lang.Class<?>... ignoreClasses) Type analysis in context of analyzed type.
static GenericsInfo	create(GenericsContext context, java.lang.reflect.Type type, java.lang.Class<?> asType, java.lang.Class<?>... ignoreClasses) Type analysis in context of analyzed type with child class as target type.

Methods inherited from class java.lang.Object

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

Method Detail

create

public static GenericsInfo create(java.lang.Class<?> type,
                                  java.lang.Class<?>... ignoreClasses)

Root class analysis. If root class has generics - they will be resolved as lower known bound.

The result must be cached.

Parameters:

type - class to analyze

ignoreClasses - exclude classes from hierarchy analysis

Returns:

analyzed type generics info

create

public static GenericsInfo create(GenericsContext context,
                                  java.lang.reflect.Type type,
                                  java.lang.Class<?>... ignoreClasses)

Type analysis in context of analyzed type. For example, resolution of field type class in context of analyzed class (so we can correctly resolve it's generics).In essence, the only difference with usual type resolution is known root generics.

The result is not intended to be cached as it's context-sensitive.

Parameters:

context - generics context of containing class

type - type to analyze (important: this must be generified type and not raw class in order to properly resolve generics)

ignoreClasses - classes to exclude from hierarchy analysis

Returns:

analyzed type generics info

create

public static GenericsInfo create(GenericsContext context,
                                  java.lang.reflect.Type type,
                                  java.lang.Class<?> asType,
                                  java.lang.Class<?>... ignoreClasses)

Type analysis in context of analyzed type with child class as target type. Case: we have interface (or base type) with generic in class (as field or return type), but we need to analyze actual instance type (from value). This method will analyze type from new root (where generics are unknown), but will add known middle generics.

NOTE: some of the root generics could possibly be resolved if there are any traceable connectivity between the root class and known middle generics. All possible (known) cases should be solved. For example, Root<K> extends Target<List<K>> when we know Target<Collection<String>> then K will be tracked as String.

In essence: root generics are partially resolved by tracking definition from known middle class. Other root generics resolved as upper bound (the same as in usual type resolution case). If middle type generic is not specified (and so resolved as Object) then known specific type used (assuming root type would be used in place with known parametrization and so more specifi generic may be counted).

The result is not intended to be cached as it's context-sensitive.

Parameters:

context - generics context of containing class

type - type to analyze (important: this must be generified type and not raw class in order to properly resolve generics)

asType - target child type (this class contain original type in hierarchy)

ignoreClasses - classes to exclude from hierarchy analysis

Returns:

analyzed type generics info