public final class ClassHierarchy extends Object
Modifier and Type | Field and Description |
---|---|
static int |
MAYBE
Equals Constants.MAYBE
|
static int |
NO
Equals Constants.NO
|
static int |
YES
Equals Constants.YES
|
Modifier and Type | Method and Description |
---|---|
static String |
findCommonSupertype(ClassHierarchyProvider hierarchy,
String t1,
String t2)
Compute the most specific common supertype.
|
static int |
isSubtypeOf(ClassHierarchyProvider hierarchy,
String t1,
String t2)
Perform subtype check.
|
public static final int NO
public static final int YES
public static final int MAYBE
public static int isSubtypeOf(ClassHierarchyProvider hierarchy, String t1, String t2)
hierarchy
- the hierarchy information to use for the decisiont1
- a type in JVM formatt2
- a type in JVM formatpublic static String findCommonSupertype(ClassHierarchyProvider hierarchy, String t1, String t2)
hierarchy
- the hierarchy information to use for the decisiont1
- a type in JVM formatt2
- a type in JVM format