Class ClassElement

src/main/java/pascal/taie/language/annotation/ClassElement.java:30–36

Represents class constant elements. We uses String instead of Type to represent the type information of class element for the same reason as Annotation.

 * information of class element for the same reason as {@link Annotation}.
 */
public record ClassElement(String classDescriptor) implements Element {

    @Override
    public String toString() {
        return classDescriptor + ".class";
    }
}