LCOV - code coverage report
Current view: top level - process/source - process.cpp (source / functions) Hit Total Coverage
Test: mcrl2_coverage.info.cleaned Lines: 20 62 32.3 %
Date: 2019-06-26 00:32:26 Functions: 18 60 30.0 %
Legend: Lines: hit not hit

          Line data    Source code
       1             : // Author(s): Wieger Wesselink
       2             : // Copyright: see the accompanying file COPYING or copy at
       3             : // https://github.com/mCRL2org/mCRL2/blob/master/COPYING
       4             : //
       5             : // Distributed under the Boost Software License, Version 1.0.
       6             : // (See accompanying file LICENSE_1_0.txt or copy at
       7             : // http://www.boost.org/LICENSE_1_0.txt)
       8             : //
       9             : /// \file process.cpp
      10             : /// \brief
      11             : 
      12             : #include "mcrl2/process/find.h"
      13             : #include "mcrl2/process/index_traits.h"
      14             : #include "mcrl2/process/normalize_sorts.h"
      15             : #include "mcrl2/process/print.h"
      16             : #include "mcrl2/process/replace.h"
      17             : #include "mcrl2/process/translate_user_notation.h"
      18             : 
      19             : namespace mcrl2
      20             : {
      21             : 
      22             : namespace process
      23             : {
      24             : 
      25             : //--- start generated process overloads ---//
      26           0 : std::string pp(const process::action_list& x) { return process::pp< process::action_list >(x); }
      27           0 : std::string pp(const process::action_vector& x) { return process::pp< process::action_vector >(x); }
      28           0 : std::string pp(const process::action_label_list& x) { return process::pp< process::action_label_list >(x); }
      29           0 : std::string pp(const process::action_label_vector& x) { return process::pp< process::action_label_vector >(x); }
      30           0 : std::string pp(const process::process_identifier_list& x) { return process::pp< process::process_identifier_list >(x); }
      31           0 : std::string pp(const process::process_identifier_vector& x) { return process::pp< process::process_identifier_vector >(x); }
      32           0 : std::string pp(const process::process_expression_list& x) { return process::pp< process::process_expression_list >(x); }
      33           0 : std::string pp(const process::process_expression_vector& x) { return process::pp< process::process_expression_vector >(x); }
      34           0 : std::string pp(const process::process_equation_list& x) { return process::pp< process::process_equation_list >(x); }
      35           0 : std::string pp(const process::process_equation_vector& x) { return process::pp< process::process_equation_vector >(x); }
      36         129 : std::string pp(const process::action& x) { return process::pp< process::action >(x); }
      37          18 : std::string pp(const process::action_label& x) { return process::pp< process::action_label >(x); }
      38           1 : std::string pp(const process::action_name_multiset& x) { return process::pp< process::action_name_multiset >(x); }
      39           0 : std::string pp(const process::allow& x) { return process::pp< process::allow >(x); }
      40           0 : std::string pp(const process::at& x) { return process::pp< process::at >(x); }
      41           0 : std::string pp(const process::block& x) { return process::pp< process::block >(x); }
      42           0 : std::string pp(const process::bounded_init& x) { return process::pp< process::bounded_init >(x); }
      43           0 : std::string pp(const process::choice& x) { return process::pp< process::choice >(x); }
      44           0 : std::string pp(const process::comm& x) { return process::pp< process::comm >(x); }
      45           0 : std::string pp(const process::communication_expression& x) { return process::pp< process::communication_expression >(x); }
      46           0 : std::string pp(const process::delta& x) { return process::pp< process::delta >(x); }
      47           0 : std::string pp(const process::hide& x) { return process::pp< process::hide >(x); }
      48           0 : std::string pp(const process::if_then& x) { return process::pp< process::if_then >(x); }
      49           0 : std::string pp(const process::if_then_else& x) { return process::pp< process::if_then_else >(x); }
      50           0 : std::string pp(const process::left_merge& x) { return process::pp< process::left_merge >(x); }
      51           0 : std::string pp(const process::merge& x) { return process::pp< process::merge >(x); }
      52           0 : std::string pp(const process::process_equation& x) { return process::pp< process::process_equation >(x); }
      53          37 : std::string pp(const process::process_expression& x) { return process::pp< process::process_expression >(x); }
      54           0 : std::string pp(const process::process_identifier& x) { return process::pp< process::process_identifier >(x); }
      55           0 : std::string pp(const process::process_instance& x) { return process::pp< process::process_instance >(x); }
      56           0 : std::string pp(const process::process_instance_assignment& x) { return process::pp< process::process_instance_assignment >(x); }
      57           7 : std::string pp(const process::process_specification& x) { return process::pp< process::process_specification >(x); }
      58           0 : std::string pp(const process::rename& x) { return process::pp< process::rename >(x); }
      59           0 : std::string pp(const process::rename_expression& x) { return process::pp< process::rename_expression >(x); }
      60           0 : std::string pp(const process::seq& x) { return process::pp< process::seq >(x); }
      61           0 : std::string pp(const process::stochastic_operator& x) { return process::pp< process::stochastic_operator >(x); }
      62           0 : std::string pp(const process::sum& x) { return process::pp< process::sum >(x); }
      63           0 : std::string pp(const process::sync& x) { return process::pp< process::sync >(x); }
      64           0 : std::string pp(const process::tau& x) { return process::pp< process::tau >(x); }
      65           0 : std::string pp(const process::timed_multi_action& x) { return process::pp< process::timed_multi_action >(x); }
      66           0 : std::string pp(const process::untyped_multi_action& x) { return process::pp< process::untyped_multi_action >(x); }
      67           0 : std::string pp(const process::untyped_process_assignment& x) { return process::pp< process::untyped_process_assignment >(x); }
      68           8 : process::action normalize_sorts(const process::action& x, const data::sort_specification& sortspec) { return process::normalize_sorts< process::action >(x, sortspec); }
      69           6 : process::action_label_list normalize_sorts(const process::action_label_list& x, const data::sort_specification& sortspec) { return process::normalize_sorts< process::action_label_list >(x, sortspec); }
      70           0 : void normalize_sorts(process::process_equation_vector& x, const data::sort_specification& sortspec) { process::normalize_sorts< process::process_equation_vector >(x, sortspec); }
      71         942 : void normalize_sorts(process::process_specification& x, const data::sort_specification& /* sortspec */) { process::normalize_sorts< process::process_specification >(x, x.data()); }
      72           8 : process::action translate_user_notation(const process::action& x) { return process::translate_user_notation< process::action >(x); }
      73          11 : process::process_expression translate_user_notation(const process::process_expression& x) { return process::translate_user_notation< process::process_expression >(x); }
      74         936 : void translate_user_notation(process::process_specification& x) { process::translate_user_notation< process::process_specification >(x); }
      75           0 : std::set<data::sort_expression> find_sort_expressions(const process::action_label_list& x) { return process::find_sort_expressions< process::action_label_list >(x); }
      76           0 : std::set<data::sort_expression> find_sort_expressions(const process::process_equation_vector& x) { return process::find_sort_expressions< process::process_equation_vector >(x); }
      77           1 : std::set<data::sort_expression> find_sort_expressions(const process::process_expression& x) { return process::find_sort_expressions< process::process_expression >(x); }
      78           0 : std::set<data::sort_expression> find_sort_expressions(const process::process_specification& x) { return process::find_sort_expressions< process::process_specification >(x); }
      79           7 : std::set<data::variable> find_all_variables(const process::action& x) { return process::find_all_variables< process::action >(x); }
      80          16 : std::set<data::variable> find_free_variables(const process::action& x) { return process::find_free_variables< process::action >(x); }
      81           0 : std::set<data::variable> find_free_variables(const process::process_specification& x) { return process::find_free_variables< process::process_specification >(x); }
      82        1374 : std::set<core::identifier_string> find_identifiers(const process::process_specification& x) { return process::find_identifiers< process::process_specification >(x); }
      83             : //--- end generated process overloads ---//
      84             : 
      85          92 : static bool register_hooks()
      86             : {
      87          92 :   register_process_identifier_hooks();
      88          92 :   return true;
      89             : }
      90          92 : static bool mcrl2_register_process(register_hooks());
      91             : 
      92             : } // namespace process
      93             : 
      94         276 : } // namespace mcrl2
      95             : 

Generated by: LCOV version 1.12