Package sootup.core.jimple.common.ref

Class JParameterRef

java.lang.Object
sootup.core.jimple.common.ref.JParameterRef
All Implemented Interfaces:
EquivTo, IdentityRef, Ref, Value, JimpleIR, Acceptor<RefVisitor>
public final class JParameterRef extends Object implements IdentityRef
ParameterRef objects are used by Body objects to refer to the parameter slots on method entry.

For instance, in a method, the first statement will often be this := @parameter0;

  • Constructor Details

    • JParameterRef

      public JParameterRef(@NonNull Type paramType, int number)
      Constructs a ParameterRef object of the specified type, representing the specified parameter number.

  • Method Details

    • equivTo

      public boolean equivTo(Object o, @NonNull JimpleComparator comparator)
      Description copied from interface: EquivTo
      Returns true if this object is equivalent to o according to the given comparator.
      Specified by:
      equivTo in interface EquivTo
      Parameters:
      o - the object to compare with
      comparator - the comparator defining the equivalence relation
      Returns:
      true if this object is structurally equivalent to o under the given comparator

    • equivHashCode

      public int equivHashCode()
      Description copied from interface: EquivTo
      Returns a (not necessarily fixed) hash code for this object. This hash code coincides with equivTo; it is undefined in the presence of mutable objects. The contract is defined in JimpleComparator.
      Specified by:
      equivHashCode in interface EquivTo
      Returns:
      a structural hash code consistent with equivTo

    • toString

      public String toString()
      Converts the given ParameterRef into a String i.e. @parameter0: .int.
      Overrides:
      toString in class Object

    • toString

      public void toString(@NonNull StmtPrinter up)
      Description copied from interface: Value
      Appends a string representation of this value to the given printer.
      Specified by:
      toString in interface Value

    • getIndex

      public int getIndex()
      Returns the num of this ParameterRef.

    • collectUses

      public void collectUses(List<Value> collector)
      Description copied from interface: Value
      Collects all values used by this value into the given list.
      Specified by:
      collectUses in interface Value

    • getType

      public @NonNull Type getType()
      Returns the type of this ParameterRef.
      Specified by:
      getType in interface Value
      Returns:
      the type of this value

    • accept

      public <V extends RefVisitor> V accept(@NonNull V v)
      Description copied from interface: Acceptor
      Called when this object is visited.
      Specified by:
      accept in interface Acceptor<RefVisitor>
      Type Parameters:
      V - the concrete visitor type
      Parameters:
      v - the visitor processing this object
      Returns:
      the visitor after processing

    • withParamType

      public @NonNull JParameterRef withParamType(@NonNull Type paramType)

    • withNumber

      public @NonNull JParameterRef withNumber(int number)