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