[Cleanup] Moving PJsonFormatter to PCheckerLogJsonFormatter and movin…

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

Hide file tree

Showing 7 changed files with 612 additions and 945 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/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)
             {