Method getValue

src/main/java/pascal/taie/ir/exp/CastExp.java:46–48

()

    }

    public Var getValue() {
        return value;
    }

    public Type getCastType() {
        return castType;