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

* src/evtgba/evtgbaiter.hh, src/ltlast/formula.hh,

Browse source 
src/ltlast/refformula.hh, src/ltlenv/defaultenv.hh,
src/misc/bareword.hh, src/tgba/succiter.hh,
src/tgba/tgbabddfactory.hh, src/tgba/tgbareduc.hh,
src/tgbaalgos/dupexp.hh, src/tgbaalgos/emptiness_stats.hh,
src/tgbaalgos/ltl2tgba_fm.hh, src/tgbaalgos/ltl2tgba_lacim.hh,
src/tgbaalgos/reductgba_sim.hh, src/tgbaalgos/tau03opt.hh: Add
or fix include guards.
* src/sanity/includes.test: Check the presence of the include
guard.
This commit is contained in:
Alexandre Duret-Lutz 2005-01-03 10:20:26 +00:00
parent 93f77c5782
commit 000c041a95
16 changed files with 84 additions and 55 deletions
Download patch file Download diff file Expand all files Collapse all files

13
ChangeLog
View file

@ -1,3 +1,16 @@
2005-01-03 Alexandre Duret-Lutz <adl@src.lip6.fr>
* src/evtgba/evtgbaiter.hh, src/ltlast/formula.hh,
src/ltlast/refformula.hh, src/ltlenv/defaultenv.hh,
src/misc/bareword.hh, src/tgba/succiter.hh,
src/tgba/tgbabddfactory.hh, src/tgba/tgbareduc.hh,
src/tgbaalgos/dupexp.hh, src/tgbaalgos/emptiness_stats.hh,
src/tgbaalgos/ltl2tgba_fm.hh, src/tgbaalgos/ltl2tgba_lacim.hh,
src/tgbaalgos/reductgba_sim.hh, src/tgbaalgos/tau03opt.hh: Add
or fix include guards.
* src/sanity/includes.test: Check the presence of the include
guard.
2004-12-29 Alexandre Duret-Lutz <adl@src.lip6.fr>
* src/tgbaalgos/gtec/nsheap.hh, src/tgbaalgos/gtec/nsheap.cc

8
src/evtgba/evtgbaiter.hh
View file

@ -1,4 +1,4 @@
// Copyright (C) 2004 Laboratoire d'Informatique de Paris 6 (LIP6),
// Copyright (C) 2004, 2005 Laboratoire d'Informatique de Paris 6 (LIP6),
// département Systèmes Répartis Coopératifs (SRC), Université Pierre
// et Marie Curie.
//
@ -19,8 +19,8 @@
// Software Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA
// 02111-1307, USA.
#ifndef SPOT_EVTGBA_ITER_HH
# define SPOT_EVTGBA_ITER_HH
#ifndef SPOT_EVTGBA_EVTGBAITER_HH
# define SPOT_EVTGBA_EVTGBAITER_HH
#include "tgba/state.hh"
#include "symbol.hh"
@ -47,4 +47,4 @@ namespace spot
};
}
#endif // SPOT_EVTGBA_ITER_HH
#endif // SPOT_EVTGBA_EVTGBAITER_HH

10
src/ltlast/formula.hh
View file

@ -1,4 +1,4 @@
// Copyright (C) 2003, 2004 Laboratoire d'Informatique de Paris 6 (LIP6),
// Copyright (C) 2003, 2004, 2005 Laboratoire d'Informatique de Paris 6 (LIP6),
// département Systèmes Répartis Coopératifs (SRC), Université Pierre
// et Marie Curie.
//
@ -21,8 +21,8 @@
/// \file ltlast/formula.hh
/// \brief LTL formula interface
#ifndef SPOT_LTLAST_FORMULAE_HH
# define SPOT_LTLAST_FORMULAE_HH
#ifndef SPOT_LTLAST_FORMULA_HH
# define SPOT_LTLAST_FORMULA_HH
#include "predecl.hh"
@ -102,6 +102,4 @@ namespace spot
}
}
#endif // SPOT_LTLAST_FORMULAE_HH
#endif // SPOT_LTLAST_FORMULA_HH

8
src/ltlast/refformula.hh
View file

