Package spoon.support.visitor

Class MethodTypingContext

java.lang.Object

spoon.support.visitor.MethodTypingContext

All Implemented Interfaces:

GenericTypeAdapter

public class MethodTypingContext
extends Object

For the scope method or constructor and super type hierarchy of it's declaring type, it is able to adapt type parameters. https://docs.oracle.com/javase/specs/jls/se8/html/jls-8.html#jls-8.4.4 Where two methods or constructors M and N have the same type parameters hasSameMethodFormalTypeParameters(CtFormalTypeDeclarer), a type mentioned in N can be adapted to the type parameters of M

Constructor Summary

Constructors

Constructor	Description
MethodTypingContext()

Method Summary

Modifier and Type	Method	Description
CtTypeReference<?>	adaptType(CtTypeInformation type)	adapts `type` to the CtTypeReference of the scope of this GenericTypeAdapter This mapping function is able to resolve CtTypeParameter of: A) input type or any super class or any enclosing class of input type or it's super class B) super interfaces of input type or super interfaces of it's super classes. The type reference is adapted recursive including all it's actual type arguments and bounds.
protected @Nullable CtTypeReference<?>	adaptTypeParameter(CtTypeParameter typeParam)	Adapts `typeParam` to the CtTypeReference of scope of this MethodTypingContext In can be CtTypeParameterReference again - depending actual type arguments of this MethodTypingContext.
CtFormalTypeDeclarer	getAdaptationScope()
ClassTypingContext	getEnclosingGenericTypeAdapter()
boolean	hasSameMethodFormalTypeParameters(CtFormalTypeDeclarer typeParamDeclarer)	https://docs.oracle.com/javase/specs/jls/se8/html/jls-8.html#jls-8.4.4 Formal type parameters of method are same if 1) both methods have same number of formal type parameters 2) bounds of Formal type parameters are after adapting same types
MethodTypingContext	setClassTypingContext(ClassTypingContext classTypingContext)
MethodTypingContext	setConstructor(CtConstructor<?> constructor)
MethodTypingContext	setExecutableReference(CtExecutableReference<?> execRef)
MethodTypingContext	setInvocation(CtInvocation<?> invocation)
MethodTypingContext	setMethod(CtMethod<?> method)

Methods inherited from class java.lang.Object

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

Constructor Details

MethodTypingContext

public MethodTypingContext()

Method Details

getAdaptationScope

public CtFormalTypeDeclarer getAdaptationScope()

Returns:

the scope of this type adapter

setMethod

public MethodTypingContext setMethod(CtMethod<?> method)

setConstructor

public MethodTypingContext setConstructor(CtConstructor<?> constructor)

getEnclosingGenericTypeAdapter

public ClassTypingContext getEnclosingGenericTypeAdapter()

Returns:

the GenericTypeAdapter, which adapts generic types of enclosing type

setClassTypingContext

public MethodTypingContext setClassTypingContext(ClassTypingContext classTypingContext)

setInvocation

public MethodTypingContext setInvocation(CtInvocation<?> invocation)

setExecutableReference

public MethodTypingContext setExecutableReference(CtExecutableReference<?> execRef)

adaptTypeParameter

protected @Nullable CtTypeReference<?> adaptTypeParameter(CtTypeParameter typeParam)

Adapts `typeParam` to the CtTypeReference of scope of this MethodTypingContext In can be CtTypeParameterReference again - depending actual type arguments of this MethodTypingContext.

Parameters:

typeParam - to be resolved CtTypeParameter

Returns:

CtTypeReference or CtTypeParameterReference adapted to scope of this MethodTypingContext or null if `typeParam` cannot be adapted to target `scope`

hasSameMethodFormalTypeParameters

public boolean hasSameMethodFormalTypeParameters(CtFormalTypeDeclarer typeParamDeclarer)

https://docs.oracle.com/javase/specs/jls/se8/html/jls-8.html#jls-8.4.4 Formal type parameters of method are same if 1) both methods have same number of formal type parameters 2) bounds of Formal type parameters are after adapting same types

Returns:

true if formal type parameters of method are same

adaptType

public CtTypeReference<?> adaptType(CtTypeInformation type)

Description copied from interface: GenericTypeAdapter

adapts `type` to the CtTypeReference of the scope of this GenericTypeAdapter This mapping function is able to resolve CtTypeParameter of:
A) input type or any super class or any enclosing class of input type or it's super class
B) super interfaces of input type or super interfaces of it's super classes.
The type reference is adapted recursive including all it's actual type arguments and bounds.

Specified by:

adaptType in interface GenericTypeAdapter

Parameters:

type - to be adapted type

Returns:

CtTypeReference adapted to scope of this ClassTypingContext or null if type cannot be adapted to this `scope`.