Fixing the missing ToDict function in PEvent (#652)

p-org · Sep 13, 2023 · 1e99f40 · 1e99f40
1 parent bf2394f
commit 1e99f40
Show file tree

Hide file tree

Showing 2 changed files with 11 additions and 3 deletions.
diff --git a/Src/PRuntimes/PCSharpRuntime/PEvent.cs b/Src/PRuntimes/PCSharpRuntime/PEvent.cs
@@ -29,7 +29,7 @@ public virtual IPrtValue Clone()
 
         public object ToDict()
         {
-            throw new NotImplementedException();
+            return this.GetType().Name;
         }
 
         public override bool Equals(object obj)
@@ -41,6 +41,11 @@ public override int GetHashCode()
         {
             return GetType().FullName.GetHashCode();
         }
+
+        public override string ToString()
+        {
+            return GetType().Name;
+        }
     }
 
     public class PHalt : PEvent

diff --git a/Tst/RegressionTests/Feature3Exprs/Correct/events1/events1.p b/Tst/RegressionTests/Feature3Exprs/Correct/events1/events1.p
@@ -1,4 +1,4 @@
-event eAllocateRequest;
+event eAllocateRequest: event;
 
 machine Main {
     start state Init {
@@ -8,8 +8,11 @@ machine Main {
             var myevent: event;
             myevent = eAllocateRequest;
             myevents += (eAllocateRequest);
+            send this, eAllocateRequest, eAllocateRequest;
             print(format("myevents: {0}", myevents));
-            assert (myevent in myevents && eAllocateRequest == myevent);
+            assert ((myevent in myevents) && eAllocateRequest == myevent);
         }
+        ignore eAllocateRequest;
     }
+
 }