From 86bf0208b621d1c2107e33e6fd79ac0ac4862e62 Mon Sep 17 00:00:00 2001 From: zunhoho Date: Tue, 14 Jan 2025 17:16:32 +0100 Subject: [PATCH] fix merge error --- .../main/java/sootup/core/graph/MutableBlockStmtGraph.java | 7 +++++++ 1 file changed, 7 insertions(+) diff --git a/sootup.core/src/main/java/sootup/core/graph/MutableBlockStmtGraph.java b/sootup.core/src/main/java/sootup/core/graph/MutableBlockStmtGraph.java index fc45710e7b..68cd9b28b3 100644 --- a/sootup.core/src/main/java/sootup/core/graph/MutableBlockStmtGraph.java +++ b/sootup.core/src/main/java/sootup/core/graph/MutableBlockStmtGraph.java @@ -24,6 +24,7 @@ import com.google.common.collect.Lists; import java.util.*; +import java.util.stream.Collectors; import javax.annotation.Nonnull; import javax.annotation.Nullable; import org.apache.commons.lang3.tuple.MutablePair; @@ -1516,6 +1517,12 @@ public BasicBlock getStartingStmtBlock() { return getBlockOf(startingStmt); } + @Override + @Nonnull + public List> getTailStmtBlocks() { + return getTails().stream().map(stmt -> getBlockOf(stmt)).collect(Collectors.toList()); + } + @Override @Nullable public BasicBlock getBlockOf(@Nonnull Stmt stmt) {