Class Store


  • public class Store
    extends FieldAccess
    A PatternElement representing a store to a field. Variables represent the field and the value stored.
    See Also:
    PatternElement
    • Constructor Detail

      • Store

        public Store​(java.lang.String fieldVarName,
                     java.lang.String valueVarName)
        Constructor.
        Parameters:
        fieldVarName - the name of the field variable
        valueVarName - the name of the variable representing the value stored
    • Method Detail

      • match

        public MatchResult match​(org.apache.bcel.generic.InstructionHandle handle,
                                 org.apache.bcel.generic.ConstantPoolGen cpg,
                                 ValueNumberFrame before,
                                 ValueNumberFrame after,
                                 BindingSet bindingSet)
                          throws DataflowAnalysisException
        Description copied from class: PatternElement
        Return whether or not this element matches the given instruction with the given Bindings in effect.
        Specified by:
        match in class PatternElement
        Parameters:
        handle - the instruction
        cpg - the ConstantPoolGen from the method
        before - the ValueNumberFrame representing values in the Java stack frame just before the execution of the instruction
        after - the ValueNumberFrame representing values in the Java stack frame just after the execution of the instruction
        bindingSet - the set of Bindings
        Returns:
        if the match is successful, returns a MatchResult with the PatternElement and BindingSet; if the match is not successful, returns null
        Throws:
        DataflowAnalysisException