00001 #pragma once 00002 00003 #include <fdr/assertions/property_assertion.h> 00004 00005 namespace FDR 00006 { 00007 namespace Assertions 00008 { 00010 class HasTraceAssertion : public PropertyAssertion 00011 { 00012 public: 00021 HasTraceAssertion(const std::shared_ptr<Session>& session, const std::shared_ptr<LTS::Machine>& machine, 00022 const LTS::SemanticModel model, const std::vector<LTS::CompiledEvent>& trace); 00023 ~HasTraceAssertion(); 00024 00025 HasTraceAssertion(const HasTraceAssertion& assertion) = delete; 00026 HasTraceAssertion& operator=(const HasTraceAssertion& assertion) = delete; 00027 00028 private: 00029 HasTraceAssertion(); 00030 00031 friend struct AssertionFactory; 00032 }; 00033 00034 } // end Assertions 00035 } // end FDR