alarsyo/spot
1
0
Fork 0
Code Issues Pull requests Projects Releases Wiki Activity

fix namespace for exception errors

Browse source 
* spot/priv/satcommon.cc, spot/twaalgos/dtbasat.cc,
spot/twaalgos/dtwasat.cc: When setting exception on std::ofstream, use
ofstream::failbit and ofstream::badbit instead of ifstream::failbit
and ifstream::badbit.
This commit is contained in:
Alexandre Duret-Lutz 2022-11-04 17:11:51 +01:00
parent 17a959aa29
commit fafe40c530
3 changed files with 6 additions and 6 deletions
Download patch file Download diff file Expand all files Collapse all files

4
spot/priv/satcommon.cc
View file

@ -1,5 +1,5 @@
// -*- coding: utf-8 -*-
// Copyright (C) 2013-2019 Laboratoire de Recherche et Développement
// Copyright (C) 2013-2019, 2022 Laboratoire de Recherche et Développement
// de l'Epita (LRDE).
//
// This file is part of Spot, a model checking library.
@ -167,7 +167,7 @@ namespace spot
return;
std::ofstream out(log, std::ios_base::ate | std::ios_base::app);
out.exceptions(std::ifstream::failbit | std::ifstream::badbit);
out.exceptions(std::ofstream::failbit | std::ofstream::badbit);
if (out.tellp() == 0)
out <<
("input.states,target.states,reachable.states,edges,transitions,"

4
spot/twaalgos/dtbasat.cc
View file

@ -1,5 +1,5 @@
// -*- coding: utf-8 -*-
// Copyright (C) 2013-2018, 2021 Laboratoire de Recherche et
// Copyright (C) 2013-2018, 2021, 2022 Laboratoire de Recherche et
// Développement de l'Epita.
//
// This file is part of Spot, a model checking library.
@ -585,7 +585,7 @@ namespace spot
#if TRACE
std::fstream out("dtba-sat.dbg",
std::ios_base::trunc | std::ios_base::out);
out.exceptions(std::ifstream::failbit | std::ifstream::badbit);
out.exceptions(std::ofstream::failbit | std::ofstream::badbit);
#endif
std::set<int> acc_states;
std::set<src_cond> seen_trans;

4
spot/twaalgos/dtwasat.cc
View file

@ -1,5 +1,5 @@
// -*- coding: utf-8 -*-
// Copyright (C) 2013-2021 Laboratoire de Recherche
// Copyright (C) 2013-2022 Laboratoire de Recherche
// et Développement de l'Epita.
//
// This file is part of Spot, a model checking library.
@ -864,7 +864,7 @@ namespace spot
#if TRACE
std::fstream out("dtwa-sat.dbg",
std::ios_base::trunc | std::ios_base::out);
out.exceptions(std::ifstream::failbit | std::ifstream::badbit);
out.exceptions(std::ofstream::failbit | std::ofstream::badbit);
#endif
std::map<int, acc_cond::mark_t> state_acc;
std::set<src_cond> seen_trans;