-/* Copyright (c) 2014-2017. The SimGrid Team. All rights reserved. */
+/* Copyright (c) 2014-2018. The SimGrid Team. All rights reserved. */
/* This program is free software; you can redistribute it and/or modify it
* under the terms of the license (GNU LGPL) which comes with this package. */
ChunkedData() = default;
void clear()
{
- for (std::size_t pageno : pagenos_)
+ for (std::size_t const& pageno : pagenos_)
store_->unref_page(pageno);
pagenos_.clear();
}
: store_ (that.store_)
, pagenos_(that.pagenos_)
{
- for (std::size_t pageno : pagenos_)
+ for (std::size_t const& pageno : pagenos_)
store_->ref_page(pageno);
}
ChunkedData(ChunkedData&& that)
- : store(that.store_)
+ : store_(that.store_)
, pagenos_(std::move(that.pagenos_))
{
that.store_ = nullptr;
this->clear();
store_ = that.store_;
pagenos_ = that.pagenos_;
- for (std::size_t pageno : pagenos_)
+ for (std::size_t const& pageno : pagenos_)
store_->ref_page(pageno);
return *this;
}