public class FinallyGraphHelper
extends java.lang.Object
Modifier and Type | Class and Description |
---|---|
private class |
FinallyGraphHelper.FinallyEquivalenceConstraint |
Modifier and Type | Field and Description |
---|---|
private FinallyCatchBody |
finallyCatchBody |
Constructor and Description |
---|
FinallyGraphHelper(FinallyCatchBody finallyCatchBody) |
Modifier and Type | Method and Description |
---|---|
private java.util.List<Op03SimpleStatement> |
filterFalseNegatives(java.util.List<Op03SimpleStatement> in,
java.util.Set<Op03SimpleStatement> toRemove) |
FinallyCatchBody |
getFinallyCatchBody() |
Result |
match(Op03SimpleStatement test) |
private boolean |
treatAsJava13Finally(Op03SimpleStatement b,
Statement sb) |
private final FinallyCatchBody finallyCatchBody
public FinallyGraphHelper(FinallyCatchBody finallyCatchBody)
public FinallyCatchBody getFinallyCatchBody()
private java.util.List<Op03SimpleStatement> filterFalseNegatives(java.util.List<Op03SimpleStatement> in, java.util.Set<Op03SimpleStatement> toRemove)
public Result match(Op03SimpleStatement test)
private boolean treatAsJava13Finally(Op03SimpleStatement b, Statement sb)