Method hasStrictFP

src/main/java/pascal/taie/language/classes/Modifier.java:98–100

(Set<Modifier> modifiers)

    }

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

    public static boolean hasSynthetic(Set<Modifier> modifiers) {
        return modifiers.contains(SYNTHETIC);