com.strobel.decompiler.ast

Class PatternMatching

java.lang.Object

com.strobel.decompiler.ast.PatternMatching

public final class PatternMatching
extends java.lang.Object

Method Summary

Methods

Modifier and Type	Method and Description
static boolean	match(Node node, AstCode code)
static boolean	matchAssignment(Node node, com.strobel.core.StrongBox<Expression> assignedValue)
static boolean	matchAssignment(Node node, com.strobel.core.StrongBox<Expression> assignedValue, com.strobel.core.StrongBox<Expression> equivalentLoad)
static boolean	matchAssignmentAndConditionalBreak(BasicBlock block, com.strobel.core.StrongBox<Expression> assignedValue, com.strobel.core.StrongBox<Expression> condition, com.strobel.core.StrongBox<Label> trueLabel, com.strobel.core.StrongBox<Label> falseLabel, com.strobel.core.StrongBox<Expression> equivalentLoad)
static boolean	matchBooleanComparison(Node node, com.strobel.core.StrongBox<Expression> argument, com.strobel.core.StrongBox<java.lang.Boolean> comparand)
static java.lang.Boolean	matchBooleanConstant(Node node)
static boolean	matchBooleanConstant(Node node, com.strobel.core.StrongBox<java.lang.Boolean> value)
static java.lang.Character	matchCharacterConstant(Node node)
static boolean	matchCharacterConstant(Node node, com.strobel.core.StrongBox<java.lang.Character> value)
static boolean	matchComparison(Node node, com.strobel.core.StrongBox<Expression> left, com.strobel.core.StrongBox<Expression> right)
static boolean	matchEmptyReturn(Node node)
static java.lang.Boolean	matchFalse(Node node)
static <T> boolean	matchGetArgument(Node node, AstCode code, com.strobel.core.StrongBox<? super T> operand, com.strobel.core.StrongBox<Expression> argument)
static boolean	matchGetArgument(Node node, AstCode code, com.strobel.core.StrongBox<Expression> argument)
static boolean	matchGetArguments(Node node, AstCode code, java.util.List<Expression> arguments)
static <T> boolean	matchGetArguments(Node node, AstCode code, com.strobel.core.StrongBox<? super T> operand, java.util.List<Expression> arguments)
static <T> boolean	matchGetArguments(Node node, AstCode code, com.strobel.core.StrongBox<? super T> operand, com.strobel.core.StrongBox<Expression> argument1, com.strobel.core.StrongBox<Expression> argument2)
static <T> boolean	matchGetOperand(Node node, AstCode code, java.lang.Class<T> operandType, com.strobel.core.StrongBox<? super T> operand)
static <T> boolean	matchGetOperand(Node node, AstCode code, com.strobel.core.StrongBox<? super T> operand)
static boolean	matchLast(BasicBlock block, AstCode code)
static <T> boolean	matchLast(BasicBlock block, AstCode code, com.strobel.core.StrongBox<? super T> operand)
static <T> boolean	matchLast(BasicBlock block, AstCode code, com.strobel.core.StrongBox<? super T> operand, com.strobel.core.StrongBox<Expression> argument)
static boolean	matchLast(Block block, AstCode code)
static <T> boolean	matchLast(Block block, AstCode code, com.strobel.core.StrongBox<? super T> operand)
static <T> boolean	matchLast(Block block, AstCode code, com.strobel.core.StrongBox<? super T> operand, com.strobel.core.StrongBox<Expression> argument)
static <T> boolean	matchLastAndBreak(BasicBlock block, AstCode code, com.strobel.core.StrongBox<? super T> operand, com.strobel.core.StrongBox<Expression> argument, com.strobel.core.StrongBox<Label> label)
static boolean	matchLeaveHandler(Node node)
static boolean	matchLoad(Node node, com.strobel.core.StrongBox<Variable> variable)
static boolean	matchLoad(Node node, Variable expectedVariable)
static boolean	matchLoad(Node node, Variable expectedVariable, com.strobel.core.StrongBox<Expression> argument)
static boolean	matchLoadAny(Node node, java.lang.Iterable<Variable> expectedVariables)
static boolean	matchLoadOrRet(Node node, com.strobel.core.StrongBox<Variable> variable)
static boolean	matchLoadStore(Node node, Variable expectedVariable, com.strobel.core.StrongBox<Variable> targetVariable)
static boolean	matchLoadStoreAny(Node node, java.lang.Iterable<Variable> expectedVariables, com.strobel.core.StrongBox<Variable> targetVariable)
static boolean	matchLock(java.util.List<Node> body, int position, com.strobel.core.StrongBox<com.strobel.decompiler.ast.LockInfo> result)
static boolean	matchNullOrEmpty(Block block)
static boolean	matchReturnOrThrow(Node node)
static boolean	matchReversibleComparison(Node node)
static boolean	matchSimpleBreak(BasicBlock block, Label label)
static boolean	matchSimpleBreak(BasicBlock block, com.strobel.core.StrongBox<Label> label)
static boolean	matchSimplifiableComparison(Node node)
static <T> boolean	matchSingle(BasicBlock block, AstCode code, com.strobel.core.StrongBox<? super T> operand, com.strobel.core.StrongBox<Expression> argument)
static <T> boolean	matchSingle(Block block, AstCode code, com.strobel.core.StrongBox<? super T> operand)
static <T> boolean	matchSingle(Block block, AstCode code, com.strobel.core.StrongBox<? super T> operand, com.strobel.core.StrongBox<Expression> argument)
static <T> boolean	matchSingleAndBreak(BasicBlock block, AstCode code, com.strobel.core.StrongBox<? super T> operand, com.strobel.core.StrongBox<Expression> argument, com.strobel.core.StrongBox<Label> label)
static boolean	matchStore(Node node, com.strobel.core.StrongBox<Variable> variable, java.util.List<Expression> argument)
static boolean	matchStore(Node node, com.strobel.core.StrongBox<Variable> variable, com.strobel.core.StrongBox<Expression> argument)
static boolean	matchStore(Node node, Variable expectedVariable)
static boolean	matchStore(Node node, Variable expectedVariable, com.strobel.core.StrongBox<Expression> value)
static boolean	matchThis(Node node)
static java.lang.Boolean	matchTrue(Node node)
static boolean	matchUnconditionalBranch(Node node)
static boolean	matchUnlock(Node e, com.strobel.decompiler.ast.LockInfo lockInfo)
static boolean	matchVariableMutation(Node node, Variable variable)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Method Detail

