Fix javadoc.

2026-09-26 03:50:52 +00:00 · 2025-06-10 20:31:12 +02:00
parent 07108f5d2c
commit 17250e8d68
40 changed files with 58 additions and 42 deletions
@@ -56,6 +56,7 @@ public abstract class ParseException extends Exception {
     *
     * @param text Text of the exception
     * @param line Line number where the exception occurred
+     * @param position Position in source text
     */
    public ParseException(String text, long line, long position) {
        super(text + (line == -1 ? "" : " on line " + line));