From c0b28dc9c8f92ef3f8b83eb3e702f7f5303bb524 Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Wed, 25 Jun 2014 23:08:38 +0200 Subject: [PATCH] ltl::environment: correctly declare name() as const * src/ltlenv/declenv.cc, src/ltlenv/declenv.hh, src/ltlenv/defaultenv.cc, src/ltlenv/defaultenv.hh, src/ltlenv/environment.hh, src/tgbaalgos/compsusp.cc: Declare name as const. --- src/ltlenv/declenv.cc | 7 ++++--- src/ltlenv/declenv.hh | 4 ++-- src/ltlenv/defaultenv.cc | 4 ++-- src/ltlenv/defaultenv.hh | 4 ++-- src/ltlenv/environment.hh | 11 ++++++----- src/tgbaalgos/compsusp.cc | 2 +- 6 files changed, 17 insertions(+), 15 deletions(-) diff --git a/src/ltlenv/declenv.cc b/src/ltlenv/declenv.cc index 20c32d14e..ad278dc49 100644 --- a/src/ltlenv/declenv.cc +++ b/src/ltlenv/declenv.cc @@ -1,7 +1,8 @@ -// Copyright (C) 2009, 2012 Laboratoire de Recherche et Développement +// -*- coding: utf-8 -*- +// Copyright (C) 2009, 2012, 2014 Laboratoire de Recherche et Développement // de l'Epita (LRDE). // Copyright (C) 2004 Laboratoire d'Informatique de Paris 6 (LIP6), -// département Systèmes Répartis Coopératifs (SRC), Université Pierre +// département Systèmes Répartis Coopératifs (SRC), Université Pierre // et Marie Curie. // // This file is part of Spot, a model checking library. @@ -55,7 +56,7 @@ namespace spot } const std::string& - declarative_environment::name() + declarative_environment::name() const { static std::string name("declarative environment"); return name; diff --git a/src/ltlenv/declenv.hh b/src/ltlenv/declenv.hh index f8d2eeae7..addc82529 100644 --- a/src/ltlenv/declenv.hh +++ b/src/ltlenv/declenv.hh @@ -1,5 +1,5 @@ // -*- coding: utf-8 -*- -// Copyright (C) 2009, 2012, 2013 Laboratoire de Recherche et +// Copyright (C) 2009, 2012, 2013, 2014 Laboratoire de Recherche et // Développement de l'Epita (LRDE). // Copyright (C) 2004 Laboratoire d'Informatique de Paris 6 (LIP6), // département Systèmes Répartis Coopératifs (SRC), Université Pierre @@ -51,7 +51,7 @@ namespace spot virtual const formula* require(const std::string& prop_str); /// Get the name of the environment. - virtual const std::string& name(); + virtual const std::string& name() const; typedef std::map prop_map; diff --git a/src/ltlenv/defaultenv.cc b/src/ltlenv/defaultenv.cc index 32b7cb14e..81c767b4d 100644 --- a/src/ltlenv/defaultenv.cc +++ b/src/ltlenv/defaultenv.cc @@ -1,5 +1,5 @@ // -*- coding: utf-8 -*- -// Copyright (C) 2012 Laboratoire de Recherche et Développement +// Copyright (C) 2012, 2014 Laboratoire de Recherche et Développement // de l'Epita (LRDE). // Copyright (C) 2003 Laboratoire d'Informatique de Paris 6 (LIP6), // département Systèmes Répartis Coopératifs (SRC), Université Pierre @@ -39,7 +39,7 @@ namespace spot } const std::string& - default_environment::name() + default_environment::name() const { static std::string name("default environment"); return name; diff --git a/src/ltlenv/defaultenv.hh b/src/ltlenv/defaultenv.hh index 5ad6163eb..06a264133 100644 --- a/src/ltlenv/defaultenv.hh +++ b/src/ltlenv/defaultenv.hh @@ -1,5 +1,5 @@ // -*- coding: utf-8 -*- -// Copyright (C) 2012, 2013 Laboratoire de Recherche et Développement +// Copyright (C) 2012, 2013, 2014 Laboratoire de Recherche et Développement // de l'Epita (LRDE). // Copyright (C) 2003, 2004, 2005 Laboratoire d'Informatique de Paris 6 (LIP6), // département Systèmes Répartis Coopératifs (SRC), Université Pierre @@ -42,7 +42,7 @@ namespace spot public: virtual ~default_environment(); virtual const formula* require(const std::string& prop_str); - virtual const std::string& name(); + virtual const std::string& name() const; /// Get the sole instance of spot::ltl::default_environment. static default_environment& instance(); diff --git a/src/ltlenv/environment.hh b/src/ltlenv/environment.hh index fb5b2fee3..d3c6bd816 100644 --- a/src/ltlenv/environment.hh +++ b/src/ltlenv/environment.hh @@ -1,8 +1,9 @@ -// Copyright (C) 2008, 2012 Laboratoire de Recherche et Développement -// de l'Epita (LRDE). +// -*- coding: utf-8 -*- +// Copyright (C) 2008, 2012, 2014 Laboratoire de Recherche et +// Développement de l'Epita (LRDE). // Copyright (C) 2003, 2004 Laboratoire d'Informatique de Paris -// 6 (LIP6), département Systèmes Répartis Coopératifs (SRC), -// Université Pierre et Marie Curie. +// 6 (LIP6), département Systèmes Répartis Coopératifs (SRC), +// Université Pierre et Marie Curie. // // This file is part of Spot, a model checking library. // @@ -54,7 +55,7 @@ namespace spot virtual const formula* require(const std::string& prop_str) = 0; /// Get the name of the environment. - virtual const std::string& name() = 0; + virtual const std::string& name() const = 0; virtual ~environment() diff --git a/src/tgbaalgos/compsusp.cc b/src/tgbaalgos/compsusp.cc index 4ee950c94..de12a9628 100644 --- a/src/tgbaalgos/compsusp.cc +++ b/src/tgbaalgos/compsusp.cc @@ -52,7 +52,7 @@ namespace spot } const std::string& - name() + name() const { static std::string name("suspended environment"); return name; -- GitLab