Method holdsInteger

src/main/java/pascal/taie/ir/exp/Exps.java:63–65

@return true if exp can hold int or long values.

(Exp exp)

     * @return {@code true} if {@code exp} can hold int or long values.
     */
    public static boolean holdsInteger(Exp exp) {
        return holdsInt(exp) || holdsLong(exp);
    }

    /**
     * @return {@code true} if {@code exp} can hold reference values.