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()