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

graph: fix internal iterator constness

Browse source 
* spot/graph/graph.hh: Use only const variants of begin()/end(), since
they do not modify the iterator.
This commit is contained in:
Alexandre Duret-Lutz 2016-11-23 21:06:42 +01:00
parent 5841af026a
commit 034620c521
1 changed files with 4 additions and 28 deletions
Download patch file Download diff file Expand all files Collapse all files

32
spot/graph/graph.hh
View file

@ -277,24 +277,12 @@ namespace spot
} }
typename super::reference typename super::reference
operator*()
{
return g_->edge_storage(t_);
}
const typename super::reference
operator*() const operator*() const
{ {
return g_->edge_storage(t_); return g_->edge_storage(t_);
} }
typename super::pointer typename super::pointer
operator->()
{
return &g_->edge_storage(t_);
}
const typename super::pointer
operator->() const operator->() const
{ {
return &g_->edge_storage(t_); return &g_->edge_storage(t_);
@ -407,12 +395,12 @@ namespace spot
{ {
} }
edge_iterator<Graph> begin() edge_iterator<Graph> begin() const
{ {
return {g_, t_}; return {g_, t_};
} }
edge_iterator<Graph> end() edge_iterator<Graph> end() const
{ {
return {}; return {};
} }
@ -499,23 +487,11 @@ namespace spot
} }
typename super::reference typename super::reference
operator*()
{
return tv_[t_];
}
const typename super::reference
operator*() const operator*() const
{ {
return tv_[t_]; return tv_[t_];
} }
const typename super::pointer
operator->()
{
return &tv_[t_];
}
typename super::pointer typename super::pointer
operator->() const operator->() const
{ {
@ -542,12 +518,12 @@ namespace spot
{ {
} }
iter_t begin() iter_t begin() const
{ {
return {0, tv_}; return {0, tv_};
} }
iter_t end() iter_t end() const
{ {
return {tv_}; return {tv_};
} }