LCOV - code coverage report
Current view: top level - atermpp/source - function_symbol.cpp (source / functions) Hit Total Coverage
Test: mcrl2_coverage.info.cleaned Lines: 13 13 100.0 %
Date: 2020-07-11 00:44:39 Functions: 5 5 100.0 %
Legend: Lines: hit not hit

          Line data    Source code
       1             : // Author(s): Maurice Laveaux
       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             : 
      10             : #include "mcrl2/atermpp/detail/global_aterm_pool.h"
      11             : 
      12             : using namespace atermpp;
      13             : using namespace atermpp::detail;
      14             : 
      15         141 : function_symbol detail::g_as_int(g_term_pool<true>().as_int());
      16         141 : function_symbol detail::g_as_list(g_term_pool<true>().as_list());
      17         141 : function_symbol detail::g_as_empty_list(g_term_pool<true>().as_empty_list());
      18             : 
      19     1341994 : function_symbol::function_symbol(const std::string& name, const std::size_t arity, const bool check_for_registered_functions) :
      20     1341994 :   function_symbol(g_term_pool().get_symbol_pool().create(name, arity, check_for_registered_functions))
      21     1341994 : {}
      22             : 
      23       18246 : global_function_symbol::global_function_symbol(const std::string& name, const std::size_t arity) :
      24       18246 :   function_symbol(g_term_pool<true>().get_symbol_pool().create(name, arity, true))
      25       18246 : {}
      26             : 
      27         687 : void function_symbol::destroy()
      28             : {
      29         687 :   assert(m_function_symbol.get() != nullptr);
      30         687 :   g_term_pool().get_symbol_pool().destroy(*m_function_symbol.get());
      31        1110 : }
      32             : 

Generated by: LCOV version 1.13