Package pascal.taie.ir.stmt

Class StoreField

java.lang.Object
pascal.taie.ir.stmt.DefinitionStmt<L,R>
pascal.taie.ir.stmt.AssignStmt<L,R>
pascal.taie.ir.stmt.FieldStmt<FieldAccess,Var>
pascal.taie.ir.stmt.StoreField
All Implemented Interfaces:
Serializable, Stmt, Indexable
public class StoreField extends FieldStmt<FieldAccess,Var>
Representation of following store field statements:
  • store instance field: o.f = x
  • store static field: T.f = x
See Also:

  • Field Details

    • index

      protected int index

    • lineNumber

      protected int lineNumber

  • Constructor Details

  • Method Details

    • getFieldAccess

      public FieldAccess getFieldAccess()
      Specified by:
      getFieldAccess in class FieldStmt<FieldAccess,Var>

    • accept

      public <T> T accept(StmtVisitor<T> visitor)

    • getIndex

      public int getIndex()
      Specified by:
      getIndex in interface Indexable
      Specified by:
      getIndex in interface Stmt
      Returns:
      the index of this Stmt in the container IR.

    • setIndex

      public void setIndex(int index)
      Specified by:
      setIndex in interface Stmt

    • getLineNumber

      public int getLineNumber()
      Specified by:
      getLineNumber in interface Stmt
      Returns:
      the line number of this Stmt in the original source file. If the line number is unavailable, return -1.

    • setLineNumber

      public void setLineNumber(int lineNumber)
      Specified by:
      setLineNumber in interface Stmt

    • canFallThrough

      public boolean canFallThrough()
      Specified by:
      canFallThrough in interface Stmt
      Returns:
      true if execution after this statement could continue at the following statement, otherwise false.