Method hasFinal

src/main/java/pascal/taie/language/classes/Modifier.java:70–72

(Set<Modifier> modifiers)

    }

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

    public static boolean hasSynchronized(Set<Modifier> modifiers) {
        return modifiers.contains(SYNCHRONIZED);