Method getSuperClass

src/main/java/pascal/taie/language/classes/JClass.java:210–213

()

    }

    @Nullable
    public JClass getSuperClass() {
        return superClass;
    }

    public Collection<JClass> getInterfaces() {
        return interfaces;