Wrote /root/JavaX-Caches/tmp_1882910673/main.java - 5887 bytes (written=5887, should be 5887)
javac=0, ecj=1, useJarBot=0
Checking ECJ at port 4898 at 127.0.0.1
/root/jdk-17/bin/javac -source 1.8 -target 1.8 -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_849115386 /root/JavaX-Caches/tmp_1882910673/main.java 2>&1
[Compilation Error]Compiler errors. Medium transpile. Show Java sources. Show snippet. Edit.
/root/JavaX-Caches/tmp_1882910673/main.java:1: error: class, interface, or enum expected
!759
^
/root/JavaX-Caches/tmp_1882910673/main.java:4: error: class, interface, or enum expected
static new MultiMap signMap;
^
/root/JavaX-Caches/tmp_1882910673/main.java:6: error: class, interface, or enum expected
p {
^
/root/JavaX-Caches/tmp_1882910673/main.java:8: error: class, interface, or enum expected
if (theories2.isEmpty()) {
^
/root/JavaX-Caches/tmp_1882910673/main.java:10: error: class, interface, or enum expected
for (S name : keys(theoriesOld))
^
/root/JavaX-Caches/tmp_1882910673/main.java:12: error: class, interface, or enum expected
}
^
/root/JavaX-Caches/tmp_1882910673/main.java:14: error: class, interface, or enum expected
}
^
/root/JavaX-Caches/tmp_1882910673/main.java:18: error: class, interface, or enum expected
}
^
/root/JavaX-Caches/tmp_1882910673/main.java:22: error: class, interface, or enum expected
}
^
/root/JavaX-Caches/tmp_1882910673/main.java:26: error: class, interface, or enum expected
}
^
/root/JavaX-Caches/tmp_1882910673/main.java:30: error: class, interface, or enum expected
if (text == null) fail("Theory * not found", name);
^
/root/JavaX-Caches/tmp_1882910673/main.java:31: error: class, interface, or enum expected
ret text;
^
/root/JavaX-Caches/tmp_1882910673/main.java:32: error: class, interface, or enum expected
}
^
/root/JavaX-Caches/tmp_1882910673/main.java:36: error: class, interface, or enum expected
}
^
/root/JavaX-Caches/tmp_1882910673/main.java:40: error: class, interface, or enum expected
theories.put(name, text);
^
/root/JavaX-Caches/tmp_1882910673/main.java:41: error: class, interface, or enum expected
}
^
/root/JavaX-Caches/tmp_1882910673/main.java:49: error: class, interface, or enum expected
if "list theories"
^
/root/JavaX-Caches/tmp_1882910673/main.java:52: error: class, interface, or enum expected
if "show theory *" exceptionToUser {
^
/root/JavaX-Caches/tmp_1882910673/main.java:54: error: class, interface, or enum expected
}
^
/root/JavaX-Caches/tmp_1882910673/main.java:58: error: class, interface, or enum expected
}
^
/root/JavaX-Caches/tmp_1882910673/main.java:62: error: class, interface, or enum expected
ret saveTheory(name, text);
^
/root/JavaX-Caches/tmp_1882910673/main.java:63: error: class, interface, or enum expected
}
^
/root/JavaX-Caches/tmp_1882910673/main.java:67: error: class, interface, or enum expected
addTheory(name, text);
^
/root/JavaX-Caches/tmp_1882910673/main.java:70: error: class, interface, or enum expected
ret format("OK, added theory *", name);
^
/root/JavaX-Caches/tmp_1882910673/main.java:71: error: class, interface, or enum expected
}
^
/root/JavaX-Caches/tmp_1882910673/main.java:75: error: class, interface, or enum expected
if (empty(user)) ret "go to slack please";
^
/root/JavaX-Caches/tmp_1882910673/main.java:76: error: class, interface, or enum expected
S name = m.unq(0);
^
/root/JavaX-Caches/tmp_1882910673/main.java:77: error: class, interface, or enum expected
if (!hasTheory(name)) ret "Theory not found";
^
/root/JavaX-Caches/tmp_1882910673/main.java:78: error: class, interface, or enum expected
L users = signMap.get(name);
^
/root/JavaX-Caches/tmp_1882910673/main.java:79: error: class, interface, or enum expected
if (users.contains(user))
^
/root/JavaX-Caches/tmp_1882910673/main.java:81: error: class, interface, or enum expected
signMap.put(name, user);
^
/root/JavaX-Caches/tmp_1882910673/main.java:82: error: class, interface, or enum expected
save("signMap");
^
/root/JavaX-Caches/tmp_1882910673/main.java:83: error: class, interface, or enum expected
ret "OK, signed! All signers: " + structure(signMap.get(name));
^
/root/JavaX-Caches/tmp_1882910673/main.java:84: error: class, interface, or enum expected
}
^
/root/JavaX-Caches/tmp_1882910673/main.java:88: error: class, interface, or enum expected
if (empty(user)) ret "go to slack please";
^
/root/JavaX-Caches/tmp_1882910673/main.java:89: error: class, interface, or enum expected
S name = m.unq(0);
^
/root/JavaX-Caches/tmp_1882910673/main.java:90: error: class, interface, or enum expected
L users = signMap.get(name);
^
/root/JavaX-Caches/tmp_1882910673/main.java:91: error: class, interface, or enum expected
if (!users.contains(user)) {
^
/root/JavaX-Caches/tmp_1882910673/main.java:93: error: class, interface, or enum expected
ret "You have not signed this theory.";
^
/root/JavaX-Caches/tmp_1882910673/main.java:94: error: class, interface, or enum expected
}
^
/root/JavaX-Caches/tmp_1882910673/main.java:96: error: class, interface, or enum expected
save("signMap");
^
/root/JavaX-Caches/tmp_1882910673/main.java:97: error: class, interface, or enum expected
ret "OK, unsigned! Remaining signers: " + structure(signMap.get(name));
^
/root/JavaX-Caches/tmp_1882910673/main.java:98: error: class, interface, or enum expected
}
^
/root/JavaX-Caches/tmp_1882910673/main.java:102: error: class, interface, or enum expected
if (empty(user)) ret "go to slack please";
^
/root/JavaX-Caches/tmp_1882910673/main.java:103: error: class, interface, or enum expected
ret structure(signMap.reverseGet(user));
^
/root/JavaX-Caches/tmp_1882910673/main.java:104: error: class, interface, or enum expected
}
^
/root/JavaX-Caches/tmp_1882910673/main.java:108: error: class, interface, or enum expected
ret structure(signMap.reverseGet(user));
^
/root/JavaX-Caches/tmp_1882910673/main.java:109: error: class, interface, or enum expected
}
^
/root/JavaX-Caches/tmp_1882910673/main.java:114: error: class, interface, or enum expected
if (!master()) ret null;
^
/root/JavaX-Caches/tmp_1882910673/main.java:116: error: class, interface, or enum expected
if "delete theory *" exceptionToUser {
^
/root/JavaX-Caches/tmp_1882910673/main.java:118: error: class, interface, or enum expected
if (hasTheory(name)) {
^
/root/JavaX-Caches/tmp_1882910673/main.java:120: error: class, interface, or enum expected
logMap("deleted", "name", name, "text", text, "time", now(), "signers", signMap.get(name));
^
/root/JavaX-Caches/tmp_1882910673/main.java:121: error: class, interface, or enum expected
logMap("deleted", "name", name, "signers", signMap.get(name));
^
/root/JavaX-Caches/tmp_1882910673/main.java:122: error: class, interface, or enum expected
theories.remove(name);
^
/root/JavaX-Caches/tmp_1882910673/main.java:124: error: class, interface, or enum expected
signMap.remove(name);
^
/root/JavaX-Caches/tmp_1882910673/main.java:125: error: class, interface, or enum expected
save("signMap");
^
/root/JavaX-Caches/tmp_1882910673/main.java:127: error: class, interface, or enum expected
ret format("Theory * backed up & deleted", name);
^
/root/JavaX-Caches/tmp_1882910673/main.java:128: error: class, interface, or enum expected
} else
^
/root/JavaX-Caches/tmp_1882910673/main.java:130: error: class, interface, or enum expected
}
^
/root/JavaX-Caches/tmp_1882910673/main.java:134: error: class, interface, or enum expected
if (hasTheory(newName))
^
/root/JavaX-Caches/tmp_1882910673/main.java:136: error: class, interface, or enum expected
if (hasTheory(name)) {
^
/root/JavaX-Caches/tmp_1882910673/main.java:138: error: class, interface, or enum expected
theories.put(newName, text);
^
/root/JavaX-Caches/tmp_1882910673/main.java:139: error: class, interface, or enum expected
theories.remove(name);
^
/root/JavaX-Caches/tmp_1882910673/main.java:142: error: class, interface, or enum expected
L signers = signMap.get(name);
^
/root/JavaX-Caches/tmp_1882910673/main.java:143: error: class, interface, or enum expected
signMap.addAll(newName, signers);
^
/root/JavaX-Caches/tmp_1882910673/main.java:144: error: class, interface, or enum expected
signMap.remove(name);
^
/root/JavaX-Caches/tmp_1882910673/main.java:145: error: class, interface, or enum expected
save("signMap");
^
/root/JavaX-Caches/tmp_1882910673/main.java:147: error: class, interface, or enum expected
ret format("Theory * renamed to *", name, newName);
^
/root/JavaX-Caches/tmp_1882910673/main.java:148: error: class, interface, or enum expected
} else
^
/root/JavaX-Caches/tmp_1882910673/main.java:150: error: class, interface, or enum expected
}
^
/root/JavaX-Caches/tmp_1882910673/main.java:155: error: class, interface, or enum expected
for (S name: theoryNames) {
^
/root/JavaX-Caches/tmp_1882910673/main.java:158: error: class, interface, or enum expected
else {
^
/root/JavaX-Caches/tmp_1882910673/main.java:161: error: class, interface, or enum expected
}
^
/root/JavaX-Caches/tmp_1882910673/main.java:164: error: class, interface, or enum expected
}
^
/root/JavaX-Caches/tmp_1882910673/main.java:168: error: class, interface, or enum expected
for (S name : theories.keySet()) {
^
/root/JavaX-Caches/tmp_1882910673/main.java:170: error: class, interface, or enum expected
boolean multi = false;
^
/root/JavaX-Caches/tmp_1882910673/main.java:171: error: class, interface, or enum expected
Exception error = null;
^
/root/JavaX-Caches/tmp_1882910673/main.java:172: error: class, interface, or enum expected
try {
^
/root/JavaX-Caches/tmp_1882910673/main.java:174: error: class, interface, or enum expected
} catch (Exception e) {
^
/root/JavaX-Caches/tmp_1882910673/main.java:176: error: class, interface, or enum expected
}
^
/root/JavaX-Caches/tmp_1882910673/main.java:182: error: class, interface, or enum expected
if (error != null)
^
/root/JavaX-Caches/tmp_1882910673/main.java:184: error: class, interface, or enum expected
data.add(map);
^
/root/JavaX-Caches/tmp_1882910673/main.java:185: error: class, interface, or enum expected
}
^
/root/JavaX-Caches/tmp_1882910673/main.java:187: error: class, interface, or enum expected
}
^
/root/JavaX-Caches/tmp_1882910673/main.java:192: error: class, interface, or enum expected
while (!empty(l) && empty(trim(first(l))))
^
/root/JavaX-Caches/tmp_1882910673/main.java:194: error: class, interface, or enum expected
ret autoUnindent(fromLines(l));
^
/root/JavaX-Caches/tmp_1882910673/main.java:195: error: class, interface, or enum expected
}
^
/root/JavaX-Caches/tmp_1882910673/main.java:199: error: class, interface, or enum expected
logMap(has ? "modified" : "added", "name", name, "text", text, "time", now());
^
/root/JavaX-Caches/tmp_1882910673/main.java:200: error: class, interface, or enum expected
theories.put(name, text);
^
/root/JavaX-Caches/tmp_1882910673/main.java:201: error: class, interface, or enum expected
ret format((has ? "OK, modified theory *" : "OK, added theory *"), name);
^
/root/JavaX-Caches/tmp_1882910673/main.java:202: error: class, interface, or enum expected
}
^
91 errors