From: Gabriel Corona <gabriel.corona@loria.fr>
Date: Wed, 13 Apr 2016 09:39:26 +0000 (+0200)
Subject: [mc] s/getRecordElement/getTransition/
X-Git-Tag: v3_13~97^2~17
X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/0caecdf74ead0d19cc3b13eeb96dcd206243d71e?hp=ebc5f7ed172f242031fc644120ce45f690b619bc

[mc] s/getRecordElement/getTransition/
---

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);