LCOV - code coverage report
Current view: top level - atermpp/source - function_symbol.cpp (source / functions) Hit Total Coverage
Test: mcrl2_coverage.info.cleaned Lines: 12 12 100.0 %
Date: 2019-06-20 00:49:45 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/function_symbol_pool.h"
      11             : 
      12             : #include "mcrl2/atermpp/detail/global_aterm_pool.h"
      13             : 
      14             : using namespace atermpp;
      15             : using namespace atermpp::detail;
      16             : 
      17         140 : function_symbol detail::g_as_int(g_term_pool<true>().as_int());
      18         140 : function_symbol detail::g_as_list(g_term_pool<true>().as_list());
      19         140 : function_symbol detail::g_as_empty_list(g_term_pool<true>().as_empty_list());
      20             : 
      21     1333789 : function_symbol::function_symbol(const std::string& name, const std::size_t arity, const bool check_for_registered_functions) :
      22     1333789 :   function_symbol(g_term_pool().get_symbol_pool().create(name, arity, check_for_registered_functions))
      23     1333789 : {}
      24             : 
      25       18108 : global_function_symbol::global_function_symbol(const std::string& name, const std::size_t arity) :
      26       18108 :   function_symbol(g_term_pool<true>().get_symbol_pool().create(name, arity, true))
      27       18108 : {}
      28             : 
      29         341 : void function_symbol::destroy()
      30             : {
      31         341 :   g_term_pool().get_symbol_pool().destroy(m_function_symbol.get());
      32         761 : }
      33             : 

Generated by: LCOV version 1.12