LCOV - code coverage report
Current view: top level - bes/include/mcrl2/bes - traverser.h (source / functions) Hit Total Coverage
Test: mcrl2_coverage.info.cleaned Lines: 100 129 77.5 %
Date: 2020-10-20 00:45:57 Functions: 29 48 60.4 %
Legend: Lines: hit not hit

          Line data    Source code
       1             : // Author(s): Jeroen van der Wulp, 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 mcrl2/bes/traverser.h
      10             : /// \brief add your file description here.
      11             : 
      12             : // To avoid circular inclusion problems
      13             : #ifndef MCRL2_BES_BOOLEAN_EQUATION_SYSTEM_H
      14             : #include "mcrl2/bes/boolean_equation_system.h"
      15             : #endif
      16             : 
      17             : #ifndef MCRL2_BES_TRAVERSER_H
      18             : #define MCRL2_BES_TRAVERSER_H
      19             : 
      20             : namespace mcrl2
      21             : {
      22             : 
      23             : namespace bes
      24             : {
      25             : 
      26             : //--- start generated add_traverser_boolean_expressions code ---//
      27             : template <template <class> class Traverser, class Derived>
      28             : struct add_traverser_boolean_expressions: public Traverser<Derived>
      29             : {
      30             :   typedef Traverser<Derived> super;
      31             :   using super::enter;
      32             :   using super::leave;
      33             :   using super::apply;
      34             : 
      35          33 :   void apply(const bes::boolean_equation& x)
      36             :   {
      37          33 :     static_cast<Derived&>(*this).enter(x);
      38          33 :     static_cast<Derived&>(*this).apply(x.formula());
      39          33 :     static_cast<Derived&>(*this).leave(x);
      40          33 :   }
      41             : 
      42          14 :   void apply(const bes::boolean_equation_system& x)
      43             :   {
      44          14 :     static_cast<Derived&>(*this).enter(x);
      45          14 :     static_cast<Derived&>(*this).apply(x.equations());
      46          14 :     static_cast<Derived&>(*this).apply(x.initial_state());
      47          14 :     static_cast<Derived&>(*this).leave(x);
      48          14 :   }
      49             : 
      50           6 :   void apply(const bes::true_& x)
      51             :   {
      52           6 :     static_cast<Derived&>(*this).enter(x);
      53             :     // skip
      54           6 :     static_cast<Derived&>(*this).leave(x);
      55           6 :   }
      56             : 
      57           1 :   void apply(const bes::false_& x)
      58             :   {
      59           1 :     static_cast<Derived&>(*this).enter(x);
      60             :     // skip
      61           1 :     static_cast<Derived&>(*this).leave(x);
      62           1 :   }
      63             : 
      64           0 :   void apply(const bes::not_& x)
      65             :   {
      66           0 :     static_cast<Derived&>(*this).enter(x);
      67           0 :     static_cast<Derived&>(*this).apply(x.operand());
      68           0 :     static_cast<Derived&>(*this).leave(x);
      69           0 :   }
      70             : 
      71          33 :   void apply(const bes::and_& x)
      72             :   {
      73          33 :     static_cast<Derived&>(*this).enter(x);
      74          33 :     static_cast<Derived&>(*this).apply(x.left());
      75          33 :     static_cast<Derived&>(*this).apply(x.right());
      76          33 :     static_cast<Derived&>(*this).leave(x);
      77          33 :   }
      78             : 
      79          18 :   void apply(const bes::or_& x)
      80             :   {
      81          18 :     static_cast<Derived&>(*this).enter(x);
      82          18 :     static_cast<Derived&>(*this).apply(x.left());
      83          18 :     static_cast<Derived&>(*this).apply(x.right());
      84          18 :     static_cast<Derived&>(*this).leave(x);
      85          18 :   }
      86             : 
      87           1 :   void apply(const bes::imp& x)
      88             :   {
      89           1 :     static_cast<Derived&>(*this).enter(x);
      90           1 :     static_cast<Derived&>(*this).apply(x.left());
      91           1 :     static_cast<Derived&>(*this).apply(x.right());
      92           1 :     static_cast<Derived&>(*this).leave(x);
      93           1 :   }
      94             : 
      95          44 :   void apply(const bes::boolean_variable& x)
      96             :   {
      97          44 :     static_cast<Derived&>(*this).enter(x);
      98             :     // skip
      99          44 :     static_cast<Derived&>(*this).leave(x);
     100          44 :   }
     101             : 
     102         324 :   void apply(const bes::boolean_expression& x)
     103             :   {
     104         324 :     static_cast<Derived&>(*this).enter(x);
     105         324 :     if (bes::is_true(x))
     106             :     {
     107           8 :       static_cast<Derived&>(*this).apply(atermpp::down_cast<bes::true_>(x));
     108             :     }
     109         316 :     else if (bes::is_false(x))
     110             :     {
     111           3 :       static_cast<Derived&>(*this).apply(atermpp::down_cast<bes::false_>(x));
     112             :     }
     113         313 :     else if (bes::is_not(x))
     114             :     {
     115           0 :       static_cast<Derived&>(*this).apply(atermpp::down_cast<bes::not_>(x));
     116             :     }
     117         313 :     else if (bes::is_and(x))
     118             :     {
     119          52 :       static_cast<Derived&>(*this).apply(atermpp::down_cast<bes::and_>(x));
     120             :     }
     121         261 :     else if (bes::is_or(x))
     122             :     {
     123          36 :       static_cast<Derived&>(*this).apply(atermpp::down_cast<bes::or_>(x));
     124             :     }
     125         225 :     else if (bes::is_imp(x))
     126             :     {
     127           5 :       static_cast<Derived&>(*this).apply(atermpp::down_cast<bes::imp>(x));
     128             :     }
     129         220 :     else if (bes::is_boolean_variable(x))
     130             :     {
     131         220 :       static_cast<Derived&>(*this).apply(atermpp::down_cast<bes::boolean_variable>(x));
     132             :     }
     133         324 :     static_cast<Derived&>(*this).leave(x);
     134         324 :   }
     135             : 
     136             : };
     137             : 
     138             : /// \brief Traverser class
     139             : template <typename Derived>
     140             : struct boolean_expression_traverser: public add_traverser_boolean_expressions<core::traverser, Derived>
     141             : {
     142             : };
     143             : //--- end generated add_traverser_boolean_expressions code ---//
     144             : 
     145             : //--- start generated add_traverser_boolean_variables code ---//
     146             : template <template <class> class Traverser, class Derived>
     147             : struct add_traverser_boolean_variables: public Traverser<Derived>
     148             : {
     149             :   typedef Traverser<Derived> super;
     150             :   using super::enter;
     151             :   using super::leave;
     152             :   using super::apply;
     153             : 
     154           2 :   void apply(const bes::boolean_equation& x)
     155             :   {
     156           2 :     static_cast<Derived&>(*this).enter(x);
     157           2 :     static_cast<Derived&>(*this).apply(x.variable());
     158           2 :     static_cast<Derived&>(*this).apply(x.formula());
     159           2 :     static_cast<Derived&>(*this).leave(x);
     160           2 :   }
     161             : 
     162           1 :   void apply(const bes::boolean_equation_system& x)
     163             :   {
     164           1 :     static_cast<Derived&>(*this).enter(x);
     165           1 :     static_cast<Derived&>(*this).apply(x.equations());
     166           1 :     static_cast<Derived&>(*this).apply(x.initial_state());
     167           1 :     static_cast<Derived&>(*this).leave(x);
     168           1 :   }
     169             : 
     170           0 :   void apply(const bes::true_& x)
     171             :   {
     172           0 :     static_cast<Derived&>(*this).enter(x);
     173             :     // skip
     174           0 :     static_cast<Derived&>(*this).leave(x);
     175           0 :   }
     176             : 
     177           0 :   void apply(const bes::false_& x)
     178             :   {
     179           0 :     static_cast<Derived&>(*this).enter(x);
     180             :     // skip
     181           0 :     static_cast<Derived&>(*this).leave(x);
     182           0 :   }
     183             : 
     184           0 :   void apply(const bes::not_& x)
     185             :   {
     186           0 :     static_cast<Derived&>(*this).enter(x);
     187           0 :     static_cast<Derived&>(*this).apply(x.operand());
     188           0 :     static_cast<Derived&>(*this).leave(x);
     189           0 :   }
     190             : 
     191           1 :   void apply(const bes::and_& x)
     192             :   {
     193           1 :     static_cast<Derived&>(*this).enter(x);
     194           1 :     static_cast<Derived&>(*this).apply(x.left());
     195           1 :     static_cast<Derived&>(*this).apply(x.right());
     196           1 :     static_cast<Derived&>(*this).leave(x);
     197           1 :   }
     198             : 
     199           1 :   void apply(const bes::or_& x)
     200             :   {
     201           1 :     static_cast<Derived&>(*this).enter(x);
     202           1 :     static_cast<Derived&>(*this).apply(x.left());
     203           1 :     static_cast<Derived&>(*this).apply(x.right());
     204           1 :     static_cast<Derived&>(*this).leave(x);
     205           1 :   }
     206             : 
     207           0 :   void apply(const bes::imp& x)
     208             :   {
     209           0 :     static_cast<Derived&>(*this).enter(x);
     210           0 :     static_cast<Derived&>(*this).apply(x.left());
     211           0 :     static_cast<Derived&>(*this).apply(x.right());
     212           0 :     static_cast<Derived&>(*this).leave(x);
     213           0 :   }
     214             : 
     215           8 :   void apply(const bes::boolean_variable& x)
     216             :   {
     217           8 :     static_cast<Derived&>(*this).enter(x);
     218             :     // skip
     219           8 :     static_cast<Derived&>(*this).leave(x);
     220           8 :   }
     221             : 
     222           8 :   void apply(const bes::boolean_expression& x)
     223             :   {
     224           8 :     static_cast<Derived&>(*this).enter(x);
     225           8 :     if (bes::is_true(x))
     226             :     {
     227           0 :       static_cast<Derived&>(*this).apply(atermpp::down_cast<bes::true_>(x));
     228             :     }
     229           8 :     else if (bes::is_false(x))
     230             :     {
     231           0 :       static_cast<Derived&>(*this).apply(atermpp::down_cast<bes::false_>(x));
     232             :     }
     233           8 :     else if (bes::is_not(x))
     234             :     {
     235           0 :       static_cast<Derived&>(*this).apply(atermpp::down_cast<bes::not_>(x));
     236             :     }
     237           8 :     else if (bes::is_and(x))
     238             :     {
     239           1 :       static_cast<Derived&>(*this).apply(atermpp::down_cast<bes::and_>(x));
     240             :     }
     241           7 :     else if (bes::is_or(x))
     242             :     {
     243           1 :       static_cast<Derived&>(*this).apply(atermpp::down_cast<bes::or_>(x));
     244             :     }
     245           6 :     else if (bes::is_imp(x))
     246             :     {
     247           0 :       static_cast<Derived&>(*this).apply(atermpp::down_cast<bes::imp>(x));
     248             :     }
     249           6 :     else if (bes::is_boolean_variable(x))
     250             :     {
     251           6 :       static_cast<Derived&>(*this).apply(atermpp::down_cast<bes::boolean_variable>(x));
     252             :     }
     253           8 :     static_cast<Derived&>(*this).leave(x);
     254           8 :   }
     255             : 
     256             : };
     257             : 
     258             : /// \brief Traverser class
     259             : template <typename Derived>
     260             : struct boolean_variable_traverser: public add_traverser_boolean_variables<core::traverser, Derived>
     261             : {
     262             : };
     263             : //--- end generated add_traverser_boolean_variables code ---//
     264             : 
     265             : //--- start generated add_traverser_identifier_strings code ---//
     266             : //--- end generated add_traverser_identifier_strings code ---//
     267             : 
     268             : } // namespace bes
     269             : 
     270             : } // namespace mcrl2
     271             : 
     272             : #endif // MCRL2_BES_TRAVERSER_H

Generated by: LCOV version 1.13