Package sootup.core.jimple.common

Interface Value

All Superinterfaces:
EquivTo, JimpleIR
All Known Subinterfaces:
ComparableConstant<C>, ConcreteRef, Constant, Expr, IdentityRef, Immediate, LogicalConstant<L>, LValue, NumericConstant<N>, RealConstant<R>, Ref, ShiftableConstant<A>
All Known Implementing Classes:
AbstractBinopExpr, AbstractConditionExpr, AbstractFloatBinopExpr, AbstractInstanceInvokeExpr, AbstractIntBinopExpr, AbstractIntLongBinopExpr, AbstractInvokeExpr, AbstractUnopExpr, BooleanConstant, ClassConstant, DoubleConstant, EnumConstant, FloatConstant, IntConstant, JAddExpr, JAndExpr, JArrayRef, JavaLocal, JCastExpr, JCaughtExceptionRef, JCmpExpr, JCmpgExpr, JCmplExpr, JDivExpr, JDynamicInvokeExpr, JEqExpr, JFieldRef, JGeExpr, JGtExpr, JInstanceFieldRef, JInstanceOfExpr, JInterfaceInvokeExpr, JLeExpr, JLengthExpr, JLtExpr, JMulExpr, JNeExpr, JNegExpr, JNewArrayExpr, JNewExpr, JNewMultiArrayExpr, JOrExpr, JParameterRef, JPhiExpr, JRemExpr, JShlExpr, JShrExpr, JSpecialInvokeExpr, JStaticFieldRef, JStaticInvokeExpr, JSubExpr, JThisRef, JUshrExpr, JVirtualInvokeExpr, JXorExpr, Local, LongConstant, MethodHandle, MethodType, NullConstant, StringConstant
public interface Value extends EquivTo, JimpleIR
Data used as, for instance, arguments to instructions; typical implementations are constants or expressions.

Values are typed, clonable and must declare which other Values they use (contain).

  • Method Summary

    Modifier and Type
    Method
    Description
    default void
    accept(@NonNull ValueVisitor v)
     
    @NonNull Type
    getType()
    Returns the Soot type of this Value.
    @NonNull Stream<Value>
    getUses()
    Returns a List of Locals,FieldRefs,ArrayRefs which are used by (ie contained within) this Expression or Reference.
    void
    toString(@NonNull StmtPrinter up)
     

    Methods inherited from interface sootup.core.jimple.basic.EquivTo

    equivHashCode, equivTo, equivTo

  • Method Details

    • getUses

      @NonNull Stream<Value> getUses()
      Returns a List of Locals,FieldRefs,ArrayRefs which are used by (ie contained within) this Expression or Reference.
      Returns:

    • getType

      @NonNull Type getType()
      Returns the Soot type of this Value.

    • toString

      void toString(@NonNull StmtPrinter up)

    • accept

      default void accept(@NonNull ValueVisitor v)