Method getCastType

src/main/java/pascal/taie/ir/exp/CastExp.java:50–52

()

    }

    public Type getCastType() {
        return castType;
    }

    @Override
    public Type getType() {