Merge branch 'master' into surw

Author: ankushdesai

Src/PCompiler/CompilerCore/Backend/Java/MachineGenerator.cs

@@ -117,6 +117,9 @@ private void WriteMonitorDecl()
             {
                 WriteFunction(f);
             }
+
+            WriteToString();
+            
             WriteLine();
 
             WriteLine($"}} // {cname} monitor definition");
@@ -964,5 +967,21 @@ private void WriteStructureAccess(IPExpr e)
             }
         }
 
+        private void WriteToString()
+        {
+            WriteLine("public String toString() {");
+            WriteLine($"StringBuilder sb = new StringBuilder(\"{_currentMachine.Name}\");");
+            
+            WriteLine("sb.append(\"[\");");
+            foreach (var (sep, field) in _currentMachine.Fields.WithPrefixSep(", "))
+            {
+                WriteLine($"sb.append(\"{sep}{field.Name}=\" + {Names.GetNameForDecl(field)});");
+            }
+            WriteLine("sb.append(\"]\");");
+            
+            WriteLine("return sb.toString();");
+            WriteLine("} // toString()");
+        }
+        
     }
 }