Method get

src/main/java/pascal/taie/ir/exp/DoubleLiteral.java:40–42

(double value)

    }

    public static DoubleLiteral get(double value) {
        return value == 0 ? ZERO : new DoubleLiteral(value);
    }

    @Override
    public PrimitiveType getType() {