Package pascal.taie.ir.stmt

package pascal.taie.ir.stmt
  • Class
    Description
    AssignLiteral
    Representation of statement that assigns literals, e.g., a = 10.
    AssignStmt<L extends LValue,R extends RValue>
    Representation of assign statements.
    Binary
    Representation of assign statement for binary expression, e.g., a = b + c.
    Cast
    Representation of cast statement, e.g., a = (T) b.
    Catch
    Representation of catch exception, e.g., catch (e).
    Copy
    Representation of copy statement, e.g., a = b.
    DefinitionStmt<L extends LValue,R extends RValue>
    Representation of all definition statements, i.e., exp1 = exp2.
    FieldStmt<L extends LValue,R extends RValue>
    Load/Store field statements.
    Goto
    Representation of goto statement, e.g., goto L.
    If
    Representation of if statement, e.g., if a == b goto S;
    InstanceOf
    Representation of instanceof statement, e.g., a = (b instanceof T).
    Invoke
    Representation of invocation statement, e.g., r = o.m(...) or o.m(...).
    JumpStmt
     
    LoadArray
    Representation of load array statement, e.g., x = a[..].
    LoadField
    Representation of following load field statements: load instance field: x = o.f load static field: x = T.f
    LookupSwitch
     
    Monitor
    Representation of monitorenter/monitorexit instruction.
    Monitor.Op
     
    New
    Representation of following kinds of new statements: new instance: o = new T new array: o = new T[..] new multi-array: o = new T[..][..]
    Nop
    Representation of nop statement which does nothing.
    Return
    Representation of return statement, e.g., return; or return x.
    Stmt
    Representation of statements in Tai-e IR.
    StmtVisitor<T>
    Stmt visitor which may return a result after the visit.
    StoreArray
    Representation of store array statement, e.g., a[..] = x.
    StoreField
    Representation of following store field statements: store instance field: o.f = x store static field: T.f = x
    SwitchStmt
    Representation of switch statement, e.g., switch (v) { case 1: ...
    TableSwitch
     
    Throw
    Representation of throw exception statement, e.g., throw e.
    Unary
    Representation of following kinds of unary assign statements: negation: x = -y array length: x = arr.length