yasmine
initial_pseudostate_impl.hpp
Go to the documentation of this file.
1 // //
3 // This file is part of the Seadex yasmine ecosystem (http://yasmine.seadex.de). //
4 // Copyright (C) 2016-2017 Seadex GmbH //
5 // //
6 // Licensing information is available in the folder "license" which is part of this distribution. //
7 // The same information is available on the www @ http://yasmine.seadex.de/Licenses.html. //
8 // //
10 
11 
12 #ifndef INITIAL_PSEUDOSTATE_IMPL_39ED4963_725A_495E_ADAE_09739A333E71
13 #define INITIAL_PSEUDOSTATE_IMPL_39ED4963_725A_495E_ADAE_09739A333E71
14 
15 
16 #include "initial_pseudostate.hpp"
18 
19 
20 namespace sxy
21 {
22 
23 
24 class initial_pseudostate_impl SX_FINAL:
25  public virtual initial_pseudostate, public region_pseudostate_impl
26 {
27 public:
28  explicit initial_pseudostate_impl( const std::string& _name );
29  virtual ~initial_pseudostate_impl() SX_NOEXCEPT SX_OVERRIDE;
30  SX_NO_COPY(initial_pseudostate_impl)
31  virtual bool check( state_machine_defects& _defects ) const SX_OVERRIDE;
32  virtual void accept_vertex_visitor( const_vertex_visitor& _visitor ) const SX_OVERRIDE;
33  virtual void accept_vertex_visitor( vertex_visitor& _visitor ) SX_OVERRIDE;
34  virtual void accept_pseudostate_visitor( pseudostate_visitor& _visitor ) const SX_OVERRIDE;
35  virtual transition * get_transition() const SX_OVERRIDE;
36  virtual void add_incoming_transition( transition& _incoming_transition ) SX_OVERRIDE;
37 };
38 
39 
40 }
41 
42 
43 #endif
std::vector< state_machine_defect > state_machine_defects
Definition: state_machine_defect_fwd.hpp:23
Definition: adapter_cpp11.hpp:21