Package sootup.core.jimple.common.stmt

Interface Stmt

All Superinterfaces:
Acceptor<StmtVisitor>, EquivTo
All Known Subinterfaces:
BranchingStmt, FallsThroughStmt, InvokableStmt
All Known Implementing Classes:
AbstractDefinitionStmt, AbstractStmt, JAssignStmt, JBreakpointStmt, JEnterMonitorStmt, JExitMonitorStmt, JGotoStmt, JIdentityStmt, JIfStmt, JInvokeStmt, JNopStmt, JRetStmt, JReturnStmt, JReturnVoidStmt, JSwitchStmt, JThrowStmt
public interface Stmt extends EquivTo, Acceptor<StmtVisitor>

  • Method Details

    • getUses

      @NonNull Stream<Value> getUses()

    • getDef

      @NonNull Optional<LValue> getDef()

    • getUsesAndDefs

      @NonNull Stream<Value> getUsesAndDefs()

    • fallsThrough

      boolean fallsThrough()
      Returns true if execution after this statement may continue at the following statement. (e.g. GotoStmt will return false and e.g. IfStmt will return true).

    • branches

      boolean branches()
      Returns true if execution after this statement does not necessarily continue at the following statement. The BranchingStmt's GotoStmt, JSwitchStmt and IfStmt will return true.

    • getExpectedSuccessorCount

      int getExpectedSuccessorCount()

    • toString

      void toString(@NonNull StmtPrinter up)

    • containsArrayRef

      boolean containsArrayRef()

    • getArrayRef

      JArrayRef getArrayRef()

    • containsFieldRef

      boolean containsFieldRef()

    • getFieldRef

      JFieldRef getFieldRef()

    • getPositionInfo

      StmtPositionInfo getPositionInfo()

    • withNewUse

      Stmt withNewUse(@NonNull Value oldUse, @NonNull Value newUse)

    • isInvokableStmt

      boolean isInvokableStmt()

    • asInvokableStmt

      InvokableStmt asInvokableStmt()

    • isJAssignStmt

      default boolean isJAssignStmt()

    • isJBreakpointStmt

      default boolean isJBreakpointStmt()

    • isJEnterMonitorStmt

      default boolean isJEnterMonitorStmt()

    • isJExitMonitorStmt

      default boolean isJExitMonitorStmt()

    • isJGotoStmt

      default boolean isJGotoStmt()

    • isJIdentityStmt

      default boolean isJIdentityStmt()

    • isJIfStmt

      default boolean isJIfStmt()

    • isJInvokeStmt

      default boolean isJInvokeStmt()

    • isJNopStmt

      default boolean isJNopStmt()

    • isJRetStmt

      default boolean isJRetStmt()

    • isJReturnStmt

      default boolean isJReturnStmt()

    • isJReturnVoidStmt

      default boolean isJReturnVoidStmt()

    • isJSwitchStmt

      default boolean isJSwitchStmt()

    • isJThrowStmt

      default boolean isJThrowStmt()

    • asJAssignStmt

      default JAssignStmt asJAssignStmt()

    • asJBreakpointStmt

      default JBreakpointStmt asJBreakpointStmt()

    • asJEnterMonitorStmt

      default JEnterMonitorStmt asJEnterMonitorStmt()

    • asJExitMonitorStmt

      default JExitMonitorStmt asJExitMonitorStmt()

    • asJGotoStmt

      default JGotoStmt asJGotoStmt()

    • asJIdentityStmt

      default JIdentityStmt asJIdentityStmt()

    • asJIfStmt

      default JIfStmt asJIfStmt()

    • asJInvokeStmt

      default JInvokeStmt asJInvokeStmt()

    • asJNopStmt

      default JNopStmt asJNopStmt()

    • asJRetStmt

      default JRetStmt asJRetStmt()

    • asJReturnStmt

      default JReturnStmt asJReturnStmt()

    • asJReturnVoidStmt

      default JReturnVoidStmt asJReturnVoidStmt()

    • asJSwitchStmt

      default JSwitchStmt asJSwitchStmt()

    • asJThrowStmt

      default JThrowStmt asJThrowStmt()

    • toJAssignStmt

      default Optional<JAssignStmt> toJAssignStmt()

    • toJBreakpointStmt

      default Optional<JBreakpointStmt> toJBreakpointStmt()

    • toJEnterMonitorStmt

      default Optional<JEnterMonitorStmt> toJEnterMonitorStmt()

    • toJExitMonitorStmt

      default Optional<JExitMonitorStmt> toJExitMonitorStmt()

    • toJGotoStmt

      default Optional<JGotoStmt> toJGotoStmt()

    • toJIdentityStmt

      default Optional<JIdentityStmt> toJIdentityStmt()

    • toJIfStmt

      default Optional<JIfStmt> toJIfStmt()

    • toJInvokeStmt

      default Optional<JInvokeStmt> toJInvokeStmt()

    • toJNopStmt

      default Optional<JNopStmt> toJNopStmt()

    • toJRetStmt

      default Optional<JRetStmt> toJRetStmt()

    • toJReturnStmt

      default Optional<JReturnStmt> toJReturnStmt()

    • toJReturnVoidStmt

      default Optional<JReturnVoidStmt> toJReturnVoidStmt()

    • toJSwitchStmt

      default Optional<JSwitchStmt> toJSwitchStmt()

    • toJThrowStmt

      default Optional<JThrowStmt> toJThrowStmt()