TypeMath

java.lang.Object
- bayou.jtype.TypeMath

```
public class TypeMath
extends Object
```
Containing some algorithms of Java types.

Method Summary

Static Methods
`<T1,T2> ClassType<T2>`	`doCaptureConversion(ClassType<T1> type)` Perform capture conversion.
`boolean`	`isSubType(ReferenceType<?> typeA, ReferenceType<?> typeB)` Test whether `typeA` is a subtype of `typeB`.
`ClassType<?>`	`getSuperType(ClassType<?> type, Class<?> superClass)` Get the supertype of `type` at the specified `superClass`.
`ClassType<?>`	`diamondInfer(ClassType<?> targetType, Class<?> genericClass)` Do diamond inference.

Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Method Detail

doCaptureConversion

public static <T1,T2> ClassType<T2> doCaptureConversion(ClassType<T1> type)

Perform capture conversion.

isSubType

public static boolean isSubType(ReferenceType<?> typeA,
                                ReferenceType<?> typeB)

Test whether `typeA` is a subtype of `typeB`.

getSuperType

public static ClassType<?> getSuperType(ClassType<?> type,
                                        Class<?> superClass)

Get the supertype of `type` at the specified `superClass`.

For example,

     getSuperType( ArrayList<String> , Collection.class) => Collection<String>

`type` must not contain wildcard; if necessary, caller should do wildcard capture first.

diamondInfer

public static ClassType<?> diamondInfer(ClassType<?> targetType,
                                        Class<?> genericClass)
                                 throws RuntimeException

Do diamond inference.

For example

     diamondInfer( List<? extends String> , ArrayList.class ) => ArrayList<String>

     // as how javac performs diamond inference on

     List<? extends String> list = new ArrayList<>();

Throws:: RuntimeException - if inference fails

Class TypeMath