Wrote /root/JavaX-Caches/tmp_2102216696/main.java - 7805 bytes (written=7805, should be 7805)
javac=0, ecj=1, useJarBot=0
Checking ECJ at port 4898 at 127.0.0.1
/root/jdk-17/bin/javac -source 11 -target 11 -nowarn -encoding utf8 -Xdiags:verbose -cp /root/.javax/x30.jar:/root/dexcompiler/android.jar:/root/dexcompiler/support-v4-22.2.1.jar:/root/javafx/javafx.base.jar:/root/javafx/javafx.graphics.jar:/root/javafx/javafx.swing.jar -d /root/JavaX-Caches/tmp_1007807282 /root/JavaX-Caches/tmp_2102216696/main.java 2>&1
[Compilation Error]Compiler errors. Medium transpile. Show Java sources. Show snippet. Edit.
/root/JavaX-Caches/tmp_2102216696/main.java:18: error: illegal start of type
*() { super("isQuoted($x)"); }
^
/root/JavaX-Caches/tmp_2102216696/main.java:22: error: not a statement
ret !(x instanceof Prolog.Var) && x.isLeaf() && isQuoted(x.head);
^
/root/JavaX-Caches/tmp_2102216696/main.java:22: error: ';' expected
ret !(x instanceof Prolog.Var) && x.isLeaf() && isQuoted(x.head);
^
/root/JavaX-Caches/tmp_2102216696/main.java:22: error: not a statement
ret !(x instanceof Prolog.Var) && x.isLeaf() && isQuoted(x.head);
^
/root/JavaX-Caches/tmp_2102216696/main.java:22: error: ';' expected
ret !(x instanceof Prolog.Var) && x.isLeaf() && isQuoted(x.head);
^
/root/JavaX-Caches/tmp_2102216696/main.java:22: error: not a statement
ret !(x instanceof Prolog.Var) && x.isLeaf() && isQuoted(x.head);
^
/root/JavaX-Caches/tmp_2102216696/main.java:27: error: illegal start of type
*() { super("isWord($x)"); }
^
/root/JavaX-Caches/tmp_2102216696/main.java:31: error: not a statement
ret !(x instanceof Prolog.Var) && x.isLeaf() && isExtendedIdentifier(x.head);
^
/root/JavaX-Caches/tmp_2102216696/main.java:31: error: ';' expected
ret !(x instanceof Prolog.Var) && x.isLeaf() && isExtendedIdentifier(x.head);
^
/root/JavaX-Caches/tmp_2102216696/main.java:31: error: not a statement
ret !(x instanceof Prolog.Var) && x.isLeaf() && isExtendedIdentifier(x.head);
^
/root/JavaX-Caches/tmp_2102216696/main.java:31: error: ';' expected
ret !(x instanceof Prolog.Var) && x.isLeaf() && isExtendedIdentifier(x.head);
^
/root/JavaX-Caches/tmp_2102216696/main.java:31: error: not a statement
ret !(x instanceof Prolog.Var) && x.isLeaf() && isExtendedIdentifier(x.head);
^
/root/JavaX-Caches/tmp_2102216696/main.java:36: error: illegal start of type
*() { super("$a = intmul($x, $y)"); }
^
/root/JavaX-Caches/tmp_2102216696/main.java:41: error: ';' expected
ret p.unify(m.get("a"), lisp(str(x.multiply(y))));
^
/root/JavaX-Caches/tmp_2102216696/main.java:46: error: illegal start of type
*() { super("$a = intdiv($x, $y)"); }
^
/root/JavaX-Caches/tmp_2102216696/main.java:51: error: ';' expected
ret p.unify(m.get("a"), lisp(str(x.divide(y))));
^
/root/JavaX-Caches/tmp_2102216696/main.java:56: error: illegal start of type
*() { super("$a = intadd($x, $y)"); }
^
/root/JavaX-Caches/tmp_2102216696/main.java:61: error: ';' expected
ret p.unify(m.get("a"), lisp(str(x.add(y))));
^
/root/JavaX-Caches/tmp_2102216696/main.java:66: error: illegal start of type
*() { super("$a = intminus($x, $y)"); }
^
/root/JavaX-Caches/tmp_2102216696/main.java:71: error: ';' expected
ret p.unify(m.get("a"), lisp(str(x.subtract(y))));
^
/root/JavaX-Caches/tmp_2102216696/main.java:76: error: illegal start of type
*() { super("$x is less than $y"); }
^
/root/JavaX-Caches/tmp_2102216696/main.java:81: error: ';' expected
ret x.compareTo(y) < 0;
^
/root/JavaX-Caches/tmp_2102216696/main.java:81: error: not a statement
ret x.compareTo(y) < 0;
^
/root/JavaX-Caches/tmp_2102216696/main.java:86: error: illegal start of type
*() { super("$x is greater than $y"); }
^
/root/JavaX-Caches/tmp_2102216696/main.java:91: error: ';' expected
ret x.compareTo(y) > 0;
^
/root/JavaX-Caches/tmp_2102216696/main.java:91: error: not a statement
ret x.compareTo(y) > 0;
^
/root/JavaX-Caches/tmp_2102216696/main.java:97: error: illegal start of type
*() { super("head $h exists in theory $t"); }
^
/root/JavaX-Caches/tmp_2102216696/main.java:108: error: not a statement
ret true;
^
/root/JavaX-Caches/tmp_2102216696/main.java:108: error: ';' expected
ret true;
^
/root/JavaX-Caches/tmp_2102216696/main.java:110: error: not a statement
ret false;
^
/root/JavaX-Caches/tmp_2102216696/main.java:110: error: ';' expected
ret false;
^
/root/JavaX-Caches/tmp_2102216696/main.java:115: error: illegal start of type
*() { super("$x = all theory names"); }
^
/root/JavaX-Caches/tmp_2102216696/main.java:118: error: ';' expected
ret unify("x", nlMinimalList(getTheoryNames()));
^
/root/JavaX-Caches/tmp_2102216696/main.java:118: error: ';' expected
ret unify("x", nlMinimalList(getTheoryNames()));
^
/root/JavaX-Caches/tmp_2102216696/main.java:123: error: illegal start of type
*() { super("$x = tocons($y)"); }
^
/root/JavaX-Caches/tmp_2102216696/main.java:127: error: ';' expected
ret unify("x", nlToCons(y));
^
/root/JavaX-Caches/tmp_2102216696/main.java:127: error: ';' expected
ret unify("x", nlToCons(y));
^
/root/JavaX-Caches/tmp_2102216696/main.java:132: error: illegal start of type
*() { super("$x = fromcons($y)"); }
^
/root/JavaX-Caches/tmp_2102216696/main.java:136: error: ';' expected
ret unify("x", nlFromCons(y));
^
/root/JavaX-Caches/tmp_2102216696/main.java:136: error: ';' expected
ret unify("x", nlFromCons(y));
^
/root/JavaX-Caches/tmp_2102216696/main.java:141: error: illegal start of type
*() { super("$x = operator($y)"); }
^
/root/JavaX-Caches/tmp_2102216696/main.java:145: error: ';' expected
ret unify("x", lisp(quote(y.head)));
^
/root/JavaX-Caches/tmp_2102216696/main.java:145: error: ';' expected
ret unify("x", lisp(quote(y.head)));
^
/root/JavaX-Caches/tmp_2102216696/main.java:150: error: illegal start of type
*() { super("$x = unquote($y)"); }
^
/root/JavaX-Caches/tmp_2102216696/main.java:154: error: ';' expected
ret unify("x", lisp(unquote(y.head)));
^
/root/JavaX-Caches/tmp_2102216696/main.java:154: error: ';' expected
ret unify("x", lisp(unquote(y.head)));
^
/root/JavaX-Caches/tmp_2102216696/main.java:160: error: illegal start of type
*() { super("$x = arg $i in $y"); }
^
/root/JavaX-Caches/tmp_2102216696/main.java:166: error: ';' expected
ret unify("x", y.get(i-1));
^
/root/JavaX-Caches/tmp_2102216696/main.java:166: error: variable declaration not allowed here
ret unify("x", y.get(i-1));
^
/root/JavaX-Caches/tmp_2102216696/main.java:166: error: ';' expected
ret unify("x", y.get(i-1));
^
/root/JavaX-Caches/tmp_2102216696/main.java:168: error: not a statement
ret false;
^
/root/JavaX-Caches/tmp_2102216696/main.java:168: error: ';' expected
ret false;
^
/root/JavaX-Caches/tmp_2102216696/main.java:167: error: 'else' without 'if'
else
^
/root/JavaX-Caches/tmp_2102216696/main.java:173: error: illegal start of type
*() { super("$x = arity of $y"); }
^
/root/JavaX-Caches/tmp_2102216696/main.java:177: error: ';' expected
ret unify("x", lisp(str(y.size())));
^
/root/JavaX-Caches/tmp_2102216696/main.java:177: error: ';' expected
ret unify("x", lisp(str(y.size())));
^
/root/JavaX-Caches/tmp_2102216696/main.java:182: error: illegal start of type
*() { super("$x = removeWord($word, $y)"); }
^
/root/JavaX-Caches/tmp_2102216696/main.java:187: error: ';' expected
ret unify("x", nlRemoveWord(word, y));
^
/root/JavaX-Caches/tmp_2102216696/main.java:187: error: ';' expected
ret unify("x", nlRemoveWord(word, y));
^
/root/JavaX-Caches/tmp_2102216696/main.java:192: error: illegal start of type
*() { super("$x = theory $name"); }
^
/root/JavaX-Caches/tmp_2102216696/main.java:197: error: ';' expected
ret parsed != null && unify("x", parsed);
^
/root/JavaX-Caches/tmp_2102216696/main.java:202: error: illegal start of type
*() { super("$x = text of theory $name"); }
^
/root/JavaX-Caches/tmp_2102216696/main.java:207: error: ';' expected
ret text != null && unify("x", lisp(quote(text)));
^
/root/JavaX-Caches/tmp_2102216696/main.java:212: error: illegal start of type
*() { super("solve1 $text in $theories"); }
^
/root/JavaX-Caches/tmp_2102216696/main.java:221: error: '(' or '[' expected
new IdentityHashMap varMap;
^
/root/JavaX-Caches/tmp_2102216696/main.java:230: error: not a statement
if (solution == null) ret false;
^
/root/JavaX-Caches/tmp_2102216696/main.java:230: error: ';' expected
if (solution == null) ret false;
^
/root/JavaX-Caches/tmp_2102216696/main.java:231: error: ';' expected
ret unifyForeign(varMap, solution);
^
/root/JavaX-Caches/tmp_2102216696/main.java:231: error: not a statement
ret unifyForeign(varMap, solution);
^
/root/JavaX-Caches/tmp_2102216696/main.java:231: error: ';' expected
ret unifyForeign(varMap, solution);
^
/root/JavaX-Caches/tmp_2102216696/main.java:231: error: not a statement
ret unifyForeign(varMap, solution);
^
/root/JavaX-Caches/tmp_2102216696/main.java:231: error: ';' expected
ret unifyForeign(varMap, solution);
^
/root/JavaX-Caches/tmp_2102216696/main.java:236: error: illegal start of type
*() { super("think $x"); }
^
/root/JavaX-Caches/tmp_2102216696/main.java:240: error: not a statement
ret true;
^
/root/JavaX-Caches/tmp_2102216696/main.java:240: error: ';' expected
ret true;
^
/root/JavaX-Caches/tmp_2102216696/main.java:245: error: illegal start of type
*() { super("memorize_impl $x"); }
^
/root/JavaX-Caches/tmp_2102216696/main.java:252: error: not a statement
ret false;
^
/root/JavaX-Caches/tmp_2102216696/main.java:252: error: ';' expected
ret false;
^
/root/JavaX-Caches/tmp_2102216696/main.java:257: error: not a statement
ret true;
^
/root/JavaX-Caches/tmp_2102216696/main.java:257: error: ';' expected
ret true;
^
/root/JavaX-Caches/tmp_2102216696/main.java:262: error: illegal start of type
*() { super("rewrite with theory $x"); }
^
/root/JavaX-Caches/tmp_2102216696/main.java:285: error: not a statement
ret true;
^
/root/JavaX-Caches/tmp_2102216696/main.java:285: error: ';' expected
ret true;
^
/root/JavaX-Caches/tmp_2102216696/main.java:290: error: illegal start of type
*() { super("$x = nlSafeParse($y)"); }
^
/root/JavaX-Caches/tmp_2102216696/main.java:294: error: ';' expected
ret unify("x", nlSafeParse(input));
^
/root/JavaX-Caches/tmp_2102216696/main.java:294: error: ';' expected
ret unify("x", nlSafeParse(input));
^
/root/JavaX-Caches/tmp_2102216696/main.java:300: error: illegal start of type
*() { super("$x starts with $y"); }
^
/root/JavaX-Caches/tmp_2102216696/main.java:304: error: ';' expected
ret swic(x, y);
^
/root/JavaX-Caches/tmp_2102216696/main.java:304: error: not a statement
ret swic(x, y);
^
/root/JavaX-Caches/tmp_2102216696/main.java:304: error: ';' expected
ret swic(x, y);
^
/root/JavaX-Caches/tmp_2102216696/main.java:304: error: not a statement
ret swic(x, y);
^
/root/JavaX-Caches/tmp_2102216696/main.java:304: error: ';' expected
ret swic(x, y);
^
/root/JavaX-Caches/tmp_2102216696/main.java:310: error: illegal start of type
*() { super("$x ends with $y"); }
^
/root/JavaX-Caches/tmp_2102216696/main.java:314: error: ';' expected
ret endsWithIgnoreCase(x, y);
^
/root/JavaX-Caches/tmp_2102216696/main.java:314: error: not a statement
ret endsWithIgnoreCase(x, y);
^
/root/JavaX-Caches/tmp_2102216696/main.java:314: error: ';' expected
ret endsWithIgnoreCase(x, y);
^
/root/JavaX-Caches/tmp_2102216696/main.java:314: error: not a statement
ret endsWithIgnoreCase(x, y);
^
/root/JavaX-Caches/tmp_2102216696/main.java:314: error: ';' expected
ret endsWithIgnoreCase(x, y);
^
98 errors