Method hasAbstract

src/main/java/pascal/taie/language/classes/Modifier.java:94–96

(Set<Modifier> modifiers)

    }

    public static boolean hasAbstract(Set<Modifier> modifiers) {
        return modifiers.contains(ABSTRACT);
    }

    public static boolean hasStrictFP(Set<Modifier> modifiers) {
        return modifiers.contains(STRICTFP);