spot
0.8.3
|
00001 // Copyright (C) 2011 Laboratoire de Recherche et Developpement 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 00022 #ifndef SPOT_KRIPKEPARSE_PUBLIC_HH 00023 # define SPOT_KRIPKEPARSE_PUBLIC_HH 00024 00025 # include "kripke/kripkeexplicit.hh" 00026 // Unfortunately Bison 2.3 uses the same guards in all parsers :( 00027 # undef BISON_LOCATION_HH 00028 # undef BISON_POSITION_HH 00029 # include "kripkeparse/location.hh" 00030 # include "ltlenv/defaultenv.hh" 00031 # include <string> 00032 # include <list> 00033 # include <utility> 00034 # include <iosfwd> 00035 00036 namespace spot 00037 { 00038 00040 typedef std::pair<kripkeyy::location, std::string> kripke_parse_error; 00042 typedef std::list<kripke_parse_error> kripke_parse_error_list; 00043 00044 00045 00046 kripke_explicit* 00047 kripke_parse(const std::string& name, 00048 kripke_parse_error_list& error_list, 00049 bdd_dict* dict, 00050 ltl::environment& env 00051 = ltl::default_environment::instance(), 00052 bool debug = false); 00053 00054 00061 bool format_kripke_parse_errors(std::ostream& os, 00062 const std::string& filename, 00063 kripke_parse_error_list& error_list); 00064 00065 } 00066 00067 00068 #endif /* !SPOT_KRIPKEPARSE_PUBLIC_HH_ */