Class NewInstance

src/main/java/pascal/taie/ir/exp/NewInstance.java:30–52

Representation of new instance expression, e.g., new T.

 * Representation of new instance expression, e.g., new T.
 */
public class NewInstance implements NewExp {

    private final ClassType type;

    public NewInstance(ClassType type) {
        this.type = type;
    }

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

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

    @Override
    public String toString() {
        return "new " + type;
    }
}