diff --git a/ChangeLog b/ChangeLog index 345564c75..9fdfa7201 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,3 +1,16 @@ +2005-01-03 Alexandre Duret-Lutz + + * 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 * src/tgbaalgos/gtec/nsheap.hh, src/tgbaalgos/gtec/nsheap.cc diff --git a/src/evtgba/evtgbaiter.hh b/src/evtgba/evtgbaiter.hh index 0f9709bdd..7957fc1bc 100644 --- a/src/evtgba/evtgbaiter.hh +++ b/src/evtgba/evtgbaiter.hh @@ -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 diff --git a/src/ltlast/formula.hh b/src/ltlast/formula.hh index f043cc6b1..5cf297ba9 100644 --- a/src/ltlast/formula.hh +++ b/src/ltlast/formula.hh @@ -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 diff --git a/src/ltlast/refformula.hh b/src/ltlast/refformula.hh index f93a91549..b086fdd84 100644 --- a/src/ltlast/refformula.hh +++ b/src/ltlast/refformula.hh @@ -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 diff --git a/src/ltlenv/defaultenv.hh b/src/ltlenv/defaultenv.hh index 064c3cc2e..abd046270 100644 --- a/src/ltlenv/defaultenv.hh +++ b/src/ltlenv/defaultenv.hh @@ -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 diff --git a/src/misc/bareword.hh b/src/misc/bareword.hh index fbff174e0..33cc5efb6 100644 --- a/src/misc/bareword.hh +++ b/src/misc/bareword.hh @@ -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 namespace spot @@ -36,3 +39,5 @@ namespace spot std::string quote_unless_bare_word(const std::string& str); /// @} } + +#endif // SPOT_MISC_BAREWORD_HH diff --git a/src/sanity/includes.test b/src/sanity/includes.test index 2e5743b08..2249359d8 100755 --- a/src/sanity/includes.test +++ b/src/sanity/includes.test @@ -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 < diff --git a/src/tgba/succiter.hh b/src/tgba/succiter.hh index fe7a49239..4d82a4b16 100644 --- a/src/tgba/succiter.hh +++ b/src/tgba/succiter.hh @@ -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 diff --git a/src/tgba/tgbabddfactory.hh b/src/tgba/tgbabddfactory.hh index 672408bab..18d7c45c5 100644 --- a/src/tgba/tgbabddfactory.hh +++ b/src/tgba/tgbabddfactory.hh @@ -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 diff --git a/src/tgba/tgbareduc.hh b/src/tgba/tgbareduc.hh index 9b08a2543..fe7a31ff9 100644 --- a/src/tgba/tgbareduc.hh +++ b/src/tgba/tgbareduc.hh @@ -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 diff --git a/src/tgbaalgos/dupexp.hh b/src/tgbaalgos/dupexp.hh index 0196f8e92..5dabe35fd 100644 --- a/src/tgbaalgos/dupexp.hh +++ b/src/tgbaalgos/dupexp.hh @@ -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 diff --git a/src/tgbaalgos/emptiness_stats.hh b/src/tgbaalgos/emptiness_stats.hh index 67f8344eb..b8c3dfa79 100644 --- a/src/tgbaalgos/emptiness_stats.hh +++ b/src/tgbaalgos/emptiness_stats.hh @@ -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 diff --git a/src/tgbaalgos/ltl2tgba_fm.hh b/src/tgbaalgos/ltl2tgba_fm.hh index 6b55a5199..e28569507 100644 --- a/src/tgbaalgos/ltl2tgba_fm.hh +++ b/src/tgbaalgos/ltl2tgba_fm.hh @@ -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 diff --git a/src/tgbaalgos/ltl2tgba_lacim.hh b/src/tgbaalgos/ltl2tgba_lacim.hh index fca646c5f..c5b0b4b3f 100644 --- a/src/tgbaalgos/ltl2tgba_lacim.hh +++ b/src/tgbaalgos/ltl2tgba_lacim.hh @@ -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 diff --git a/src/tgbaalgos/reductgba_sim.hh b/src/tgbaalgos/reductgba_sim.hh index d86fea2aa..59f95da73 100644 --- a/src/tgbaalgos/reductgba_sim.hh +++ b/src/tgbaalgos/reductgba_sim.hh @@ -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 diff --git a/src/tgbaalgos/tau03opt.hh b/src/tgbaalgos/tau03opt.hh index 213772eb6..9a5e856c7 100644 --- a/src/tgbaalgos/tau03opt.hh +++ b/src/tgbaalgos/tau03opt.hh @@ -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