Class NewArray

src/main/java/pascal/taie/ir/exp/NewArray.java:32–66

Representation of new array expression, e.g., new T[..].

 * Representation of new array expression, e.g., new T[..].
 */
public class NewArray implements NewExp {

    private final ArrayType type;

    private final Var length;

    public NewArray(ArrayType type, Var length) {
        this.type = type;
        this.length = length;
    }

    @Override
    public ArrayType getType() {
        return type;
    }

    public Var getLength() {
        return length;
    }

    @Override
    public Set<RValue> getUses() {
        return Set.of(length);
    }

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

    @Override
    public String toString() {
        return String.format("newarray %s[%s]", type.elementType(), length);
    }
}