match

public static boolean match(Node node,
            AstCode code)

matchLeaveHandler

public static boolean matchLeaveHandler(Node node)

matchGetOperand

public static <T> boolean matchGetOperand(Node node,
                          AstCode code,
                          com.strobel.core.StrongBox<? super T> operand)

matchGetOperand

public static <T> boolean matchGetOperand(Node node,
                          AstCode code,
                          java.lang.Class<T> operandType,
                          com.strobel.core.StrongBox<? super T> operand)

matchGetArguments

public static boolean matchGetArguments(Node node,
                        AstCode code,
                        java.util.List<Expression> arguments)

matchGetArguments

public static <T> boolean matchGetArguments(Node node,
                            AstCode code,
                            com.strobel.core.StrongBox<? super T> operand,
                            java.util.List<Expression> arguments)

matchGetArgument

public static boolean matchGetArgument(Node node,
                       AstCode code,
                       com.strobel.core.StrongBox<Expression> argument)

matchGetArgument

public static <T> boolean matchGetArgument(Node node,
                           AstCode code,
                           com.strobel.core.StrongBox<? super T> operand,
                           com.strobel.core.StrongBox<Expression> argument)

matchGetArguments

public static <T> boolean matchGetArguments(Node node,
                            AstCode code,
                            com.strobel.core.StrongBox<? super T> operand,
                            com.strobel.core.StrongBox<Expression> argument1,
                            com.strobel.core.StrongBox<Expression> argument2)

matchSingle

public static <T> boolean matchSingle(Block block,
                      AstCode code,
                      com.strobel.core.StrongBox<? super T> operand)

matchSingle

public static <T> boolean matchSingle(Block block,
                      AstCode code,
                      com.strobel.core.StrongBox<? super T> operand,
                      com.strobel.core.StrongBox<Expression> argument)

matchNullOrEmpty

public static boolean matchNullOrEmpty(Block block)

matchEmptyReturn

public static boolean matchEmptyReturn(Node node)

matchSingle

public static <T> boolean matchSingle(BasicBlock block,
                      AstCode code,
                      com.strobel.core.StrongBox<? super T> operand,
                      com.strobel.core.StrongBox<Expression> argument)

matchSingleAndBreak

public static <T> boolean matchSingleAndBreak(BasicBlock block,
                              AstCode code,
                              com.strobel.core.StrongBox<? super T> operand,
                              com.strobel.core.StrongBox<Expression> argument,
                              com.strobel.core.StrongBox<Label> label)

matchSimpleBreak

public static boolean matchSimpleBreak(BasicBlock block,
                       com.strobel.core.StrongBox<Label> label)

matchSimpleBreak

public static boolean matchSimpleBreak(BasicBlock block,
                       Label label)

matchAssignmentAndConditionalBreak

public static boolean matchAssignmentAndConditionalBreak(BasicBlock block,
                                         com.strobel.core.StrongBox<Expression> assignedValue,
                                         com.strobel.core.StrongBox<Expression> condition,
                                         com.strobel.core.StrongBox<Label> trueLabel,
                                         com.strobel.core.StrongBox<Label> falseLabel,
                                         com.strobel.core.StrongBox<Expression> equivalentLoad)

