From 0caecdf74ead0d19cc3b13eeb96dcd206243d71e Mon Sep 17 00:00:00 2001
From: Gabriel Corona <gabriel.corona@loria.fr>
Date: Wed, 13 Apr 2016 11:39:26 +0200
Subject: [PATCH 1/1] [mc] s/getRecordElement/getTransition/

---
 src/mc/CommunicationDeterminismChecker.cpp | 2 +-
 src/mc/LivenessChecker.cpp                 | 2 +-
 src/mc/SafetyChecker.cpp                   | 2 +-
 src/mc/mc_state.cpp                        | 2 +-
 src/mc/mc_state.h                          | 2 +-
 5 files changed, 5 insertions(+), 5 deletions(-)

diff --git a/src/mc/CommunicationDeterminismChecker.cpp b/src/mc/CommunicationDeterminismChecker.cpp
index d2438e48b6..2c09269583 100644
--- a/src/mc/CommunicationDeterminismChecker.cpp
+++ b/src/mc/CommunicationDeterminismChecker.cpp
@@ -310,7 +310,7 @@ RecordTrace CommunicationDeterminismChecker::getRecordTrace() // override
 {
   RecordTrace res;
   for (auto const& state : stack_)
-    res.push_back(state->getRecordElement());
+    res.push_back(state->getTransition());
   return res;
 }
 
diff --git a/src/mc/LivenessChecker.cpp b/src/mc/LivenessChecker.cpp
index 74751880bd..2ea5b2285b 100644
--- a/src/mc/LivenessChecker.cpp
+++ b/src/mc/LivenessChecker.cpp
@@ -298,7 +298,7 @@ RecordTrace LivenessChecker::getRecordTrace() // override
 {
   RecordTrace res;
   for (std::shared_ptr<Pair> const& pair : explorationStack_)
-    res.push_back(pair->graph_state->getRecordElement());
+    res.push_back(pair->graph_state->getTransition());
   return res;
 }
 
diff --git a/src/mc/SafetyChecker.cpp b/src/mc/SafetyChecker.cpp
index 0ff20dfcb3..7a28d281eb 100644
--- a/src/mc/SafetyChecker.cpp
+++ b/src/mc/SafetyChecker.cpp
@@ -69,7 +69,7 @@ RecordTrace SafetyChecker::getRecordTrace() // override
 {
   RecordTrace res;
   for (auto const& state : stack_)
-    res.push_back(state->getRecordElement());
+    res.push_back(state->getTransition());
   return res;
 }
 
diff --git a/src/mc/mc_state.cpp b/src/mc/mc_state.cpp
index a40b2cadb8..8f675cf61d 100644
--- a/src/mc/mc_state.cpp
+++ b/src/mc/mc_state.cpp
@@ -60,7 +60,7 @@ std::size_t State::interleaveSize() const
     [](simgrid::mc::ProcessState const& state) { return state.isToInterleave(); });
 }
 
-Transition State::getRecordElement() const
+Transition State::getTransition() const
 {
   return this->transition;
 }
diff --git a/src/mc/mc_state.h b/src/mc/mc_state.h
index 851d7c07b5..43554bffd0 100644
--- a/src/mc/mc_state.h
+++ b/src/mc/mc_state.h
@@ -143,7 +143,7 @@ struct XBT_PRIVATE State {
   {
     this->processStates[process->pid].interleave();
   }
-  Transition getRecordElement() const;
+  Transition getTransition() const;
 };
 
 XBT_PRIVATE void replay(std::list<std::unique_ptr<simgrid::mc::State>> const& stack);
-- 
2.20.1