Class ArrayElement

src/main/java/pascal/taie/language/annotation/ArrayElement.java:28–40

import java.util.StringJoiner;

public record ArrayElement(List<Element> elements) implements Element {

    public ArrayElement(List<Element> elements) {
        this.elements = List.copyOf(elements);
    }

    @Override
    public String toString() {
        StringJoiner sj = new StringJoiner(",", "{", "}");
        elements.forEach(e -> sj.add(e.toString()));
        return sj.toString();
    }
}