spot  0.8.1
public.hh
Go to the documentation of this file.
00001 // Copyright (C) 2008, 2010 Laboratoire de Recherche et Développement
00002 // de l'Epita (LRDE).
00003 //
00004 // This file is part of Spot, a model checking library.
00005 //
00006 // Spot is free software; you can redistribute it and/or modify it
00007 // under the terms of the GNU General Public License as published by
00008 // the Free Software Foundation; either version 2 of the License, or
00009 // (at your option) any later version.
00010 //
00011 // Spot is distributed in the hope that it will be useful, but WITHOUT
00012 // ANY WARRANTY; without even the implied warranty of MERCHANTABILITY
00013 // or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public
00014 // License for more details.
00015 //
00016 // You should have received a copy of the GNU General Public License
00017 // along with Spot; see the file COPYING.  If not, write to the Free
00018 // Software Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA
00019 // 02111-1307, USA.
00020 
00021 #ifndef SPOT_ELTLPARSE_PUBLIC_HH
00022 # define SPOT_ELTLPARSE_PUBLIC_HH
00023 
00024 # include "ltlast/formula.hh"
00025 // Unfortunately Bison 2.3 uses the same guards in all parsers :(
00026 # undef BISON_LOCATION_HH
00027 # undef BISON_POSITION_HH
00028 # include "ltlenv/defaultenv.hh"
00029 # include "ltlast/nfa.hh"
00030 # include "eltlparse/location.hh"
00031 # include <string>
00032 # include <list>
00033 # include <map>
00034 # include <utility>
00035 # include <iosfwd>
00036 
00037 // namespace
00038 // {
00039 //   typedef std::map<std::string, spot::ltl::nfa::ptr> nfamap;
00040 // }
00041 
00042 namespace spot
00043 {
00044   using namespace ltl;
00045 
00046   namespace eltl
00047   {
00050 
00051     typedef std::pair<std::string, std::string> spair;
00053     typedef std::pair<eltlyy::location, spair> parse_error;
00055     typedef std::list<parse_error> parse_error_list;
00056 
00067     formula* parse_file(const std::string& filename,
00068                         parse_error_list& error_list,
00069                         environment& env = default_environment::instance(),
00070                         bool debug = false);
00071 
00082     formula* parse_string(const std::string& eltl_string,
00083                           parse_error_list& error_list,
00084                           environment& env = default_environment::instance(),
00085                           bool debug = false);
00086 
00092     bool
00093     format_parse_errors(std::ostream& os,
00094                         parse_error_list& error_list);
00095 
00097   }
00098 }
00099 
00100 #endif // SPOT_ELTLPARSE_PUBLIC_HH

Please comment this page and report errors about it on the RefDocComments page.
Generated on Sun Dec 18 2011 12:57:15 for spot by doxygen 1.7.6.1