Package sootup.interceptors.typeresolving

Class PrimitiveHierarchy

java.lang.Object

sootup.interceptors.typeresolving.PrimitiveHierarchy

public class PrimitiveHierarchy
extends Object

Author:

Zun Wang

Constructor Summary

Constructors

Constructor	Description
PrimitiveHierarchy()

Method Summary

Modifier and Type	Method	Description
static boolean	arePrimitives(@NonNull Type a, @NonNull Type b)	Check whether the two given types are primitives or BottomType
static @NonNull Collection<Type>	getLeastCommonAncestor(@NonNull Type a, @NonNull Type b)	Calculate the least common ancestor of two types(primitive or BottomType).
static boolean	isAncestor(@NonNull Type ancestor, @NonNull Type child)	Check the ancestor-relationship between two primitive types ancestor and child, namely, whether child can be assigned to ancestor directly to obtain: ancestor = child.

Methods inherited from class java.lang.Object

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

Constructor Details

PrimitiveHierarchy

public PrimitiveHierarchy()

Method Details

getLeastCommonAncestor

public static @NonNull Collection<Type> getLeastCommonAncestor(@NonNull Type a,
 @NonNull Type b)

Calculate the least common ancestor of two types(primitive or BottomType). If there's a = b then a is the least common ancestor of a and b; If there's b = a then b is the least common ancestor of a and b; If there are c = a and c = b, but there's no b = a or a = b then c is the least common ancestor of a and b;

isAncestor

public static boolean isAncestor(@NonNull Type ancestor,
 @NonNull Type child)

Check the ancestor-relationship between two primitive types ancestor and child, namely, whether child can be assigned to ancestor directly to obtain: ancestor = child.

arePrimitives

public static boolean arePrimitives(@NonNull Type a,
 @NonNull Type b)

Check whether the two given types are primitives or BottomType