00001 #pragma once
00002
00003 #include <fdr/assertions/behaviour/behaviour.h>
00004
00005 namespace FDR
00006 {
00007 namespace Assertions
00008 {
00012 class LoopBehaviour : public Behaviour
00013 {
00014 public:
00015 LoopBehaviour(const std::shared_ptr<LTS::Machine>& machine,
00016 const std::vector<std::shared_ptr<LTS::Node>>& node_path,
00017 const std::vector<LTS::CompiledEvent>& trace, const unsigned int loop_index);
00018
00023 unsigned int loop_index() const;
00024
00025 private:
00026 const unsigned int loop_index_;
00027 };
00028
00029 }
00030 }