Wrote /root/JavaX-Caches/tmp_2047895908/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_1100277558 /root/JavaX-Caches/tmp_2047895908/main.java 2>&1
[Compilation Error]

Compiler errors. Medium transpile. Show Java sources. Show snippet. Edit.

/root/JavaX-Caches/tmp_2047895908/main.java:18: error: illegal start of type *() { super("isQuoted($x)"); } ^ /root/JavaX-Caches/tmp_2047895908/main.java:22: error: not a statement ret !(x instanceof Prolog.Var) && x.isLeaf() && isQuoted(x.head); ^ /root/JavaX-Caches/tmp_2047895908/main.java:22: error: ';' expected ret !(x instanceof Prolog.Var) && x.isLeaf() && isQuoted(x.head); ^ /root/JavaX-Caches/tmp_2047895908/main.java:22: error: not a statement ret !(x instanceof Prolog.Var) && x.isLeaf() && isQuoted(x.head); ^ /root/JavaX-Caches/tmp_2047895908/main.java:22: error: ';' expected ret !(x instanceof Prolog.Var) && x.isLeaf() && isQuoted(x.head); ^ /root/JavaX-Caches/tmp_2047895908/main.java:22: error: not a statement ret !(x instanceof Prolog.Var) && x.isLeaf() && isQuoted(x.head); ^ /root/JavaX-Caches/tmp_2047895908/main.java:27: error: illegal start of type *() { super("isWord($x)"); } ^ /root/JavaX-Caches/tmp_2047895908/main.java:31: error: not a statement ret !(x instanceof Prolog.Var) && x.isLeaf() && isExtendedIdentifier(x.head); ^ /root/JavaX-Caches/tmp_2047895908/main.java:31: error: ';' expected ret !(x instanceof Prolog.Var) && x.isLeaf() && isExtendedIdentifier(x.head); ^ /root/JavaX-Caches/tmp_2047895908/main.java:31: error: not a statement ret !(x instanceof Prolog.Var) && x.isLeaf() && isExtendedIdentifier(x.head); ^ /root/JavaX-Caches/tmp_2047895908/main.java:31: error: ';' expected ret !(x instanceof Prolog.Var) && x.isLeaf() && isExtendedIdentifier(x.head); ^ /root/JavaX-Caches/tmp_2047895908/main.java:31: error: not a statement ret !(x instanceof Prolog.Var) && x.isLeaf() && isExtendedIdentifier(x.head); ^ /root/JavaX-Caches/tmp_2047895908/main.java:36: error: illegal start of type *() { super("$a = intmul($x, $y)"); } ^ /root/JavaX-Caches/tmp_2047895908/main.java:41: error: ';' expected ret p.unify(m.get("a"), lisp(str(x.multiply(y)))); ^ /root/JavaX-Caches/tmp_2047895908/main.java:46: error: illegal start of type *() { super("$a = intdiv($x, $y)"); } ^ /root/JavaX-Caches/tmp_2047895908/main.java:51: error: ';' expected ret p.unify(m.get("a"), lisp(str(x.divide(y)))); ^ /root/JavaX-Caches/tmp_2047895908/main.java:56: error: illegal start of type *() { super("$a = intadd($x, $y)"); } ^ /root/JavaX-Caches/tmp_2047895908/main.java:61: error: ';' expected ret p.unify(m.get("a"), lisp(str(x.add(y)))); ^ /root/JavaX-Caches/tmp_2047895908/main.java:66: error: illegal start of type *() { super("$a = intminus($x, $y)"); } ^ /root/JavaX-Caches/tmp_2047895908/main.java:71: error: ';' expected ret p.unify(m.get("a"), lisp(str(x.subtract(y)))); ^ /root/JavaX-Caches/tmp_2047895908/main.java:76: error: illegal start of type *() { super("$x is less than $y"); } ^ /root/JavaX-Caches/tmp_2047895908/main.java:81: error: ';' expected ret x.compareTo(y) < 0; ^ /root/JavaX-Caches/tmp_2047895908/main.java:81: error: not a statement ret x.compareTo(y) < 0; ^ /root/JavaX-Caches/tmp_2047895908/main.java:86: error: illegal start of type *() { super("$x is greater than $y"); } ^ /root/JavaX-Caches/tmp_2047895908/main.java:91: error: ';' expected ret x.compareTo(y) > 0; ^ /root/JavaX-Caches/tmp_2047895908/main.java:91: error: not a statement ret x.compareTo(y) > 0; ^ /root/JavaX-Caches/tmp_2047895908/main.java:97: error: illegal start of type *() { super("head $h exists in theory $t"); } ^ /root/JavaX-Caches/tmp_2047895908/main.java:108: error: not a statement ret true; ^ /root/JavaX-Caches/tmp_2047895908/main.java:108: error: ';' expected ret true; ^ /root/JavaX-Caches/tmp_2047895908/main.java:110: error: not a statement ret false; ^ /root/JavaX-Caches/tmp_2047895908/main.java:110: error: ';' expected ret false; ^ /root/JavaX-Caches/tmp_2047895908/main.java:115: error: illegal start of type *() { super("$x = all theory names"); } ^ /root/JavaX-Caches/tmp_2047895908/main.java:118: error: ';' expected ret unify("x", nlMinimalList(getTheoryNames())); ^ /root/JavaX-Caches/tmp_2047895908/main.java:118: error: ';' expected ret unify("x", nlMinimalList(getTheoryNames())); ^ /root/JavaX-Caches/tmp_2047895908/main.java:123: error: illegal start of type *() { super("$x = tocons($y)"); } ^ /root/JavaX-Caches/tmp_2047895908/main.java:127: error: ';' expected ret unify("x", nlToCons(y)); ^ /root/JavaX-Caches/tmp_2047895908/main.java:127: error: ';' expected ret unify("x", nlToCons(y)); ^ /root/JavaX-Caches/tmp_2047895908/main.java:132: error: illegal start of type *() { super("$x = fromcons($y)"); } ^ /root/JavaX-Caches/tmp_2047895908/main.java:136: error: ';' expected ret unify("x", nlFromCons(y)); ^ /root/JavaX-Caches/tmp_2047895908/main.java:136: error: ';' expected ret unify("x", nlFromCons(y)); ^ /root/JavaX-Caches/tmp_2047895908/main.java:141: error: illegal start of type *() { super("$x = operator($y)"); } ^ /root/JavaX-Caches/tmp_2047895908/main.java:145: error: ';' expected ret unify("x", lisp(quote(y.head))); ^ /root/JavaX-Caches/tmp_2047895908/main.java:145: error: ';' expected ret unify("x", lisp(quote(y.head))); ^ /root/JavaX-Caches/tmp_2047895908/main.java:150: error: illegal start of type *() { super("$x = unquote($y)"); } ^ /root/JavaX-Caches/tmp_2047895908/main.java:154: error: ';' expected ret unify("x", lisp(unquote(y.head))); ^ /root/JavaX-Caches/tmp_2047895908/main.java:154: error: ';' expected ret unify("x", lisp(unquote(y.head))); ^ /root/JavaX-Caches/tmp_2047895908/main.java:160: error: illegal start of type *() { super("$x = arg $i in $y"); } ^ /root/JavaX-Caches/tmp_2047895908/main.java:166: error: ';' expected ret unify("x", y.get(i-1)); ^ /root/JavaX-Caches/tmp_2047895908/main.java:166: error: variable declaration not allowed here ret unify("x", y.get(i-1)); ^ /root/JavaX-Caches/tmp_2047895908/main.java:166: error: ';' expected ret unify("x", y.get(i-1)); ^ /root/JavaX-Caches/tmp_2047895908/main.java:168: error: not a statement ret false; ^ /root/JavaX-Caches/tmp_2047895908/main.java:168: error: ';' expected ret false; ^ /root/JavaX-Caches/tmp_2047895908/main.java:167: error: 'else' without 'if' else ^ /root/JavaX-Caches/tmp_2047895908/main.java:173: error: illegal start of type *() { super("$x = arity of $y"); } ^ /root/JavaX-Caches/tmp_2047895908/main.java:177: error: ';' expected ret unify("x", lisp(str(y.size()))); ^ /root/JavaX-Caches/tmp_2047895908/main.java:177: error: ';' expected ret unify("x", lisp(str(y.size()))); ^ /root/JavaX-Caches/tmp_2047895908/main.java:182: error: illegal start of type *() { super("$x = removeWord($word, $y)"); } ^ /root/JavaX-Caches/tmp_2047895908/main.java:187: error: ';' expected ret unify("x", nlRemoveWord(word, y)); ^ /root/JavaX-Caches/tmp_2047895908/main.java:187: error: ';' expected ret unify("x", nlRemoveWord(word, y)); ^ /root/JavaX-Caches/tmp_2047895908/main.java:192: error: illegal start of type *() { super("$x = theory $name"); } ^ /root/JavaX-Caches/tmp_2047895908/main.java:197: error: ';' expected ret parsed != null && unify("x", parsed); ^ /root/JavaX-Caches/tmp_2047895908/main.java:202: error: illegal start of type *() { super("$x = text of theory $name"); } ^ /root/JavaX-Caches/tmp_2047895908/main.java:207: error: ';' expected ret text != null && unify("x", lisp(quote(text))); ^ /root/JavaX-Caches/tmp_2047895908/main.java:212: error: illegal start of type *() { super("solve1 $text in $theories"); } ^ /root/JavaX-Caches/tmp_2047895908/main.java:221: error: '(' or '[' expected new IdentityHashMap<Lisp, S> varMap; ^ /root/JavaX-Caches/tmp_2047895908/main.java:230: error: not a statement if (solution == null) ret false; ^ /root/JavaX-Caches/tmp_2047895908/main.java:230: error: ';' expected if (solution == null) ret false; ^ /root/JavaX-Caches/tmp_2047895908/main.java:231: error: ';' expected ret unifyForeign(varMap, solution); ^ /root/JavaX-Caches/tmp_2047895908/main.java:231: error: not a statement ret unifyForeign(varMap, solution); ^ /root/JavaX-Caches/tmp_2047895908/main.java:231: error: ';' expected ret unifyForeign(varMap, solution); ^ /root/JavaX-Caches/tmp_2047895908/main.java:231: error: not a statement ret unifyForeign(varMap, solution); ^ /root/JavaX-Caches/tmp_2047895908/main.java:231: error: ';' expected ret unifyForeign(varMap, solution); ^ /root/JavaX-Caches/tmp_2047895908/main.java:236: error: illegal start of type *() { super("think $x"); } ^ /root/JavaX-Caches/tmp_2047895908/main.java:240: error: not a statement ret true; ^ /root/JavaX-Caches/tmp_2047895908/main.java:240: error: ';' expected ret true; ^ /root/JavaX-Caches/tmp_2047895908/main.java:245: error: illegal start of type *() { super("memorize_impl $x"); } ^ /root/JavaX-Caches/tmp_2047895908/main.java:252: error: not a statement ret false; ^ /root/JavaX-Caches/tmp_2047895908/main.java:252: error: ';' expected ret false; ^ /root/JavaX-Caches/tmp_2047895908/main.java:257: error: not a statement ret true; ^ /root/JavaX-Caches/tmp_2047895908/main.java:257: error: ';' expected ret true; ^ /root/JavaX-Caches/tmp_2047895908/main.java:262: error: illegal start of type *() { super("rewrite with theory $x"); } ^ /root/JavaX-Caches/tmp_2047895908/main.java:285: error: not a statement ret true; ^ /root/JavaX-Caches/tmp_2047895908/main.java:285: error: ';' expected ret true; ^ /root/JavaX-Caches/tmp_2047895908/main.java:290: error: illegal start of type *() { super("$x = nlSafeParse($y)"); } ^ /root/JavaX-Caches/tmp_2047895908/main.java:294: error: ';' expected ret unify("x", nlSafeParse(input)); ^ /root/JavaX-Caches/tmp_2047895908/main.java:294: error: ';' expected ret unify("x", nlSafeParse(input)); ^ /root/JavaX-Caches/tmp_2047895908/main.java:300: error: illegal start of type *() { super("$x starts with $y"); } ^ /root/JavaX-Caches/tmp_2047895908/main.java:304: error: ';' expected ret swic(x, y); ^ /root/JavaX-Caches/tmp_2047895908/main.java:304: error: not a statement ret swic(x, y); ^ /root/JavaX-Caches/tmp_2047895908/main.java:304: error: ';' expected ret swic(x, y); ^ /root/JavaX-Caches/tmp_2047895908/main.java:304: error: not a statement ret swic(x, y); ^ /root/JavaX-Caches/tmp_2047895908/main.java:304: error: ';' expected ret swic(x, y); ^ /root/JavaX-Caches/tmp_2047895908/main.java:310: error: illegal start of type *() { super("$x ends with $y"); } ^ /root/JavaX-Caches/tmp_2047895908/main.java:314: error: ';' expected ret endsWithIgnoreCase(x, y); ^ /root/JavaX-Caches/tmp_2047895908/main.java:314: error: not a statement ret endsWithIgnoreCase(x, y); ^ /root/JavaX-Caches/tmp_2047895908/main.java:314: error: ';' expected ret endsWithIgnoreCase(x, y); ^ /root/JavaX-Caches/tmp_2047895908/main.java:314: error: not a statement ret endsWithIgnoreCase(x, y); ^ /root/JavaX-Caches/tmp_2047895908/main.java:314: error: ';' expected ret endsWithIgnoreCase(x, y); ^ 98 errors