public class FinalAnalyzer
extends java.lang.Object
Constructor and Description |
---|
FinalAnalyzer() |
Modifier and Type | Method and Description |
---|---|
private static void |
addPeerTries(java.util.Collection<Op03SimpleStatement> possibleFinally,
PeerTries peerTries) |
private static Op03SimpleStatement |
findPossibleFinallyCatch(java.util.Set<Op03SimpleStatement> possibleCatches) |
static void |
identifyFinally(Method method,
Op03SimpleStatement in,
java.util.List<Op03SimpleStatement> allStatements,
BlockIdentifierFactory blockIdentifierFactory,
java.util.Set<Op03SimpleStatement> analysedTries) |
private static boolean |
identifyFinally2(Op03SimpleStatement in,
PeerTries peerTries,
FinallyGraphHelper finallyGraphHelper,
java.util.Set<Result> results) |
private static boolean |
verifyCatchFinally(Op03SimpleStatement in,
FinallyGraphHelper finallyGraphHelper,
PeerTries peerTries,
java.util.Set<Result> results) |
public static void identifyFinally(Method method, Op03SimpleStatement in, java.util.List<Op03SimpleStatement> allStatements, BlockIdentifierFactory blockIdentifierFactory, java.util.Set<Op03SimpleStatement> analysedTries)
private static boolean identifyFinally2(Op03SimpleStatement in, PeerTries peerTries, FinallyGraphHelper finallyGraphHelper, java.util.Set<Result> results)
private static void addPeerTries(java.util.Collection<Op03SimpleStatement> possibleFinally, PeerTries peerTries)
private static boolean verifyCatchFinally(Op03SimpleStatement in, FinallyGraphHelper finallyGraphHelper, PeerTries peerTries, java.util.Set<Result> results)
private static Op03SimpleStatement findPossibleFinallyCatch(java.util.Set<Op03SimpleStatement> possibleCatches)