diff options
Diffstat (limited to '_promela_data_model_8h_source.html')
| -rw-r--r-- | _promela_data_model_8h_source.html | 201 |
1 files changed, 102 insertions, 99 deletions
diff --git a/_promela_data_model_8h_source.html b/_promela_data_model_8h_source.html index bc7a8bf..4daea10 100644 --- a/_promela_data_model_8h_source.html +++ b/_promela_data_model_8h_source.html @@ -89,7 +89,7 @@ var searchBox = new SearchBox("searchBox", "search",false,'Search'); <div id="nav-path" class="navpath"> <ul> -<li class="navelem"><a class="el" href="dir_38c8d24aef3972a7f87b834274e76e31.html">plugins</a></li><li class="navelem"><a class="el" href="dir_7cfdd7134d700922c16c1342750b4180.html">datamodel</a></li><li class="navelem"><a class="el" href="dir_672dcfd9277f9ad29030da9749b32c8e.html">promela</a></li> </ul> +<li class="navelem"><a class="el" href="dir_2cd592331b95683ae50c1625a7a0233f.html">plugins</a></li><li class="navelem"><a class="el" href="dir_752b259a3f32424381c44f18ca58e729.html">datamodel</a></li><li class="navelem"><a class="el" href="dir_f4ef9190f47eab3d8603eac93d672b2e.html">promela</a></li> </ul> </div> </div><!-- top --> <div class="header"> @@ -101,108 +101,111 @@ var searchBox = new SearchBox("searchBox", "search",false,'Search'); <div class="line"><a name="l00020"></a><span class="lineno"> 20</span> <span class="preprocessor">#ifndef PROMELADATAMODEL_H_4VG0TDMU</span></div> <div class="line"><a name="l00021"></a><span class="lineno"> 21</span> <span class="preprocessor">#define PROMELADATAMODEL_H_4VG0TDMU</span></div> <div class="line"><a name="l00022"></a><span class="lineno"> 22</span> </div> -<div class="line"><a name="l00023"></a><span class="lineno"> 23</span> <span class="preprocessor">#include "<a class="code" href="_data_model_impl_8h.html">uscxml/plugins/DataModelImpl.h</a>"</span></div> -<div class="line"><a name="l00024"></a><span class="lineno"> 24</span> <span class="preprocessor">#include <list></span></div> -<div class="line"><a name="l00025"></a><span class="lineno"> 25</span> </div> -<div class="line"><a name="l00026"></a><span class="lineno"> 26</span> <span class="preprocessor">#ifdef BUILD_AS_PLUGINS</span></div> -<div class="line"><a name="l00027"></a><span class="lineno"> 27</span> <span class="preprocessor">#include "uscxml/plugins/Plugins.h"</span></div> -<div class="line"><a name="l00028"></a><span class="lineno"> 28</span> <span class="preprocessor">#endif</span></div> -<div class="line"><a name="l00029"></a><span class="lineno"> 29</span> </div> -<div class="line"><a name="l00030"></a><span class="lineno"> 30</span> <span class="keyword">namespace </span><a class="code" href="namespaceuscxml.html">uscxml</a> {</div> -<div class="line"><a name="l00031"></a><span class="lineno"> 31</span> </div> -<div class="line"><a name="l00032"></a><span class="lineno"><a class="line" href="classuscxml_1_1_promela_data_model.html"> 32</a></span> <span class="keyword">class </span><a class="code" href="classuscxml_1_1_promela_data_model.html">PromelaDataModel</a> : <span class="keyword">public</span> <a class="code" href="classuscxml_1_1_data_model_impl.html">DataModelImpl</a> {</div> -<div class="line"><a name="l00033"></a><span class="lineno"> 33</span> <span class="keyword">public</span>:</div> -<div class="line"><a name="l00034"></a><span class="lineno"> 34</span>  <a class="code" href="classuscxml_1_1_promela_data_model.html">PromelaDataModel</a>();</div> -<div class="line"><a name="l00035"></a><span class="lineno"> 35</span>  <span class="keyword">virtual</span> ~<a class="code" href="classuscxml_1_1_promela_data_model.html">PromelaDataModel</a>();</div> -<div class="line"><a name="l00036"></a><span class="lineno"> 36</span>  <span class="keyword">virtual</span> std::shared_ptr<DataModelImpl> <a class="code" href="classuscxml_1_1_promela_data_model.html#a63f7f879d3ff0b5c4ab7df1bb3a0916d">create</a>(<a class="code" href="classuscxml_1_1_data_model_callbacks.html">DataModelCallbacks</a>* callbacks);</div> -<div class="line"><a name="l00037"></a><span class="lineno"> 37</span> </div> -<div class="line"><a name="l00038"></a><span class="lineno"><a class="line" href="classuscxml_1_1_promela_data_model.html#afa40acc002363289574a787d80d105da"> 38</a></span>  <span class="keyword">virtual</span> std::list<std::string> <a class="code" href="classuscxml_1_1_promela_data_model.html#afa40acc002363289574a787d80d105da">getNames</a>() {</div> -<div class="line"><a name="l00039"></a><span class="lineno"> 39</span>  std::list<std::string> names;</div> -<div class="line"><a name="l00040"></a><span class="lineno"> 40</span>  names.push_back(<span class="stringliteral">"promela"</span>);</div> -<div class="line"><a name="l00041"></a><span class="lineno"> 41</span>  <span class="keywordflow">return</span> names;</div> -<div class="line"><a name="l00042"></a><span class="lineno"> 42</span>  }</div> -<div class="line"><a name="l00043"></a><span class="lineno"> 43</span> </div> -<div class="line"><a name="l00044"></a><span class="lineno"> 44</span>  <span class="keyword">virtual</span> <span class="keywordtype">void</span> <a class="code" href="classuscxml_1_1_promela_data_model.html#af603d9e8a38b17454730cb24f882413a">addExtension</a>(<a class="code" href="classuscxml_1_1_data_model_extension.html">DataModelExtension</a>* ext);</div> -<div class="line"><a name="l00045"></a><span class="lineno"> 45</span> </div> -<div class="line"><a name="l00046"></a><span class="lineno"> 46</span>  <span class="keyword">virtual</span> <span class="keywordtype">bool</span> <a class="code" href="classuscxml_1_1_promela_data_model.html#a40be872250436c4a86474b4d6356ee4a">isValidSyntax</a>(<span class="keyword">const</span> std::string& expr);</div> -<div class="line"><a name="l00047"></a><span class="lineno"> 47</span> </div> -<div class="line"><a name="l00048"></a><span class="lineno"> 48</span>  <span class="keyword">virtual</span> <span class="keywordtype">void</span> <a class="code" href="classuscxml_1_1_promela_data_model.html#a17e34cb99c724627c3fd535bbb921521">setEvent</a>(<span class="keyword">const</span> <a class="code" href="classuscxml_1_1_event.html">Event</a>& event);</div> -<div class="line"><a name="l00049"></a><span class="lineno"> 49</span> </div> -<div class="line"><a name="l00050"></a><span class="lineno"> 50</span>  <span class="comment">// foreach</span></div> -<div class="line"><a name="l00051"></a><span class="lineno"> 51</span>  <span class="keyword">virtual</span> uint32_t <a class="code" href="classuscxml_1_1_promela_data_model.html#aa3f72b090e23018dd78dadc1832a0628">getLength</a>(<span class="keyword">const</span> std::string& expr);</div> -<div class="line"><a name="l00052"></a><span class="lineno"> 52</span>  <span class="keyword">virtual</span> <span class="keywordtype">void</span> <a class="code" href="classuscxml_1_1_promela_data_model.html#a634f75a8b8498be8b4caa457082e5b9f">setForeach</a>(<span class="keyword">const</span> std::string& item,</div> -<div class="line"><a name="l00053"></a><span class="lineno"> 53</span>  <span class="keyword">const</span> std::string& array,</div> -<div class="line"><a name="l00054"></a><span class="lineno"> 54</span>  <span class="keyword">const</span> std::string& index,</div> -<div class="line"><a name="l00055"></a><span class="lineno"> 55</span>  uint32_t iteration);</div> -<div class="line"><a name="l00056"></a><span class="lineno"> 56</span> </div> -<div class="line"><a name="l00057"></a><span class="lineno"> 57</span>  <span class="keyword">virtual</span> <span class="keywordtype">bool</span> <a class="code" href="classuscxml_1_1_promela_data_model.html#a514bfe55e723920ff37672eb4651ab4a">evalAsBool</a>(<span class="keyword">const</span> std::string& expr);</div> -<div class="line"><a name="l00058"></a><span class="lineno"> 58</span>  <span class="keyword">virtual</span> <a class="code" href="classuscxml_1_1_data.html">Data</a> <a class="code" href="classuscxml_1_1_promela_data_model.html#a9c3a48fd02c52f3321d1a352665df903">evalAsData</a>(<span class="keyword">const</span> std::string& expr);</div> -<div class="line"><a name="l00059"></a><span class="lineno"> 59</span>  <span class="keyword">virtual</span> <a class="code" href="classuscxml_1_1_data.html">Data</a> <a class="code" href="classuscxml_1_1_promela_data_model.html#a9d5dd58513ac5ff3836ac8ecec6e73f6">getAsData</a>(<span class="keyword">const</span> std::string& content);</div> -<div class="line"><a name="l00060"></a><span class="lineno"> 60</span> </div> -<div class="line"><a name="l00061"></a><span class="lineno"> 61</span>  <span class="keyword">virtual</span> <span class="keywordtype">bool</span> <a class="code" href="classuscxml_1_1_promela_data_model.html#a71c2239a3c4686da3a4158f65b74f6b8">isDeclared</a>(<span class="keyword">const</span> std::string& expr);</div> -<div class="line"><a name="l00062"></a><span class="lineno"> 62</span> </div> -<div class="line"><a name="l00063"></a><span class="lineno"> 63</span>  <span class="keyword">virtual</span> <span class="keywordtype">void</span> <a class="code" href="classuscxml_1_1_promela_data_model.html#aea38e4f5d543c2b05b3fa6371a383ec4">assign</a>(<span class="keyword">const</span> std::string& location, <span class="keyword">const</span> <a class="code" href="classuscxml_1_1_data.html">Data</a>& data);</div> -<div class="line"><a name="l00064"></a><span class="lineno"> 64</span>  <span class="keyword">virtual</span> <span class="keywordtype">void</span> <a class="code" href="classuscxml_1_1_promela_data_model.html#ae2e8847bd2e598fb9fd9b692352b51bf">init</a>(<span class="keyword">const</span> std::string& location, <span class="keyword">const</span> <a class="code" href="classuscxml_1_1_data.html">Data</a>& data);</div> -<div class="line"><a name="l00065"></a><span class="lineno"> 65</span> </div> -<div class="line"><a name="l00066"></a><span class="lineno"> 66</span>  <span class="keyword">virtual</span> std::string <a class="code" href="classuscxml_1_1_promela_data_model.html#a2fbcc05f4cc28e64b202f56d252ef28f">andExpressions</a>(std::list<std::string>);</div> -<div class="line"><a name="l00067"></a><span class="lineno"> 67</span> </div> -<div class="line"><a name="l00068"></a><span class="lineno"> 68</span> <span class="keyword">protected</span>:</div> -<div class="line"><a name="l00069"></a><span class="lineno"> 69</span> </div> -<div class="line"><a name="l00070"></a><span class="lineno"> 70</span>  <span class="keywordtype">int</span> dataToInt(<span class="keyword">const</span> <a class="code" href="classuscxml_1_1_data.html">Data</a>& data);</div> -<div class="line"><a name="l00071"></a><span class="lineno"> 71</span>  <span class="keywordtype">bool</span> dataToBool(<span class="keyword">const</span> <a class="code" href="classuscxml_1_1_data.html">Data</a>& data);</div> +<div class="line"><a name="l00023"></a><span class="lineno"> 23</span> <span class="preprocessor">#include "uscxml/config.h"</span></div> +<div class="line"><a name="l00024"></a><span class="lineno"> 24</span> <span class="preprocessor">#include "<a class="code" href="_data_model_impl_8h.html">uscxml/plugins/DataModelImpl.h</a>"</span></div> +<div class="line"><a name="l00025"></a><span class="lineno"> 25</span> <span class="preprocessor">#include <list></span></div> +<div class="line"><a name="l00026"></a><span class="lineno"> 26</span> </div> +<div class="line"><a name="l00027"></a><span class="lineno"> 27</span> <span class="preprocessor">#ifdef BUILD_AS_PLUGINS</span></div> +<div class="line"><a name="l00028"></a><span class="lineno"> 28</span> <span class="preprocessor">#include "<a class="code" href="_plugins_8h.html">uscxml/plugins/Plugins.h</a>"</span></div> +<div class="line"><a name="l00029"></a><span class="lineno"> 29</span> <span class="preprocessor">#endif</span></div> +<div class="line"><a name="l00030"></a><span class="lineno"> 30</span> </div> +<div class="line"><a name="l00031"></a><span class="lineno"> 31</span> <span class="keyword">namespace </span><a class="code" href="namespaceuscxml.html">uscxml</a> {</div> +<div class="line"><a name="l00032"></a><span class="lineno"> 32</span> </div> +<div class="line"><a name="l00033"></a><span class="lineno"><a class="line" href="classuscxml_1_1_promela_data_model.html"> 33</a></span> <span class="keyword">class </span><a class="code" href="classuscxml_1_1_promela_data_model.html">PromelaDataModel</a> : <span class="keyword">public</span> <a class="code" href="classuscxml_1_1_data_model_impl.html">DataModelImpl</a> {</div> +<div class="line"><a name="l00034"></a><span class="lineno"> 34</span> <span class="keyword">public</span>:</div> +<div class="line"><a name="l00035"></a><span class="lineno"> 35</span>  <a class="code" href="classuscxml_1_1_promela_data_model.html">PromelaDataModel</a>();</div> +<div class="line"><a name="l00036"></a><span class="lineno"> 36</span>  <span class="keyword">virtual</span> ~<a class="code" href="classuscxml_1_1_promela_data_model.html">PromelaDataModel</a>();</div> +<div class="line"><a name="l00037"></a><span class="lineno"> 37</span>  <span class="keyword">virtual</span> std::shared_ptr<DataModelImpl> <a class="code" href="classuscxml_1_1_promela_data_model.html#a63f7f879d3ff0b5c4ab7df1bb3a0916d">create</a>(<a class="code" href="classuscxml_1_1_data_model_callbacks.html">DataModelCallbacks</a>* callbacks);</div> +<div class="line"><a name="l00038"></a><span class="lineno"> 38</span> </div> +<div class="line"><a name="l00039"></a><span class="lineno"><a class="line" href="classuscxml_1_1_promela_data_model.html#afa40acc002363289574a787d80d105da"> 39</a></span>  <span class="keyword">virtual</span> std::list<std::string> <a class="code" href="classuscxml_1_1_promela_data_model.html#afa40acc002363289574a787d80d105da">getNames</a>() {</div> +<div class="line"><a name="l00040"></a><span class="lineno"> 40</span>  std::list<std::string> names;</div> +<div class="line"><a name="l00041"></a><span class="lineno"> 41</span>  names.push_back(<span class="stringliteral">"promela"</span>);</div> +<div class="line"><a name="l00042"></a><span class="lineno"> 42</span>  <span class="keywordflow">return</span> names;</div> +<div class="line"><a name="l00043"></a><span class="lineno"> 43</span>  }</div> +<div class="line"><a name="l00044"></a><span class="lineno"> 44</span> </div> +<div class="line"><a name="l00045"></a><span class="lineno"> 45</span>  <span class="keyword">virtual</span> <span class="keywordtype">void</span> <a class="code" href="classuscxml_1_1_promela_data_model.html#af603d9e8a38b17454730cb24f882413a">addExtension</a>(<a class="code" href="classuscxml_1_1_data_model_extension.html">DataModelExtension</a>* ext);</div> +<div class="line"><a name="l00046"></a><span class="lineno"> 46</span> </div> +<div class="line"><a name="l00047"></a><span class="lineno"> 47</span>  <span class="keyword">virtual</span> <span class="keywordtype">bool</span> <a class="code" href="classuscxml_1_1_promela_data_model.html#a40be872250436c4a86474b4d6356ee4a">isValidSyntax</a>(<span class="keyword">const</span> std::string& expr);</div> +<div class="line"><a name="l00048"></a><span class="lineno"> 48</span> </div> +<div class="line"><a name="l00049"></a><span class="lineno"> 49</span>  <span class="keyword">virtual</span> <span class="keywordtype">void</span> <a class="code" href="classuscxml_1_1_promela_data_model.html#a17e34cb99c724627c3fd535bbb921521">setEvent</a>(<span class="keyword">const</span> <a class="code" href="classuscxml_1_1_event.html">Event</a>& event);</div> +<div class="line"><a name="l00050"></a><span class="lineno"> 50</span> </div> +<div class="line"><a name="l00051"></a><span class="lineno"> 51</span>  <span class="comment">// foreach</span></div> +<div class="line"><a name="l00052"></a><span class="lineno"> 52</span>  <span class="keyword">virtual</span> uint32_t <a class="code" href="classuscxml_1_1_promela_data_model.html#aa3f72b090e23018dd78dadc1832a0628">getLength</a>(<span class="keyword">const</span> std::string& expr);</div> +<div class="line"><a name="l00053"></a><span class="lineno"> 53</span>  <span class="keyword">virtual</span> <span class="keywordtype">void</span> <a class="code" href="classuscxml_1_1_promela_data_model.html#a634f75a8b8498be8b4caa457082e5b9f">setForeach</a>(<span class="keyword">const</span> std::string& item,</div> +<div class="line"><a name="l00054"></a><span class="lineno"> 54</span>  <span class="keyword">const</span> std::string& array,</div> +<div class="line"><a name="l00055"></a><span class="lineno"> 55</span>  <span class="keyword">const</span> std::string& index,</div> +<div class="line"><a name="l00056"></a><span class="lineno"> 56</span>  uint32_t iteration);</div> +<div class="line"><a name="l00057"></a><span class="lineno"> 57</span> </div> +<div class="line"><a name="l00058"></a><span class="lineno"> 58</span>  <span class="keyword">virtual</span> <span class="keywordtype">bool</span> <a class="code" href="classuscxml_1_1_promela_data_model.html#a514bfe55e723920ff37672eb4651ab4a">evalAsBool</a>(<span class="keyword">const</span> std::string& expr);</div> +<div class="line"><a name="l00059"></a><span class="lineno"> 59</span>  <span class="keyword">virtual</span> <a class="code" href="classuscxml_1_1_data.html">Data</a> <a class="code" href="classuscxml_1_1_promela_data_model.html#a9c3a48fd02c52f3321d1a352665df903">evalAsData</a>(<span class="keyword">const</span> std::string& expr);</div> +<div class="line"><a name="l00060"></a><span class="lineno"> 60</span>  <span class="keyword">virtual</span> <a class="code" href="classuscxml_1_1_data.html">Data</a> <a class="code" href="classuscxml_1_1_promela_data_model.html#a9d5dd58513ac5ff3836ac8ecec6e73f6">getAsData</a>(<span class="keyword">const</span> std::string& content);</div> +<div class="line"><a name="l00061"></a><span class="lineno"> 61</span> </div> +<div class="line"><a name="l00062"></a><span class="lineno"> 62</span>  <span class="keyword">virtual</span> <span class="keywordtype">bool</span> <a class="code" href="classuscxml_1_1_promela_data_model.html#a71c2239a3c4686da3a4158f65b74f6b8">isDeclared</a>(<span class="keyword">const</span> std::string& expr);</div> +<div class="line"><a name="l00063"></a><span class="lineno"> 63</span> </div> +<div class="line"><a name="l00064"></a><span class="lineno"> 64</span>  <span class="keyword">virtual</span> <span class="keywordtype">void</span> <a class="code" href="classuscxml_1_1_promela_data_model.html#a596203a479d297a92c20d8fad83da0bf">assign</a>(<span class="keyword">const</span> std::string& location,</div> +<div class="line"><a name="l00065"></a><span class="lineno"> 65</span>  <span class="keyword">const</span> <a class="code" href="classuscxml_1_1_data.html">Data</a>& data,</div> +<div class="line"><a name="l00066"></a><span class="lineno"> 66</span>  <span class="keyword">const</span> std::map<std::string, std::string>& attr = std::map<std::string, std::string>());</div> +<div class="line"><a name="l00067"></a><span class="lineno"> 67</span>  <span class="keyword">virtual</span> <span class="keywordtype">void</span> <a class="code" href="classuscxml_1_1_promela_data_model.html#aeee9dcd50405a27045fb129bbbe3a322">init</a>(<span class="keyword">const</span> std::string& location,</div> +<div class="line"><a name="l00068"></a><span class="lineno"> 68</span>  <span class="keyword">const</span> <a class="code" href="classuscxml_1_1_data.html">Data</a>& data,</div> +<div class="line"><a name="l00069"></a><span class="lineno"> 69</span>  <span class="keyword">const</span> std::map<std::string, std::string>& attr = std::map<std::string, std::string>());</div> +<div class="line"><a name="l00070"></a><span class="lineno"> 70</span> </div> +<div class="line"><a name="l00071"></a><span class="lineno"> 71</span> <span class="keyword">protected</span>:</div> <div class="line"><a name="l00072"></a><span class="lineno"> 72</span> </div> -<div class="line"><a name="l00073"></a><span class="lineno"> 73</span>  <span class="keywordtype">void</span> evaluateDecl(<span class="keywordtype">void</span>* ast);</div> -<div class="line"><a name="l00074"></a><span class="lineno"> 74</span>  <a class="code" href="classuscxml_1_1_data.html">Data</a> evaluateExpr(<span class="keywordtype">void</span>* ast);</div> -<div class="line"><a name="l00075"></a><span class="lineno"> 75</span>  <span class="keywordtype">void</span> evaluateStmnt(<span class="keywordtype">void</span>* ast);</div> -<div class="line"><a name="l00076"></a><span class="lineno"> 76</span> </div> -<div class="line"><a name="l00077"></a><span class="lineno"> 77</span>  <span class="keywordtype">void</span> evaluateDecl(<span class="keyword">const</span> std::string& expr);</div> -<div class="line"><a name="l00078"></a><span class="lineno"> 78</span>  <a class="code" href="classuscxml_1_1_data.html">Data</a> evaluateExpr(<span class="keyword">const</span> std::string& expr);</div> -<div class="line"><a name="l00079"></a><span class="lineno"> 79</span>  <span class="keywordtype">void</span> evaluateStmnt(<span class="keyword">const</span> std::string& expr);</div> -<div class="line"><a name="l00080"></a><span class="lineno"> 80</span> </div> -<div class="line"><a name="l00081"></a><span class="lineno"> 81</span>  <span class="keywordtype">void</span> setVariable(<span class="keywordtype">void</span>* ast, <span class="keyword">const</span> <a class="code" href="classuscxml_1_1_data.html">Data</a>& value);</div> -<div class="line"><a name="l00082"></a><span class="lineno"> 82</span>  <a class="code" href="classuscxml_1_1_data.html">Data</a> getVariable(<span class="keywordtype">void</span>* ast);</div> +<div class="line"><a name="l00073"></a><span class="lineno"> 73</span>  <span class="keywordtype">int</span> dataToInt(<span class="keyword">const</span> <a class="code" href="classuscxml_1_1_data.html">Data</a>& data);</div> +<div class="line"><a name="l00074"></a><span class="lineno"> 74</span>  <span class="keywordtype">bool</span> dataToBool(<span class="keyword">const</span> <a class="code" href="classuscxml_1_1_data.html">Data</a>& data);</div> +<div class="line"><a name="l00075"></a><span class="lineno"> 75</span> </div> +<div class="line"><a name="l00076"></a><span class="lineno"> 76</span>  <span class="keywordtype">void</span> evaluateDecl(<span class="keywordtype">void</span>* ast);</div> +<div class="line"><a name="l00077"></a><span class="lineno"> 77</span>  <a class="code" href="classuscxml_1_1_data.html">Data</a> evaluateExpr(<span class="keywordtype">void</span>* ast);</div> +<div class="line"><a name="l00078"></a><span class="lineno"> 78</span>  <span class="keywordtype">void</span> evaluateStmnt(<span class="keywordtype">void</span>* ast);</div> +<div class="line"><a name="l00079"></a><span class="lineno"> 79</span> </div> +<div class="line"><a name="l00080"></a><span class="lineno"> 80</span>  <span class="keywordtype">void</span> evaluateDecl(<span class="keyword">const</span> std::string& expr);</div> +<div class="line"><a name="l00081"></a><span class="lineno"> 81</span>  <a class="code" href="classuscxml_1_1_data.html">Data</a> evaluateExpr(<span class="keyword">const</span> std::string& expr);</div> +<div class="line"><a name="l00082"></a><span class="lineno"> 82</span>  <span class="keywordtype">void</span> evaluateStmnt(<span class="keyword">const</span> std::string& expr);</div> <div class="line"><a name="l00083"></a><span class="lineno"> 83</span> </div> -<div class="line"><a name="l00084"></a><span class="lineno"> 84</span>  <span class="keywordtype">void</span> adaptType(<a class="code" href="classuscxml_1_1_data.html">Data</a>& data);</div> -<div class="line"><a name="l00085"></a><span class="lineno"> 85</span> </div> -<div class="line"><a name="l00086"></a><span class="lineno"> 86</span>  <span class="keywordtype">int</span> _lastMType;</div> -<div class="line"><a name="l00087"></a><span class="lineno"> 87</span> </div> -<div class="line"><a name="l00088"></a><span class="lineno"> 88</span>  <a class="code" href="classuscxml_1_1_event.html">Event</a> _event;</div> -<div class="line"><a name="l00089"></a><span class="lineno"> 89</span>  std::string _name;</div> -<div class="line"><a name="l00090"></a><span class="lineno"> 90</span>  std::string _sessionId;</div> -<div class="line"><a name="l00091"></a><span class="lineno"> 91</span> </div> -<div class="line"><a name="l00092"></a><span class="lineno"> 92</span>  <a class="code" href="classuscxml_1_1_data.html">Data</a> _variables;</div> -<div class="line"><a name="l00093"></a><span class="lineno"> 93</span> </div> -<div class="line"><a name="l00094"></a><span class="lineno"> 94</span> };</div> -<div class="line"><a name="l00095"></a><span class="lineno"> 95</span> </div> -<div class="line"><a name="l00096"></a><span class="lineno"> 96</span> <span class="preprocessor">#ifdef BUILD_AS_PLUGINS</span></div> -<div class="line"><a name="l00097"></a><span class="lineno"> 97</span> PLUMA_INHERIT_PROVIDER(PromelaDataModel, DataModelImpl);</div> -<div class="line"><a name="l00098"></a><span class="lineno"> 98</span> <span class="preprocessor">#endif</span></div> -<div class="line"><a name="l00099"></a><span class="lineno"> 99</span> </div> -<div class="line"><a name="l00100"></a><span class="lineno"> 100</span> }</div> -<div class="line"><a name="l00101"></a><span class="lineno"> 101</span> </div> -<div class="line"><a name="l00102"></a><span class="lineno"> 102</span> <span class="preprocessor">#endif </span><span class="comment">/* end of include guard: PROMELADATAMODEL_H_4VG0TDMU */</span><span class="preprocessor"></span></div> -<div class="ttc" id="classuscxml_1_1_promela_data_model_html_a63f7f879d3ff0b5c4ab7df1bb3a0916d"><div class="ttname"><a href="classuscxml_1_1_promela_data_model.html#a63f7f879d3ff0b5c4ab7df1bb3a0916d">uscxml::PromelaDataModel::create</a></div><div class="ttdeci">virtual std::shared_ptr< DataModelImpl > create(DataModelCallbacks *callbacks)</div><div class="ttdoc">The Factory wants to instantiate a new instance. </div><div class="ttdef"><b>Definition:</b> PromelaDataModel.cpp:60</div></div> -<div class="ttc" id="classuscxml_1_1_promela_data_model_html_afa40acc002363289574a787d80d105da"><div class="ttname"><a href="classuscxml_1_1_promela_data_model.html#afa40acc002363289574a787d80d105da">uscxml::PromelaDataModel::getNames</a></div><div class="ttdeci">virtual std::list< std::string > getNames()</div><div class="ttdoc">Return a list of names to be matched by the datamodel attribute in SCXML. </div><div class="ttdef"><b>Definition:</b> PromelaDataModel.h:38</div></div> +<div class="line"><a name="l00084"></a><span class="lineno"> 84</span>  <span class="keywordtype">void</span> setVariable(<span class="keywordtype">void</span>* ast, <span class="keyword">const</span> <a class="code" href="classuscxml_1_1_data.html">Data</a>& value);</div> +<div class="line"><a name="l00085"></a><span class="lineno"> 85</span>  <a class="code" href="classuscxml_1_1_data.html">Data</a> getVariable(<span class="keywordtype">void</span>* ast);</div> +<div class="line"><a name="l00086"></a><span class="lineno"> 86</span> </div> +<div class="line"><a name="l00087"></a><span class="lineno"> 87</span>  <span class="keywordtype">void</span> adaptType(<a class="code" href="classuscxml_1_1_data.html">Data</a>& data);</div> +<div class="line"><a name="l00088"></a><span class="lineno"> 88</span> </div> +<div class="line"><a name="l00089"></a><span class="lineno"> 89</span>  <span class="keywordtype">int</span> _lastMType;</div> +<div class="line"><a name="l00090"></a><span class="lineno"> 90</span> </div> +<div class="line"><a name="l00091"></a><span class="lineno"> 91</span>  <a class="code" href="classuscxml_1_1_event.html">Event</a> _event;</div> +<div class="line"><a name="l00092"></a><span class="lineno"> 92</span>  std::string _name;</div> +<div class="line"><a name="l00093"></a><span class="lineno"> 93</span>  std::string _sessionId;</div> +<div class="line"><a name="l00094"></a><span class="lineno"> 94</span> </div> +<div class="line"><a name="l00095"></a><span class="lineno"> 95</span>  <a class="code" href="classuscxml_1_1_data.html">Data</a> _variables;</div> +<div class="line"><a name="l00096"></a><span class="lineno"> 96</span> </div> +<div class="line"><a name="l00097"></a><span class="lineno"> 97</span> };</div> +<div class="line"><a name="l00098"></a><span class="lineno"> 98</span> </div> +<div class="line"><a name="l00099"></a><span class="lineno"> 99</span> <span class="preprocessor">#ifdef BUILD_AS_PLUGINS</span></div> +<div class="line"><a name="l00100"></a><span class="lineno"> 100</span> PLUMA_INHERIT_PROVIDER(PromelaDataModel, DataModelImpl)</div> +<div class="line"><a name="l00101"></a><span class="lineno"> 101</span> <span class="preprocessor">#endif</span></div> +<div class="line"><a name="l00102"></a><span class="lineno"> 102</span> </div> +<div class="line"><a name="l00103"></a><span class="lineno"> 103</span> }</div> +<div class="line"><a name="l00104"></a><span class="lineno"> 104</span> </div> +<div class="line"><a name="l00105"></a><span class="lineno"> 105</span> <span class="preprocessor">#endif </span><span class="comment">/* end of include guard: PROMELADATAMODEL_H_4VG0TDMU */</span><span class="preprocessor"></span></div> +<div class="ttc" id="classuscxml_1_1_promela_data_model_html_a63f7f879d3ff0b5c4ab7df1bb3a0916d"><div class="ttname"><a href="classuscxml_1_1_promela_data_model.html#a63f7f879d3ff0b5c4ab7df1bb3a0916d">uscxml::PromelaDataModel::create</a></div><div class="ttdeci">virtual std::shared_ptr< DataModelImpl > create(DataModelCallbacks *callbacks)</div><div class="ttdoc">The Factory wants to instantiate a new instance. </div><div class="ttdef"><b>Definition:</b> PromelaDataModel.cpp:59</div></div> +<div class="ttc" id="classuscxml_1_1_promela_data_model_html_afa40acc002363289574a787d80d105da"><div class="ttname"><a href="classuscxml_1_1_promela_data_model.html#afa40acc002363289574a787d80d105da">uscxml::PromelaDataModel::getNames</a></div><div class="ttdeci">virtual std::list< std::string > getNames()</div><div class="ttdoc">Return a list of names to be matched by the datamodel attribute in SCXML. </div><div class="ttdef"><b>Definition:</b> PromelaDataModel.h:39</div></div> <div class="ttc" id="namespaceuscxml_html"><div class="ttname"><a href="namespaceuscxml.html">uscxml</a></div><div class="ttdef"><b>Definition:</b> Breakpoint.cpp:26</div></div> -<div class="ttc" id="classuscxml_1_1_promela_data_model_html_a9c3a48fd02c52f3321d1a352665df903"><div class="ttname"><a href="classuscxml_1_1_promela_data_model.html#a9c3a48fd02c52f3321d1a352665df903">uscxml::PromelaDataModel::evalAsData</a></div><div class="ttdeci">virtual Data evalAsData(const std::string &expr)</div><div class="ttdoc">Return a string as an evaluated Data object. </div><div class="ttdef"><b>Definition:</b> PromelaDataModel.cpp:249</div></div> +<div class="ttc" id="classuscxml_1_1_promela_data_model_html_a9c3a48fd02c52f3321d1a352665df903"><div class="ttname"><a href="classuscxml_1_1_promela_data_model.html#a9c3a48fd02c52f3321d1a352665df903">uscxml::PromelaDataModel::evalAsData</a></div><div class="ttdeci">virtual Data evalAsData(const std::string &expr)</div><div class="ttdoc">Return a string as an evaluated Data object. </div><div class="ttdef"><b>Definition:</b> PromelaDataModel.cpp:262</div></div> <div class="ttc" id="_data_model_impl_8h_html"><div class="ttname"><a href="_data_model_impl_8h.html">DataModelImpl.h</a></div></div> -<div class="ttc" id="classuscxml_1_1_promela_data_model_html_a17e34cb99c724627c3fd535bbb921521"><div class="ttname"><a href="classuscxml_1_1_promela_data_model.html#a17e34cb99c724627c3fd535bbb921521">uscxml::PromelaDataModel::setEvent</a></div><div class="ttdeci">virtual void setEvent(const Event &event)</div><div class="ttdoc">Set the given event as _event in the data-model's global scope. </div><div class="ttdef"><b>Definition:</b> PromelaDataModel.cpp:92</div></div> -<div class="ttc" id="classuscxml_1_1_data_model_extension_html"><div class="ttname"><a href="classuscxml_1_1_data_model_extension.html">uscxml::DataModelExtension</a></div><div class="ttdef"><b>Definition:</b> DataModelImpl.h:59</div></div> -<div class="ttc" id="classuscxml_1_1_data_model_impl_html"><div class="ttname"><a href="classuscxml_1_1_data_model_impl.html">uscxml::DataModelImpl</a></div><div class="ttdoc">Abstract base class for all data-model implementations. </div><div class="ttdef"><b>Definition:</b> DataModelImpl.h:75</div></div> -<div class="ttc" id="classuscxml_1_1_promela_data_model_html_a40be872250436c4a86474b4d6356ee4a"><div class="ttname"><a href="classuscxml_1_1_promela_data_model.html#a40be872250436c4a86474b4d6356ee4a">uscxml::PromelaDataModel::isValidSyntax</a></div><div class="ttdeci">virtual bool isValidSyntax(const std::string &expr)</div><div class="ttdoc">Determine whether a given string constitutes valid syntax in the data-model's language. </div><div class="ttdef"><b>Definition:</b> PromelaDataModel.cpp:192</div></div> -<div class="ttc" id="classuscxml_1_1_promela_data_model_html"><div class="ttname"><a href="classuscxml_1_1_promela_data_model.html">uscxml::PromelaDataModel</a></div><div class="ttdef"><b>Definition:</b> PromelaDataModel.h:32</div></div> -<div class="ttc" id="classuscxml_1_1_promela_data_model_html_a514bfe55e723920ff37672eb4651ab4a"><div class="ttname"><a href="classuscxml_1_1_promela_data_model.html#a514bfe55e723920ff37672eb4651ab4a">uscxml::PromelaDataModel::evalAsBool</a></div><div class="ttdeci">virtual bool evalAsBool(const std::string &expr)</div><div class="ttdoc">Evaluate a given expression as a boolean. </div><div class="ttdef"><b>Definition:</b> PromelaDataModel.cpp:237</div></div> -<div class="ttc" id="classuscxml_1_1_promela_data_model_html_aa3f72b090e23018dd78dadc1832a0628"><div class="ttname"><a href="classuscxml_1_1_promela_data_model.html#aa3f72b090e23018dd78dadc1832a0628">uscxml::PromelaDataModel::getLength</a></div><div class="ttdeci">virtual uint32_t getLength(const std::string &expr)</div><div class="ttdoc">Evaluate the given expression as something iterable and return its length. </div><div class="ttdef"><b>Definition:</b> PromelaDataModel.cpp:202</div></div> -<div class="ttc" id="classuscxml_1_1_promela_data_model_html_a634f75a8b8498be8b4caa457082e5b9f"><div class="ttname"><a href="classuscxml_1_1_promela_data_model.html#a634f75a8b8498be8b4caa457082e5b9f">uscxml::PromelaDataModel::setForeach</a></div><div class="ttdeci">virtual void setForeach(const std::string &item, const std::string &array, const std::string &index, uint32_t iteration)</div><div class="ttdoc">Set a given item to the object at a given index for one iteration. </div><div class="ttdef"><b>Definition:</b> PromelaDataModel.cpp:214</div></div> -<div class="ttc" id="classuscxml_1_1_promela_data_model_html_a71c2239a3c4686da3a4158f65b74f6b8"><div class="ttname"><a href="classuscxml_1_1_promela_data_model.html#a71c2239a3c4686da3a4158f65b74f6b8">uscxml::PromelaDataModel::isDeclared</a></div><div class="ttdeci">virtual bool isDeclared(const std::string &expr)</div><div class="ttdoc">Determine whether a given variable / location is declared. </div><div class="ttdef"><b>Definition:</b> PromelaDataModel.cpp:694</div></div> -<div class="ttc" id="classuscxml_1_1_promela_data_model_html_a2fbcc05f4cc28e64b202f56d252ef28f"><div class="ttname"><a href="classuscxml_1_1_promela_data_model.html#a2fbcc05f4cc28e64b202f56d252ef28f">uscxml::PromelaDataModel::andExpressions</a></div><div class="ttdeci">virtual std::string andExpressions(std::list< std::string >)</div><div class="ttdoc">Concat the given terms into a conjunctive form. </div><div class="ttdef"><b>Definition:</b> PromelaDataModel.cpp:663</div></div> -<div class="ttc" id="classuscxml_1_1_promela_data_model_html_a9d5dd58513ac5ff3836ac8ecec6e73f6"><div class="ttname"><a href="classuscxml_1_1_promela_data_model.html#a9d5dd58513ac5ff3836ac8ecec6e73f6">uscxml::PromelaDataModel::getAsData</a></div><div class="ttdeci">virtual Data getAsData(const std::string &content)</div><div class="ttdoc">Return a string as an unevaluated Data object. </div><div class="ttdef"><b>Definition:</b> PromelaDataModel.cpp:254</div></div> -<div class="ttc" id="classuscxml_1_1_event_html"><div class="ttname"><a href="classuscxml_1_1_event.html">uscxml::Event</a></div><div class="ttdef"><b>Definition:</b> Event.h:84</div></div> -<div class="ttc" id="classuscxml_1_1_promela_data_model_html_af603d9e8a38b17454730cb24f882413a"><div class="ttname"><a href="classuscxml_1_1_promela_data_model.html#af603d9e8a38b17454730cb24f882413a">uscxml::PromelaDataModel::addExtension</a></div><div class="ttdeci">virtual void addExtension(DataModelExtension *ext)</div><div class="ttdoc">Register an extension to get data into and out of the data-model. </div><div class="ttdef"><b>Definition:</b> PromelaDataModel.cpp:723</div></div> -<div class="ttc" id="classuscxml_1_1_promela_data_model_html_ae2e8847bd2e598fb9fd9b692352b51bf"><div class="ttname"><a href="classuscxml_1_1_promela_data_model.html#ae2e8847bd2e598fb9fd9b692352b51bf">uscxml::PromelaDataModel::init</a></div><div class="ttdeci">virtual void init(const std::string &location, const Data &data)</div><div class="ttdoc">Initialize a variable / location in the data-model with a given data object. </div><div class="ttdef"><b>Definition:</b> PromelaDataModel.cpp:690</div></div> +<div class="ttc" id="classuscxml_1_1_promela_data_model_html_a17e34cb99c724627c3fd535bbb921521"><div class="ttname"><a href="classuscxml_1_1_promela_data_model.html#a17e34cb99c724627c3fd535bbb921521">uscxml::PromelaDataModel::setEvent</a></div><div class="ttdeci">virtual void setEvent(const Event &event)</div><div class="ttdoc">Set the given event as _event in the data-model's global scope. </div><div class="ttdef"><b>Definition:</b> PromelaDataModel.cpp:91</div></div> +<div class="ttc" id="classuscxml_1_1_data_model_extension_html"><div class="ttname"><a href="classuscxml_1_1_data_model_extension.html">uscxml::DataModelExtension</a></div><div class="ttdef"><b>Definition:</b> DataModelImpl.h:61</div></div> +<div class="ttc" id="classuscxml_1_1_data_model_impl_html"><div class="ttname"><a href="classuscxml_1_1_data_model_impl.html">uscxml::DataModelImpl</a></div><div class="ttdoc">Abstract base class for all data-model implementations. </div><div class="ttdef"><b>Definition:</b> DataModelImpl.h:77</div></div> +<div class="ttc" id="classuscxml_1_1_promela_data_model_html_a40be872250436c4a86474b4d6356ee4a"><div class="ttname"><a href="classuscxml_1_1_promela_data_model.html#a40be872250436c4a86474b4d6356ee4a">uscxml::PromelaDataModel::isValidSyntax</a></div><div class="ttdeci">virtual bool isValidSyntax(const std::string &expr)</div><div class="ttdoc">Determine whether a given string constitutes valid syntax in the data-model's language. </div><div class="ttdef"><b>Definition:</b> PromelaDataModel.cpp:191</div></div> +<div class="ttc" id="classuscxml_1_1_promela_data_model_html"><div class="ttname"><a href="classuscxml_1_1_promela_data_model.html">uscxml::PromelaDataModel</a></div><div class="ttdef"><b>Definition:</b> PromelaDataModel.h:33</div></div> +<div class="ttc" id="classuscxml_1_1_promela_data_model_html_a514bfe55e723920ff37672eb4651ab4a"><div class="ttname"><a href="classuscxml_1_1_promela_data_model.html#a514bfe55e723920ff37672eb4651ab4a">uscxml::PromelaDataModel::evalAsBool</a></div><div class="ttdeci">virtual bool evalAsBool(const std::string &expr)</div><div class="ttdoc">Evaluate a given expression as a boolean. </div><div class="ttdef"><b>Definition:</b> PromelaDataModel.cpp:250</div></div> +<div class="ttc" id="_plugins_8h_html"><div class="ttname"><a href="_plugins_8h.html">Plugins.h</a></div></div> +<div class="ttc" id="classuscxml_1_1_promela_data_model_html_aa3f72b090e23018dd78dadc1832a0628"><div class="ttname"><a href="classuscxml_1_1_promela_data_model.html#aa3f72b090e23018dd78dadc1832a0628">uscxml::PromelaDataModel::getLength</a></div><div class="ttdeci">virtual uint32_t getLength(const std::string &expr)</div><div class="ttdoc">Evaluate the given expression as something iterable and return its length. </div><div class="ttdef"><b>Definition:</b> PromelaDataModel.cpp:201</div></div> +<div class="ttc" id="classuscxml_1_1_promela_data_model_html_a634f75a8b8498be8b4caa457082e5b9f"><div class="ttname"><a href="classuscxml_1_1_promela_data_model.html#a634f75a8b8498be8b4caa457082e5b9f">uscxml::PromelaDataModel::setForeach</a></div><div class="ttdeci">virtual void setForeach(const std::string &item, const std::string &array, const std::string &index, uint32_t iteration)</div><div class="ttdoc">Set a given item to the object at a given index for one iteration. </div><div class="ttdef"><b>Definition:</b> PromelaDataModel.cpp:213</div></div> +<div class="ttc" id="classuscxml_1_1_promela_data_model_html_a71c2239a3c4686da3a4158f65b74f6b8"><div class="ttname"><a href="classuscxml_1_1_promela_data_model.html#a71c2239a3c4686da3a4158f65b74f6b8">uscxml::PromelaDataModel::isDeclared</a></div><div class="ttdeci">virtual bool isDeclared(const std::string &expr)</div><div class="ttdoc">Determine whether a given variable / location is declared. </div><div class="ttdef"><b>Definition:</b> PromelaDataModel.cpp:736</div></div> +<div class="ttc" id="classuscxml_1_1_promela_data_model_html_a9d5dd58513ac5ff3836ac8ecec6e73f6"><div class="ttname"><a href="classuscxml_1_1_promela_data_model.html#a9d5dd58513ac5ff3836ac8ecec6e73f6">uscxml::PromelaDataModel::getAsData</a></div><div class="ttdeci">virtual Data getAsData(const std::string &content)</div><div class="ttdoc">Return a string as an unevaluated Data object. </div><div class="ttdef"><b>Definition:</b> PromelaDataModel.cpp:267</div></div> +<div class="ttc" id="classuscxml_1_1_event_html"><div class="ttname"><a href="classuscxml_1_1_event.html">uscxml::Event</a></div><div class="ttdef"><b>Definition:</b> Event.h:94</div></div> +<div class="ttc" id="classuscxml_1_1_promela_data_model_html_af603d9e8a38b17454730cb24f882413a"><div class="ttname"><a href="classuscxml_1_1_promela_data_model.html#af603d9e8a38b17454730cb24f882413a">uscxml::PromelaDataModel::addExtension</a></div><div class="ttdeci">virtual void addExtension(DataModelExtension *ext)</div><div class="ttdoc">Register an extension to get data into and out of the data-model. </div><div class="ttdef"><b>Definition:</b> PromelaDataModel.cpp:765</div></div> <div class="ttc" id="classuscxml_1_1_data_model_callbacks_html"><div class="ttname"><a href="classuscxml_1_1_data_model_callbacks.html">uscxml::DataModelCallbacks</a></div><div class="ttdoc">Callbacks available for every data-model. </div><div class="ttdef"><b>Definition:</b> DataModelImpl.h:47</div></div> -<div class="ttc" id="classuscxml_1_1_promela_data_model_html_aea38e4f5d543c2b05b3fa6371a383ec4"><div class="ttname"><a href="classuscxml_1_1_promela_data_model.html#aea38e4f5d543c2b05b3fa6371a383ec4">uscxml::PromelaDataModel::assign</a></div><div class="ttdeci">virtual void assign(const std::string &location, const Data &data)</div><div class="ttdoc">Assign a data object to a location in the data-model. </div><div class="ttdef"><b>Definition:</b> PromelaDataModel.cpp:684</div></div> -<div class="ttc" id="classuscxml_1_1_data_html"><div class="ttname"><a href="classuscxml_1_1_data.html">uscxml::Data</a></div><div class="ttdef"><b>Definition:</b> Data.h:43</div></div> +<div class="ttc" id="classuscxml_1_1_promela_data_model_html_aeee9dcd50405a27045fb129bbbe3a322"><div class="ttname"><a href="classuscxml_1_1_promela_data_model.html#aeee9dcd50405a27045fb129bbbe3a322">uscxml::PromelaDataModel::init</a></div><div class="ttdeci">virtual void init(const std::string &location, const Data &data, const std::map< std::string, std::string > &attr=std::map< std::string, std::string >())</div><div class="ttdoc">Initialize a variable / location in the data-model with a given data object. </div><div class="ttdef"><b>Definition:</b> PromelaDataModel.cpp:709</div></div> +<div class="ttc" id="classuscxml_1_1_data_html"><div class="ttname"><a href="classuscxml_1_1_data.html">uscxml::Data</a></div><div class="ttdef"><b>Definition:</b> Data.h:44</div></div> +<div class="ttc" id="classuscxml_1_1_promela_data_model_html_a596203a479d297a92c20d8fad83da0bf"><div class="ttname"><a href="classuscxml_1_1_promela_data_model.html#a596203a479d297a92c20d8fad83da0bf">uscxml::PromelaDataModel::assign</a></div><div class="ttdeci">virtual void assign(const std::string &location, const Data &data, const std::map< std::string, std::string > &attr=std::map< std::string, std::string >())</div><div class="ttdoc">Assign a data object to a location in the data-model. </div><div class="ttdef"><b>Definition:</b> PromelaDataModel.cpp:700</div></div> </div><!-- fragment --></div><!-- contents --> <!-- HTML footer for doxygen 1.8.8--> <!-- start footer part --> @@ -212,7 +215,7 @@ var searchBox = new SearchBox("searchBox", "search",false,'Search'); </div> </div> <!-- <hr class="footer"/><address class="footer"><small> -Generated on Mon Dec 12 2016 19:50:04 for uSCXML by  <a href="http://www.doxygen.org/index.html"> +Generated on Sun Apr 30 2017 22:52:19 for uSCXML by  <a href="http://www.doxygen.org/index.html"> <img class="footer" src="doxygen.png" alt="doxygen"/> </a> 1.8.10 </small></address> --> |