@ -1,4 +1,4 @@
// Copyright (C) 2003, 2004 Laboratoire d'Informatique de Paris 6 (LIP6),
// Copyright (C) 2003, 2004, 2005 Laboratoire d'Informatique de Paris 6 (LIP6),
// département Systèmes Répartis Coopératifs (SRC), Université Pierre
// et Marie Curie.
//
@ -21,8 +21,8 @@
/// \file ltlast/refformula.hh
/// \brief Reference-counted LTL formulae
#ifndef SPOT_LTLAST_REFFORMULAE_HH
# define SPOT_LTLAST_REFFORMULAE_HH
#ifndef SPOT_LTLAST_REFFORMULA_HH
# define SPOT_LTLAST_REFFORMULA_HH
#include "formula.hh"
@ -49,4 +49,4 @@ namespace spot
}
}
#endif // SPOT_LTLAST_REFFORMULAE_HH
#endif // SPOT_LTLAST_REFFORMULA_HH

8
src/ltlenv/defaultenv.hh
View file

@ -1,4 +1,4 @@
// Copyright (C) 2003, 2004 Laboratoire d'Informatique de Paris 6 (LIP6),
// Copyright (C) 2003, 2004, 2005 Laboratoire d'Informatique de Paris 6 (LIP6),
// département Systèmes Répartis Coopératifs (SRC), Université Pierre
// et Marie Curie.
//
@ -19,8 +19,8 @@
// Software Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA
// 02111-1307, USA.
#ifndef SPOT_LTLENV_DEFAULT_ENVIRONMENT_HH
# define SPOT_LTLENV_DEFAULT_ENVIRONMENT_HH
#ifndef SPOT_LTLENV_DEFAULTENV_HH
# define SPOT_LTLENV_DEFAULTENV_HH
# include "environment.hh"
@ -52,4 +52,4 @@ namespace spot
}
}
#endif // SPOT_LTLENV_DEFAULT_ENVIRONMENT_HH
#endif // SPOT_LTLENV_DEFAULTENV_HH

7
src/misc/bareword.hh
View file

@ -1,4 +1,4 @@
// Copyright (C) 2004 Laboratoire d'Informatique de Paris 6 (LIP6),
// Copyright (C) 2004, 2005 Laboratoire d'Informatique de Paris 6 (LIP6),
// département Systèmes Répartis Coopératifs (SRC), Université Pierre
// et Marie Curie.
//
@ -19,6 +19,9 @@
// Software Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA
// 02111-1307, USA.
#ifndef SPOT_MISC_BAREWORD_HH
# define SPOT_MISC_BAREWORD_HH
#include <string>
namespace spot
@ -36,3 +39,5 @@ namespace spot
std::string quote_unless_bare_word(const std::string& str);
/// @}
}
#endif // SPOT_MISC_BAREWORD_HH

13
src/sanity/includes.test
View file

@ -8,6 +8,19 @@ rm -f failures
for file in `find "$INCDIR" -name "${1-*}.hh" -type f -print |
sed "s,$INCDIR/,,g"`; do
b=`echo "$file" | tr '[/.a-z]' '[__A-Z]'`
if grep "[ ]*#.*def.* SPOT_$b\$" "$INCDIR/$file" >/dev/null; then
:
elif grep 'GNU Bison' "$INCDIR/$file" >/dev/null; then
:
else
echo "Missing, or incorrect include guard." >&2
echo "FAIL: $file"
echo " $file" >> failures
continue
fi
cat >incltest.cc <<EOF
// Include the file twice, so we detect missing inclusion guards.
#include <$file>

8
src/tgba/succiter.hh
View file

@ -1,4 +1,4 @@
// Copyright (C) 2003, 2004 Laboratoire d'Informatique de Paris 6 (LIP6),
// Copyright (C) 2003, 2004, 2005 Laboratoire d'Informatique de Paris 6 (LIP6),
// département Systèmes Répartis Coopératifs (SRC), Université Pierre
// et Marie Curie.
//
@ -19,8 +19,8 @@
// Software Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA
// 02111-1307, USA.
#ifndef SPOT_TGBA_SUCCITER_H
# define SPOT_TGBA_SUCCITER_H
#ifndef SPOT_TGBA_SUCCITER_HH
# define SPOT_TGBA_SUCCITER_HH
#include "state.hh"
@ -99,4 +99,4 @@ namespace spot
}
#endif // SPOT_TGBA_SUCCITER_H
#endif // SPOT_TGBA_SUCCITER_HH

