Add Java equality and hash functions to machines in pobser… (#861)

* Add Java equality and hash functions to events and machines in pobserve mode

Generate deepEquals(), equals(), and hashCode() methods in the Java code for
events and machines when compiled in pobserve mode.

* Remove unncessary event code generation

Author: lewisbru

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

@@ -81,4 +81,4 @@ private void WriteEventDecl(Event e)
             WriteLine($"}} // {eventName}");
         }
     }
-}
+}

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

@@ -83,11 +83,7 @@ private void WriteMonitorDecl()
             WriteLine();
 
             // monitor fields
-            foreach (var field in _currentMachine.Fields)
-            {
-                var type = Types.JavaTypeFor(field.Type);
-                var name = Names.GetNameForDecl(field);
-
+            foreach (var (type, name) in FieldsForCurrentMachine()) {
                 WriteLine($"private {type.TypeName} {name} = {type.DefaultValue};");
                 WriteLine($"public {type.TypeName} get_{name}() {{ return this.{name}; }};");
                 WriteLine();
@@ -118,7 +114,7 @@ private void WriteMonitorDecl()
                 WriteFunction(f);
             }
 
-            WriteToString();
+            WriteOverloads();
 
             WriteLine();
 
@@ -967,21 +963,59 @@ private void WriteStructureAccess(IPExpr e)
             }
         }
 
-        private void WriteToString()
+        private void WriteOverloads()
         {
+            // toString()
+            WriteLine();
             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()");
+
+            // deepEquals
+            WriteLine();
+            WriteLine($"public boolean deepEquals({_currentMachine.Name} other) {{");
+            WriteLine("return (true");
+            foreach (var (jType, fieldName) in FieldsForCurrentMachine())
+            {
+                Write("&& ");
+                WriteLine(jType.IsPrimitive
+                    ? $"this.{fieldName} == other.{fieldName}"
+                    : $"{Constants.PrtDeepEqualsMethodName}(this.{fieldName}, other.{fieldName})");
+            }
+            WriteLine(");");
+            WriteLine("} // deepEquals()");
+
+            // equals
+            WriteLine();
+            WriteLine("public boolean equals(Object other) {");
+            WriteLine($"return (this.getClass() == other.getClass()) && this.deepEquals(({_currentMachine.Name})other);");
+            WriteLine("} // equals()");
+
+            // hashCode
+            WriteLine();
+            WriteLine("public int hashCode() {");
+            Write("return Objects.hash(");
+            foreach (var (sep, (_, fieldName)) in FieldsForCurrentMachine().WithPrefixSep(", "))
+            {
+                Write($"{sep}{fieldName}");
+            }
+            WriteLine(");");
+            WriteLine("} // hashCode()");
+        }
+
+        private IEnumerable<(TypeManager.JType, string)> FieldsForCurrentMachine()
+        {
+            return _currentMachine.Fields.Select(field => (Types.JavaTypeFor(field.Type), Names.GetNameForDecl(field)));
         }
-        
     }
 }