Wrote /root/JavaX-Caches/tmp_267256162/main.java - 896 bytes (written=896, should be 896)
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_248167307 /root/JavaX-Caches/tmp_267256162/main.java 2>&1
[Compilation Error]Compiler errors. Medium transpile. Show Java sources. Show snippet. Edit.
/root/JavaX-Caches/tmp_267256162/main.java:1: error: class, interface, or enum expected
sbool ai_deriveFacts_debug;
^
/root/JavaX-Caches/tmp_267256162/main.java:3: error: class, interface, or enum expected
static Set ai_deriveFacts(L rules, LS facts) {
^
/root/JavaX-Caches/tmp_267256162/main.java:4: error: class, interface, or enum expected
final new NLLogicChecker_v3 c;
^
/root/JavaX-Caches/tmp_267256162/main.java:5: error: class, interface, or enum expected
c.facts = facts;
^
/root/JavaX-Caches/tmp_267256162/main.java:6: error: class, interface, or enum expected
final new NLLogicChecker_v2.Matching m;
^
/root/JavaX-Caches/tmp_267256162/main.java:7: error: class, interface, or enum expected
m.verbose = ai_deriveFacts_debug;
^
/root/JavaX-Caches/tmp_267256162/main.java:8: error: class, interface, or enum expected
final new LinkedHashSet outFacts;
^
/root/JavaX-Caches/tmp_267256162/main.java:9: error: class, interface, or enum expected
for (final IfThen rule : nlLogic_filterByRHSConstructs(rules, 'fact)) {
^
/root/JavaX-Caches/tmp_267256162/main.java:9: error: class, interface, or enum expected
for (final IfThen rule : nlLogic_filterByRHSConstructs(rules, 'fact)) {
^
/root/JavaX-Caches/tmp_267256162/main.java:9: error: unclosed character literal
for (final IfThen rule : nlLogic_filterByRHSConstructs(rules, 'fact)) {
^
/root/JavaX-Caches/tmp_267256162/main.java:12: error: class, interface, or enum expected
c.iterate(rule.in, m, r {
^
/root/JavaX-Caches/tmp_267256162/main.java:16: error: class, interface, or enum expected
for (Exp e : nlLogic_unrollAnd(rule.out)) {
^
/root/JavaX-Caches/tmp_267256162/main.java:18: error: class, interface, or enum expected
if (e cast Func)
^
/root/JavaX-Caches/tmp_267256162/main.java:21: error: class, interface, or enum expected
if (c.checkHelper(e, m))
^
/root/JavaX-Caches/tmp_267256162/main.java:23: error: class, interface, or enum expected
print("Ignoring unknown RHS element: " + e);
^
/root/JavaX-Caches/tmp_267256162/main.java:24: error: class, interface, or enum expected
}
^
/root/JavaX-Caches/tmp_267256162/main.java:26: error: class, interface, or enum expected
}
^
/root/JavaX-Caches/tmp_267256162/main.java:28: error: class, interface, or enum expected
}
^
18 errors