Make PMachines serializable in java (#729)

mchadalavada · web-flow · commit fe1e4f711dae · 2024-05-20T12:13:35.000-07:00
* Make PEvents and PTypes serializable in java

* Make PMachines in java generated code serializable
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);

Original file line number	Diff line number	Diff line change
`@@ -76,7 +76,7 @@ private void WriteMonitorDecl()`
`76`	`76`	`{`
`77`	`77`	`var cname = Names.GetNameForDecl(_currentMachine);`
`78`	`78`
`79`		`- WriteLine($"public static class {cname} extends prt.Monitor<{cname}.{Constants.StateEnumName}> {{");`
	`79`	`+ WriteLine($"public static class {cname} extends prt.Monitor<{cname}.{Constants.StateEnumName}> implements Serializable {{");`
`80`	`80`
`81`	`81`	`WriteLine();`
`82`	`82`	`WriteSupplierCDef(cname);`