Package pascal.taie.ir.stmt

Interface StmtVisitor<T>

Type Parameters:
T - type of the return value
public interface StmtVisitor<T>
Stmt visitor which may return a result after the visit.

  • Method Details

    • visit

      default T visit(New stmt)

    • visit

      default T visit(AssignLiteral stmt)

    • visit

      default T visit(Copy stmt)

    • visit

      default T visit(LoadArray stmt)

    • visit

      default T visit(StoreArray stmt)

    • visit

      default T visit(LoadField stmt)

    • visit

      default T visit(StoreField stmt)

    • visit

      default T visit(Binary stmt)

    • visit

      default T visit(Unary stmt)

    • visit

      default T visit(InstanceOf stmt)

    • visit

      default T visit(Cast stmt)

    • visit

      default T visit(Goto stmt)

    • visit

      default T visit(If stmt)

    • visit

      default T visit(TableSwitch stmt)

    • visit

      default T visit(LookupSwitch stmt)

    • visit

      default T visit(Invoke stmt)

    • visit

      default T visit(Return stmt)

    • visit

      default T visit(Throw stmt)

    • visit

      default T visit(Catch stmt)

    • visit

      default T visit(Monitor stmt)

    • visit

      default T visit(Nop stmt)

    • visitDefault

      default T visitDefault(Stmt stmt)