[mc] Move main communication determinism code in a CommunicationDeterminismChecker...

[simgrid.git] / src / mc / CommunicationDeterminismChecker.hpp

diff --git a/src/mc/CommunicationDeterminismChecker.hpp b/src/mc/CommunicationDeterminismChecker.hpp
new file mode 100644 (file)
index 0000000..d23c95c
--- /dev/null
+++ b/src/mc/CommunicationDeterminismChecker.hpp
@@ -0,0 +1,29 @@
+/* Copyright (c) 2016. The SimGrid Team.
+ * All rights reserved.                                                     */
+
+/* This program is free software; you can redistribute it and/or modify it
+ * under the terms of the license (GNU LGPL) which comes with this package. */
+
+#include "src/mc/mc_forward.hpp"
+#include "src/mc/Checker.hpp"
+
+#ifndef SIMGRID_MC_COMMUNICATION_DETERMINISM_CHECKER_HPP
+#define SIMGRID_MC_COMMUNICATION_DETERMINISM_CHECKER_HPP
+
+namespace simgrid {
+namespace mc {
+
+class CommunicationDeterminismChecker : public Checker {
+public:
+  CommunicationDeterminismChecker(Session& session);
+  ~CommunicationDeterminismChecker();
+  int run() override;
+private:
+  void prepare();
+  int main();
+};
+
+#endif
+
+}
+}