Class OneVariableInstruction

Direct Known Subclasses:
IfNull, Monitorenter, New

public abstract class OneVariableInstruction extends SingleInstruction
Abstract PatternElement subclass for matching single instructions which have a single Variable.
See Also:
  • Field Details

    • varName

      private final String varName
  • Constructor Details

    • OneVariableInstruction

      protected OneVariableInstruction(String varName)
      Constructor.
      Parameters:
      varName - the name of the Variable used in this instruction
  • Method Details

    • addOrCheckDefinition

      protected MatchResult addOrCheckDefinition(Variable variable, BindingSet bindingSet)
      Add a variable definition to the given BindingSet, or if there is an existing definition, make sure it is consistent with the new definition.
      Parameters:
      variable - the Variable which should be added or checked for consistency
      bindingSet - the existing set of bindings
      Returns:
      a MatchResult containing the updated BindingSet (if the variable is consistent with the previous bindings), or null if the new variable is inconsistent with the previous bindings