Make PMachines serializable in java (#729)

* Make PEvents and PTypes serializable in java * Make PMachines in java generated code serializable
p-org · May 20, 2024 · fe1e4f7 · fe1e4f7
1 parent 43a9803
commit fe1e4f7
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/Src/PCompiler/CompilerCore/Backend/Java/MachineGenerator.cs b/Src/PCompiler/CompilerCore/Backend/Java/MachineGenerator.cs
@@ -76,7 +76,7 @@ private void WriteMonitorDecl()
         {
             var cname = Names.GetNameForDecl(_currentMachine);
 
-            WriteLine($"public static class {cname} extends prt.Monitor<{cname}.{Constants.StateEnumName}> {{");
+            WriteLine($"public static class {cname} extends prt.Monitor<{cname}.{Constants.StateEnumName}> implements Serializable {{");
 
             WriteLine();
             WriteSupplierCDef(cname);