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

more final keywords

Browse source 
* src/ltlvisit/mutation.cc, src/ltlvisit/relabel.cc,
src/ltlvisit/remove_x.cc: Add final keyword to final classes.
This commit is contained in:
Alexandre Duret-Lutz 2015-08-18 09:46:13 +02:00
parent 0689aa165b
commit ce9b2369ed
3 changed files with 6 additions and 6 deletions
Download patch file Download diff file Expand all files Collapse all files

4
src/ltlvisit/mutation.cc
View file

@ -46,7 +46,7 @@ namespace spot
{ {
namespace namespace
{ {
class replace_visitor : public clone_visitor class replace_visitor final : public clone_visitor
{ {
public: public:
void visit(const atomic_prop* ap) void visit(const atomic_prop* ap)
@ -73,7 +73,7 @@ namespace spot
}; };
typedef std::vector<const formula*> vec; typedef std::vector<const formula*> vec;
class mutation_visitor : public clone_visitor class mutation_visitor final : public clone_visitor
{ {
public: public:
mutation_visitor(const formula* f, unsigned opts) : f_(f), opts_(opts) mutation_visitor(const formula* f, unsigned opts) : f_(f), opts_(opts)

6
src/ltlvisit/relabel.cc
View file

@ -45,7 +45,7 @@ namespace spot
virtual ~ap_generator() {} virtual ~ap_generator() {}
}; };
struct pnn_generator: ap_generator struct pnn_generator final: ap_generator
{ {
unsigned nn; unsigned nn;
pnn_generator() pnn_generator()
@ -61,7 +61,7 @@ namespace spot
} }
}; };
struct abc_generator: ap_generator struct abc_generator final: ap_generator
{ {
public: public:
abc_generator() abc_generator()
@ -446,7 +446,7 @@ namespace spot
} }
class bse_relabeler: public relabeler class bse_relabeler final: public relabeler
{ {
public: public:
fset& c; fset& c;

2
src/ltlvisit/remove_x.cc
View file

@ -36,7 +36,7 @@ namespace spot
#define G(x) unop::instance(unop::G, (x)) #define G(x) unop::instance(unop::G, (x))
#define U(x, y) binop::instance(binop::U, (x), (y)) #define U(x, y) binop::instance(binop::U, (x), (y))
class remove_x_visitor : public clone_visitor class remove_x_visitor final : public clone_visitor
{ {
typedef clone_visitor super; typedef clone_visitor super;
atomic_prop_set aps; atomic_prop_set aps;