Loading sdg-cli/pom.xml +1 −1 Original line number Diff line number Diff line Loading @@ -27,7 +27,7 @@ <dependency> <groupId>tfm</groupId> <artifactId>sdg-core</artifactId> <version>1.2.2</version> <version>1.2.3</version> </dependency> </dependencies> </project> sdg-core/pom.xml +1 −1 Original line number Diff line number Diff line Loading @@ -6,7 +6,7 @@ <groupId>tfm</groupId> <artifactId>sdg-core</artifactId> <version>1.2.2</version> <version>1.2.3</version> <properties> <maven.compiler.source>11</maven.compiler.source> Loading sdg-core/src/main/java/tfm/slicing/SlicePruneVisitor.java +6 −2 Original line number Diff line number Diff line Loading @@ -180,11 +180,15 @@ public class SlicePruneVisitor extends ModifierVisitor<Set<Node>> { @Override public Visitable visit(TryStmt n, Set<Node> arg) { return arg.contains(n) ? n : null; boolean keep = arg.contains(n); super.visit(n, arg); return keep ? n : null; } @Override public Visitable visit(CatchClause n, Set<Node> arg) { return arg.contains(n) ? n : null; boolean keep = arg.contains(n); super.visit(n, arg); return keep ? n : null; } } Loading
sdg-cli/pom.xml +1 −1 Original line number Diff line number Diff line Loading @@ -27,7 +27,7 @@ <dependency> <groupId>tfm</groupId> <artifactId>sdg-core</artifactId> <version>1.2.2</version> <version>1.2.3</version> </dependency> </dependencies> </project>
sdg-core/pom.xml +1 −1 Original line number Diff line number Diff line Loading @@ -6,7 +6,7 @@ <groupId>tfm</groupId> <artifactId>sdg-core</artifactId> <version>1.2.2</version> <version>1.2.3</version> <properties> <maven.compiler.source>11</maven.compiler.source> Loading
sdg-core/src/main/java/tfm/slicing/SlicePruneVisitor.java +6 −2 Original line number Diff line number Diff line Loading @@ -180,11 +180,15 @@ public class SlicePruneVisitor extends ModifierVisitor<Set<Node>> { @Override public Visitable visit(TryStmt n, Set<Node> arg) { return arg.contains(n) ? n : null; boolean keep = arg.contains(n); super.visit(n, arg); return keep ? n : null; } @Override public Visitable visit(CatchClause n, Set<Node> arg) { return arg.contains(n) ? n : null; boolean keep = arg.contains(n); super.visit(n, arg); return keep ? n : null; } }