matchAssignment

public static boolean matchAssignment(Node node,
                      com.strobel.core.StrongBox<Expression> assignedValue)

matchAssignment

public static boolean matchAssignment(Node node,
                      com.strobel.core.StrongBox<Expression> assignedValue,
                      com.strobel.core.StrongBox<Expression> equivalentLoad)

matchLast

public static boolean matchLast(BasicBlock block,
                AstCode code)

matchLast

public static boolean matchLast(Block block,
                AstCode code)

matchLast

public static <T> boolean matchLast(BasicBlock block,
                    AstCode code,
                    com.strobel.core.StrongBox<? super T> operand)

matchLast

public static <T> boolean matchLast(Block block,
                    AstCode code,
                    com.strobel.core.StrongBox<? super T> operand)

matchLast

public static <T> boolean matchLast(Block block,
                    AstCode code,
                    com.strobel.core.StrongBox<? super T> operand,
                    com.strobel.core.StrongBox<Expression> argument)

matchLast

public static <T> boolean matchLast(BasicBlock block,
                    AstCode code,
                    com.strobel.core.StrongBox<? super T> operand,
                    com.strobel.core.StrongBox<Expression> argument)

matchLastAndBreak

public static <T> boolean matchLastAndBreak(BasicBlock block,
                            AstCode code,
                            com.strobel.core.StrongBox<? super T> operand,
                            com.strobel.core.StrongBox<Expression> argument,
                            com.strobel.core.StrongBox<Label> label)

matchThis

public static boolean matchThis(Node node)

matchLoadAny

public static boolean matchLoadAny(Node node,
                   java.lang.Iterable<Variable> expectedVariables)

matchLoad

public static boolean matchLoad(Node node,
                com.strobel.core.StrongBox<Variable> variable)

matchStore

public static boolean matchStore(Node node,
                 com.strobel.core.StrongBox<Variable> variable,
                 com.strobel.core.StrongBox<Expression> argument)

matchStore

public static boolean matchStore(Node node,
                 com.strobel.core.StrongBox<Variable> variable,
                 java.util.List<Expression> argument)

matchLoadOrRet

public static boolean matchLoadOrRet(Node node,
                     com.strobel.core.StrongBox<Variable> variable)

matchLoad

public static boolean matchLoad(Node node,
                Variable expectedVariable)

matchStore

public static boolean matchStore(Node node,
                 Variable expectedVariable)

matchStore

public static boolean matchStore(Node node,
                 Variable expectedVariable,
                 com.strobel.core.StrongBox<Expression> value)

matchLoad

public static boolean matchLoad(Node node,
                Variable expectedVariable,
                com.strobel.core.StrongBox<Expression> argument)

matchLoadStore

public static boolean matchLoadStore(Node node,
                     Variable expectedVariable,
                     com.strobel.core.StrongBox<Variable> targetVariable)

matchLoadStoreAny

public static boolean matchLoadStoreAny(Node node,
                        java.lang.Iterable<Variable> expectedVariables,
                        com.strobel.core.StrongBox<Variable> targetVariable)

matchBooleanComparison

public static boolean matchBooleanComparison(Node node,
                             com.strobel.core.StrongBox<Expression> argument,
                             com.strobel.core.StrongBox<java.lang.Boolean> comparand)

matchComparison

public static boolean matchComparison(Node node,
                      com.strobel.core.StrongBox<Expression> left,
                      com.strobel.core.StrongBox<Expression> right)

matchSimplifiableComparison

public static boolean matchSimplifiableComparison(Node node)

matchReversibleComparison

public static boolean matchReversibleComparison(Node node)

matchReturnOrThrow

public static boolean matchReturnOrThrow(Node node)

matchTrue

public static java.lang.Boolean matchTrue(Node node)

matchFalse

public static java.lang.Boolean matchFalse(Node node)

matchBooleanConstant

public static java.lang.Boolean matchBooleanConstant(Node node)

matchCharacterConstant

public static java.lang.Character matchCharacterConstant(Node node)

matchBooleanConstant

public static boolean matchBooleanConstant(Node node,
                           com.strobel.core.StrongBox<java.lang.Boolean> value)

matchCharacterConstant

public static boolean matchCharacterConstant(Node node,
                             com.strobel.core.StrongBox<java.lang.Character> value)

matchUnconditionalBranch

public static boolean matchUnconditionalBranch(Node node)

matchLock

public static boolean matchLock(java.util.List<Node> body,
                int position,
                com.strobel.core.StrongBox<com.strobel.decompiler.ast.LockInfo> result)

matchUnlock

public static boolean matchUnlock(Node e,
                  com.strobel.decompiler.ast.LockInfo lockInfo)

matchVariableMutation

public static boolean matchVariableMutation(Node node,
                            Variable variable)