Method getJClass

src/main/java/pascal/taie/language/type/ClassType.java:50–55

()

    }

    public JClass getJClass() {
        if (jclass == null) {
            jclass = loader.loadClass(name);
        }
        return jclass;
    }

    @Override
    public boolean equals(Object o) {