LCOV - code coverage report
Current view: top level - lts/source - liblts.cpp (source / functions) Hit Total Coverage
Test: mcrl2_coverage.info.cleaned Lines: 7 89 7.9 %
Date: 2020-02-19 00:44:21 Functions: 6 18 33.3 %
Legend: Lines: hit not hit

          Line data    Source code
       1             : // Author(s): Muck van Weerdenburg
       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 liblts.cpp
      10             : 
      11             : #include "mcrl2/lts/lts_algorithm.h"
      12             : #include "mcrl2/lts/lts_io.h"
      13             : 
      14             : using namespace mcrl2::core;
      15             : using namespace mcrl2::core::detail;
      16             : using namespace mcrl2::log;
      17             : 
      18             : 
      19             : using namespace std;
      20             : 
      21             : namespace mcrl2
      22             : {
      23             : namespace lts
      24             : {
      25             : namespace detail
      26             : {
      27             : 
      28           0 : lts_type guess_format(string const& s, const bool be_verbose/*=true*/)
      29             : {
      30           0 :   string::size_type pos = s.find_last_of('.');
      31             : 
      32           0 :   if (pos != string::npos)
      33             :   {
      34           0 :     string ext = s.substr(pos+1);
      35             : 
      36           0 :     if (ext == "aut")
      37             :     {
      38           0 :       if (be_verbose)
      39             :       {
      40           0 :         mCRL2log(verbose) << "Detected Aldebaran extension.\n";
      41             :       }
      42           0 :       return lts_aut;
      43             :     }
      44           0 :     else if (ext == "lts")
      45             :     {
      46           0 :       if (be_verbose)
      47             :       {
      48           0 :         mCRL2log(verbose) << "Detected mCRL2 extension.\n";
      49             :       }
      50           0 :       return lts_lts;
      51             :     }
      52           0 :     else if (ext == "fsm")
      53             :     {
      54           0 :       if (be_verbose)
      55             :       {
      56           0 :         mCRL2log(verbose) << "Detected Finite State Machine extension.\n";
      57             :       }
      58           0 :       return lts_fsm;
      59             :     }
      60           0 :     else if (ext == "dot")
      61             :     {
      62           0 :       if (be_verbose)
      63             :       {
      64           0 :         mCRL2log(verbose) << "Detected GraphViz extension.\n";
      65             :       }
      66           0 :       return lts_dot;
      67             :     }
      68             :   }
      69             : 
      70           0 :   return lts_none;
      71             : }
      72             : 
      73          14 : static std::string type_strings[] = { "unknown", "lts", "aut", "fsm", "dot" };
      74             : 
      75          14 : static std::string extension_strings[] = { "", "lts", "aut", "fsm", "dot" };
      76             : 
      77          14 : static std::string type_desc_strings[] = {
      78             :     "unknown LTS format",
      79             :     "mCRL2 LTS format",
      80             :     "Aldebaran format (CADP)",
      81             :     "Finite State Machine format",
      82             :     "GraphViz format (no longer supported as input format)",
      83             :     "SVC format"
      84           7 :                                          };
      85             : 
      86             : 
      87          14 : static std::string mime_type_strings[] = { "",
      88             :     "application/lts",
      89             :     "text/aut",
      90             :     "text/fsm",
      91             :     "text/dot"
      92           7 :                                          };
      93             : 
      94           0 : lts_type parse_format(std::string const& s)
      95             : {
      96           0 :   if (s == "lts")
      97             :   {
      98           0 :     return lts_lts;
      99             :   }
     100           0 :   else if (s == "aut")
     101             :   {
     102           0 :     return lts_aut;
     103             :   }
     104           0 :   else if (s == "fsm")
     105             :   {
     106           0 :     return lts_fsm;
     107             :   }
     108           0 :   else if (s == "dot")
     109             :   {
     110           0 :     return lts_dot;
     111             :   }
     112           0 :   return lts_none;
     113             : }
     114             : 
     115           0 : std::string string_for_type(const lts_type type)
     116             : {
     117           0 :   return (type_strings[type]);
     118             : }
     119             : 
     120           0 : std::string extension_for_type(const lts_type type)
     121             : {
     122           0 :   return (extension_strings[type]);
     123             : }
     124             : 
     125           0 : std::string mime_type_for_type(const lts_type type)
     126             : {
     127           0 :   return (mime_type_strings[type]);
     128             : }
     129             : 
     130           0 : static const std::set<lts_type>& initialise_supported_lts_formats()
     131             : {
     132           0 :   static std::set<lts_type> s;
     133           0 :   for (std::size_t i = lts_type_min; i<1+(std::size_t)lts_type_max; ++i)
     134             :   {
     135           0 :     if (lts_none != (lts_type) i)
     136             :     {
     137           0 :       s.insert((lts_type) i);
     138             :     }
     139             :   }
     140           0 :   return s;
     141             : }
     142           0 : const std::set<lts_type>& supported_lts_formats()
     143             : {
     144           0 :   static const std::set<lts_type>& s = initialise_supported_lts_formats();
     145           0 :   return s;
     146             : }
     147             : 
     148             : /* Auxiliary function, used below */
     149             : template<typename T>
     150           0 : bool lts_named_cmp(std::string N[], T a, T b)
     151             : {
     152           0 :   return N[a] < N[b];
     153             : } 
     154             : 
     155           0 : std::string supported_lts_formats_text(lts_type default_format, const std::set<lts_type>& supported)
     156             : {
     157           0 :   vector<lts_type> types(supported.begin(), supported.end());
     158           0 :   std::sort(types.begin(), types.end(),
     159           0 :             std::bind(lts_named_cmp<lts_type>, type_strings, std::placeholders::_1, std::placeholders::_2));
     160             : 
     161           0 :   string r;
     162           0 :   for (vector<lts_type>::iterator i=types.begin(); i!=types.end(); ++i)
     163             :   {
     164           0 :     r += "  '" + type_strings[*i] + "' for the " + type_desc_strings[*i];
     165             : 
     166           0 :     if (*i == default_format)
     167             :     {
     168           0 :       r += " (default)";
     169             :     }
     170             : 
     171             :     // Still unsafe if types.size() < 2
     172           0 :     assert(types.size() >= 2);
     173           0 :     if (i == types.end() - 2)
     174             :     {
     175           0 :       r += ", or\n";
     176             :     }
     177           0 :     else if (i != types.end() - 1)
     178             :     {
     179           0 :       r += ",\n";
     180             :     }
     181             :   }
     182             : 
     183           0 :   return r;
     184             : }
     185             : 
     186           0 : std::string supported_lts_formats_text(const std::set<lts_type>& supported)
     187             : {
     188           0 :   return supported_lts_formats_text(lts_none,supported);
     189             : }
     190             : 
     191           0 : std::string lts_extensions_as_string(const std::string& sep, const std::set<lts_type>& supported)
     192             : {
     193           0 :   vector<lts_type> types(supported.begin(), supported.end());
     194           0 :   std::sort(types.begin(), types.end(),
     195           0 :             std::bind(lts_named_cmp<lts_type>, extension_strings, std::placeholders::_1, std::placeholders::_2));
     196             : 
     197           0 :   string r, prev;
     198           0 :   bool first = true;
     199           0 :   for (vector<lts_type>::iterator i=types.begin(); i!=types.end(); i++)
     200             :   {
     201           0 :     if (extension_strings[*i] == prev)   // avoid mentioning extensions more than once
     202             :     {
     203           0 :       continue;
     204             :     }
     205           0 :     if (first)
     206             :     {
     207           0 :       first = false;
     208             :     }
     209             :     else
     210             :     {
     211           0 :       r += sep;
     212             :     }
     213           0 :     r += "*." + extension_strings[*i];
     214           0 :     prev = extension_strings[*i];
     215             :   }
     216             : 
     217           0 :   return r;
     218             : }
     219             : 
     220           0 : std::string lts_extensions_as_string(const std::set<lts_type>& supported)
     221             : {
     222           0 :   return lts_extensions_as_string(",",supported);
     223             : }
     224             : 
     225             : } // namespace detail
     226             : } //lts
     227          21 : } //data

Generated by: LCOV version 1.13