[Cleanup] Moving PJsonFormatter to PCheckerLogJsonFormatter and movin…

…g PLogFormatter to PCheckerLogTextFormatter
p-org · Aug 21, 2024 · 8113251 · 8113251
1 parent 1825fe4
commit 8113251
Show file tree

Hide file tree

Showing 8 changed files with 613 additions and 943 deletions.
diff --git a/Src/PChecker/CheckerCore/PRuntime/PJsonFormatter.cs b/Src/PChecker/CheckerCore/PRuntime/PJsonFormatter.cs
diff --git a/Src/PChecker/CheckerCore/PRuntime/PLogFormatter.cs b/Src/PChecker/CheckerCore/PRuntime/PLogFormatter.cs
diff --git a/Src/PChecker/CheckerCore/StateMachines/Logging/JsonWriter.cs b/Src/PChecker/CheckerCore/StateMachines/Logging/JsonWriter.cs
@@ -358,7 +358,7 @@ public LogEntry()
     public class LogDetails
     {
         /// <summary>
-        /// The text log from PLogFormatter. Removes the log tags.
+        /// The text log from PCheckerLogTextFormatter. Removes the log tags.
         /// I.e., no &lt;SomeLog&gt; in the beginning.
         /// Available for all log types.
         /// </summary>
@@ -557,7 +557,7 @@ public JsonWriter()
 
         /// <summary>
         /// Enum representing the different log types the JSON error trace logs.
-        /// Referenced from PLogFormatter.cs and PCheckerLogTextFormatter.cs
+        /// Referenced from PCheckerLogTextFormatter.cs and PCheckerLogTextFormatter.cs
         /// to see what those formatter logs. Check IStateMachineRuntimeLog.cs to see
         /// each log types' description and when they are invoked.
         /// </summary>

diff --git a/Src/PChecker/CheckerCore/StateMachines/Logging/LogWriter.cs b/Src/PChecker/CheckerCore/StateMachines/Logging/LogWriter.cs
@@ -7,6 +7,7 @@
 using System.Linq;
 using PChecker.StateMachines.Events;
 using PChecker.IO.Logging;
+using PChecker.PRuntime;
 
 namespace PChecker.StateMachines.Logging
 {
@@ -602,7 +603,7 @@ internal void RegisterLog(IStateMachineRuntimeLog log)
                 }
             }
 
-            // If log is or of subclass PCheckerLogJsonFormatter (i.e. when log is PJsonFormatter),
+            // If log is or of subclass PCheckerLogJsonFormatter (i.e. when log is PCheckerLogJsonFormatter),
             // update the Writer reference to the JsonLogger instance defined within LogWriter.cs
             if (log is PCheckerLogJsonFormatter tempJsonFormatter)
             {