8
src/tgba/tgbabddfactory.hh
View file

@ -1,4 +1,4 @@
// Copyright (C) 2003 Laboratoire d'Informatique de Paris 6 (LIP6),
// Copyright (C) 2003, 2005 Laboratoire d'Informatique de Paris 6 (LIP6),
// département Systèmes Répartis Coopératifs (SRC), Université Pierre
// et Marie Curie.
//
@ -19,8 +19,8 @@
// Software Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA
// 02111-1307, USA.
#ifndef SPOT_TGBA_TGBABDDFACTORY_H
# define SPOT_TGBA_TGBABDDFACTORY_H
#ifndef SPOT_TGBA_TGBABDDFACTORY_HH
# define SPOT_TGBA_TGBABDDFACTORY_HH
#include "tgbabddcoredata.hh"
@ -38,4 +38,4 @@ namespace spot
};
}
#endif // SPOT_TGBA_TGBABDDFACTORY_H
#endif // SPOT_TGBA_TGBABDDFACTORY_HH

8
src/tgba/tgbareduc.hh
View file

@ -1,4 +1,4 @@
// Copyright (C) 2004 Laboratoire d'Informatique de Paris 6 (LIP6),
// Copyright (C) 2004, 2005 Laboratoire d'Informatique de Paris 6 (LIP6),
// département Systèmes Répartis Coopératifs (SRC), Université Pierre
// et Marie Curie.
//
@ -19,8 +19,8 @@
// Software Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA
// 02111-1307, USA.
#ifndef SPOT_TGBA_REDUC_HH
# define SPOT_TGBA_REDUC_HH
#ifndef SPOT_TGBA_TGBAREDUC_HH
# define SPOT_TGBA_TGBAREDUC_HH
#include "tgbaexplicit.hh"
#include "tgbaalgos/reachiter.hh"
@ -194,4 +194,4 @@ namespace spot
};
}
#endif // SPOT_TGBA_REDUC_HH
#endif // SPOT_TGBA_TGBAREDUC_HH

8
src/tgbaalgos/dupexp.hh
View file

@ -1,4 +1,4 @@
// Copyright (C) 2003, 2004 Laboratoire d'Informatique de Paris 6 (LIP6),
// Copyright (C) 2003, 2004, 2005 Laboratoire d'Informatique de Paris 6 (LIP6),
// département Systèmes Répartis Coopératifs (SRC), Université Pierre
// et Marie Curie.
//
@ -19,8 +19,8 @@
// Software Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA
// 02111-1307, USA.
#ifndef SPOT_TGBAALGOS_DUPEXPL_HH
# define SPOT_TGBAALGOS_DUPEXPL_HH
#ifndef SPOT_TGBAALGOS_DUPEXP_HH
# define SPOT_TGBAALGOS_DUPEXP_HH
# include "tgba/tgbaexplicit.hh"
@ -36,4 +36,4 @@ namespace spot
tgba_explicit* tgba_dupexp_dfs(const tgba* aut);
}
#endif // SPOT_TGBAALGOS_DUPEXPL_HH
#endif // SPOT_TGBAALGOS_DUPEXP_HH

8
src/tgbaalgos/emptiness_stats.hh
View file

@ -1,4 +1,4 @@
// Copyright (C) 2004 Laboratoire d'Informatique de Paris 6 (LIP6),
// Copyright (C) 2004, 2005 Laboratoire d'Informatique de Paris 6 (LIP6),
// département Systèmes Répartis Coopératifs (SRC), Université Pierre
// et Marie Curie.
//
@ -19,8 +19,8 @@
// Software Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA
// 02111-1307, USA.
#ifndef SPOT_TGBAALGOS_EC_STATS_HH
# define SPOT_TGBAALGOS_EC_STATS_HH
#ifndef SPOT_TGBAALGOS_EMPTINESS_STATS_HH
# define SPOT_TGBAALGOS_EMPTINESS_STATS_HH
namespace spot
{
@ -80,4 +80,4 @@ namespace spot
/// @}
}
#endif // SPOT_TGBAALGOS_EC_STATS_HH
#endif // SPOT_TGBAALGOS_EMPTINESS_STATS_HH

8
src/tgbaalgos/ltl2tgba_fm.hh
View file

