public class RemoveDeterministicJumps
extends java.lang.Object
Constructor and Description |
---|
RemoveDeterministicJumps() |
Modifier and Type | Method and Description |
---|---|
static java.util.List<Op03SimpleStatement> |
apply(Method method,
java.util.List<Op03SimpleStatement> statements) |
private static boolean |
propagateLiteralReturn(Method method,
Op03SimpleStatement original,
java.util.Map<LValue,Literal> display) |
private static boolean |
propagateLiteralReturn(Method method,
Op03SimpleStatement original,
Op03SimpleStatement orignext,
LValue originalLValue,
Expression originalRValue,
java.util.Map<LValue,Literal> display) |
static void |
propagateToReturn(Method method,
java.util.List<Op03SimpleStatement> statements) |
private static void |
replace(Op03SimpleStatement source,
boolean isIf,
ReturnStatement returnNothingStatement) |
private static void |
replaceAssignmentReturn(Op03SimpleStatement assignment,
ReturnStatement returnStatement) |
private static void |
replaceConditionalReturn(Op03SimpleStatement conditional,
ReturnStatement returnStatement) |
public static java.util.List<Op03SimpleStatement> apply(Method method, java.util.List<Op03SimpleStatement> statements)
private static boolean propagateLiteralReturn(Method method, Op03SimpleStatement original, java.util.Map<LValue,Literal> display)
private static void replaceConditionalReturn(Op03SimpleStatement conditional, ReturnStatement returnStatement)
private static void replaceAssignmentReturn(Op03SimpleStatement assignment, ReturnStatement returnStatement)
private static void replace(Op03SimpleStatement source, boolean isIf, ReturnStatement returnNothingStatement)
private static boolean propagateLiteralReturn(Method method, Op03SimpleStatement original, Op03SimpleStatement orignext, LValue originalLValue, Expression originalRValue, java.util.Map<LValue,Literal> display)
public static void propagateToReturn(Method method, java.util.List<Op03SimpleStatement> statements)