add serializable to the Supplier in generated Java code.

p-org · Sep 20, 2023 · faaaec7 · faaaec7
1 parent 1092c3b
commit faaaec7
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 1 deletion.
diff --git a/Src/PCompiler/CompilerCore/Backend/Java/Constants.cs b/Src/PCompiler/CompilerCore/Backend/Java/Constants.cs
@@ -26,6 +26,7 @@ internal static class Constants
 
         private static readonly string[] JreDefaultImports =
         {
+            "java.io.Serializable"
             "java.util.*",
         };
 

diff --git a/Src/PCompiler/CompilerCore/Backend/Java/MachineGenerator.cs b/Src/PCompiler/CompilerCore/Backend/Java/MachineGenerator.cs
@@ -116,7 +116,7 @@ private void WriteMonitorDecl()
 
         private void WriteSupplierCDef(string cname)
         {
-            WriteLine($"public static class Supplier implements java.util.function.Supplier<{cname}> {{");
+            WriteLine($"public static class Supplier implements java.util.function.Supplier<{cname}>, Serializable {{");
             WriteLine($"public {cname} get() {{");
             WriteLine($"{cname} ret = new {cname}();");
             WriteLine("ret.ready();"); // TODO: at this point, we may as well ready() within the monitor's constructor?
-Original file line number
+Diff line change
@@ Expand Up / @@ -26,6 +26,7 @@ internal static class Constants @@
             private static readonly string[] JreDefaultImports =
             {
+                "java.io.Serializable"
                 "java.util.*",
             };
@@ Expand Down @@