@ -1,4 +1,4 @@
// Copyright (C) 2003, 2004 Laboratoire d'Informatique de Paris 6 (LIP6),
// Copyright (C) 2003, 2004, 2005 Laboratoire d'Informatique de Paris 6 (LIP6),
// département Systèmes Répartis Coopératifs (SRC), Université Pierre
// et Marie Curie.
//
@ -19,8 +19,8 @@
// Software Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA
// 02111-1307, USA.
#ifndef SPOT_TGBA_LTL2TGBA_FME_HH
# define SPOT_TGBA_LTL2TGBA_FME_HH
#ifndef SPOT_TGBAALGOS_LTL2TGBA_FM_HH
# define SPOT_TGBAALGOS_LTL2TGBA_FM_HH
#include "ltlast/formula.hh"
#include "tgba/tgbaexplicit.hh"
@ -103,4 +103,4 @@ namespace spot
const ltl::atomic_prop_set* unobs = 0);
}
#endif // SPOT_TGBA_LTL2TGBA_HH
#endif // SPOT_TGBAALGOS_LTL2TGBA_FM_HH

8
src/tgbaalgos/ltl2tgba_lacim.hh
View file

@ -1,4 +1,4 @@
// Copyright (C) 2003, 2004 Laboratoire d'Informatique de Paris 6 (LIP6),
// Copyright (C) 2003, 2004, 2005 Laboratoire d'Informatique de Paris 6 (LIP6),
// département Systèmes Répartis Coopératifs (SRC), Université Pierre
// et Marie Curie.
//
@ -19,8 +19,8 @@
// Software Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA
// 02111-1307, USA.
#ifndef SPOT_TGBA_LTL2TGBA_HH
# define SPOT_TGBA_LTL2TGBA_HH
#ifndef SPOT_TGBAALGOS_LTL2TGBA_LACIM_HH
# define SPOT_TGBAALGOS_LTL2TGBA_LACIM_HH
#include "ltlast/formula.hh"
#include "tgba/tgbabddconcrete.hh"
@ -52,4 +52,4 @@ namespace spot
tgba_bdd_concrete* ltl_to_tgba_lacim(const ltl::formula* f, bdd_dict* dict);
}
#endif // SPOT_TGBA_LTL2TGBA_HH
#endif // SPOT_TGBAALGOS_LTL2TGBA_LACIM_HH

8
src/tgbaalgos/reductgba_sim.hh
View file

@ -1,4 +1,4 @@
// Copyright (C) 2004 Laboratoire d'Informatique de Paris 6 (LIP6),
// Copyright (C) 2004, 2005 Laboratoire d'Informatique de Paris 6 (LIP6),
// département Systèmes Répartis Coopératifs (SRC), Université Pierre
// et Marie Curie.
//
@ -20,8 +20,8 @@
// 02111-1307, USA.
#ifndef SPOT_REDUC_TGBA_SIM_HH
#define SPOT_REDUC_TGBA_SIM_HH
#ifndef SPOT_TGBAALGOS_REDUCTGBA_SIM_HH
#define SPOT_TGBAALGOS_REDUCTGBA_SIM_HH
#include "tgba/tgbareduc.hh"
#include "tgbaalgos/reachiter.hh"
@ -333,4 +333,4 @@ namespace spot
/// @}
}
#endif
#endif // SPOT_TGBAALGOS_REDUCTGBA_SIM_HH

8
src/tgbaalgos/tau03opt.hh
View file

@ -1,4 +1,4 @@
// Copyright (C) 2004 Laboratoire d'Informatique de Paris 6 (LIP6),
// Copyright (C) 2004, 2005 Laboratoire d'Informatique de Paris 6 (LIP6),
// département Systèmes Répartis Coopératifs (SRC), Université Pierre
// et Marie Curie.
//
@ -19,8 +19,8 @@
// Software Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA
// 02111-1307, USA.
#ifndef SPOT_TGBAALGOS_TAU03_OPT_HH
# define SPOT_TGBAALGOS_TAU03_OPT_HH
#ifndef SPOT_TGBAALGOS_TAU03OPT_HH
# define SPOT_TGBAALGOS_TAU03OPT_HH
namespace spot
{
@ -100,4 +100,4 @@ namespace spot
/// @}
}
#endif // SPOT_TGBAALGOS_TAU03_OPT_HH
#endif // SPOT_TGBAALGOS_TAU03OPT_HH