Class CodeOwnerError

templates/panda/PolicyPanda.java:645–678

    }

    record CodeOwnerError(
            int line,
            int column,
            String source,
            String kind,
            String message,
            String path,
            String suggestion) {
        public String summary() {
            return "; " + String.join(", ", text());
        }

        public String markdownSummary() {
            return "\n    - " + String.join("\n        ", text());
        }

        private List<String> text() {
            List<String> text = new ArrayList<>();
            text.add("Path: %s".formatted(path));
            text.add("[Line: %d, Column: %d] %s".formatted(line, column, kind));
            text.add("");
            text.add("  " + source.trim());
            text.add("");
            if (message != null) {
                text.addAll(List.of(("*Message*: " + message).split("\n")));
                text.add("");
            }
            if (suggestion != null && !suggestion.equals(message)) {
                text.addAll(List.of(("*Suggestion*: " + message).split("\n")));
                text.add("");
            }
            return text;
        }
    }
}