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

Generated by: LCOV version 1.12