Merge pull request #1089 from soot-oss/th_lca

move lowest common ancestor of two ClassTypes into TypeHierarchy
soot-oss · Oct 1, 2024 · c89d53f · c89d53f
2 parents 9369a01 + e5a70a3
commit c89d53f
Show file tree

Hide file tree

Showing 6 changed files with 195 additions and 207 deletions.
diff --git a/sootup.core/src/main/java/sootup/core/typehierarchy/TypeHierarchy.java b/sootup.core/src/main/java/sootup/core/typehierarchy/TypeHierarchy.java
@@ -22,6 +22,7 @@
  */
 
 import java.util.ArrayList;
+import java.util.Collection;
 import java.util.List;
 import java.util.Optional;
 import java.util.stream.Stream;
@@ -203,4 +204,6 @@ default Stream<ClassType> superClassesOf(@Nonnull ClassType classType) {
   // checks if a Type is contained int the TypeHierarchy - should return the equivalent to
   // View.getClass(...).isPresent()
   boolean contains(ClassType type);
+
+  Collection<ClassType> getLowestCommonAncestors(ClassType a, ClassType b);
 }