SERVER-43589 Failpoint to log TLA+ trace events

2 files changed, 6 insertions, 1 deletions

diff --git a/src/mongo/logger/log_component.cpp b/src/mongo/logger/log_component.cpp
index ec389788d43..56a93625b23 100644
--- a/src/mongo/logger/log_component.cpp
+++ b/src/mongo/logger/log_component.cpp
@@ -146,6 +146,8 @@ StringData LogComponent::toStringData() const {
             return "transaction"_sd;
         case kConnectionPool:
             return "connectionPool"_sd;
+        case kTlaPlusTrace:
+            return "tlaPlusTrace"_sd;
         case kNumLogComponents:
             return "total"_sd;
             // No default. Compiler should complain if there's a log component that's not handled.
@@ -234,6 +236,8 @@ StringData LogComponent::getNameForLog() const {
             return "TXN     "_sd;
         case kConnectionPool:
             return "CONNPOOL"_sd;
+        case kTlaPlusTrace:
+            return "TLA_PLUS"_sd;
         case kNumLogComponents:
             return "TOTAL   "_sd;
             // No default. Compiler should complain if there's a log component that's not handled.
diff --git a/src/mongo/logger/log_component.h b/src/mongo/logger/log_component.h
index 50b07b55283..324c36ed55c 100644
--- a/src/mongo/logger/log_component.h
+++ b/src/mongo/logger/log_component.h
@@ -71,7 +71,8 @@ public:
         kTracking,
         kTransaction,
         kConnectionPool,
-        kNumLogComponents
+        kTlaPlusTrace,
+        kNumLogComponents,
     };
 
     /* implicit */ LogComponent(Value value) : _value(value) {}