Class ArrayType

src/main/java/pascal/taie/language/type/ArrayType.java:25–37

package pascal.taie.language.type;

public record ArrayType(Type baseType, int dimensions, Type elementType)
        implements ReferenceType {

    @Override
    public String getName() {
        return elementType + "[]";
    }

    @Override
    public String toString() {
        return getName();
    }
}