Class Return

src/main/java/pascal/taie/ir/stmt/Return.java:34–71

Representation of return statement, e.g., return; or return x.

 * Representation of return statement, e.g., return; or return x.
 */
public class Return extends AbstractStmt {

    @Nullable
    private final Var value;

    public Return(@Nullable Var value) {
        this.value = value;
    }

    public Return() {
        this(null);
    }

    @Nullable
    public Var getValue() {
        return value;
    }

    @Override
    public Set<RValue> getUses() {
        return value != null ? Set.of(value) : Set.of();
    }

    @Override
    public boolean canFallThrough() {
        return false;
    }

    @Override
    public <T> T accept(StmtVisitor<T> visitor) {
        return visitor.visit(this);
    }

    @Override
    public String toString() {
        return value != null ? "return " + value : "return";
    }
}