summaryrefslogtreecommitdiff
path: root/src/monitor.cc
diff options
context:
space:
mode:
Diffstat (limited to 'src/monitor.cc')
-rw-r--r--src/monitor.cc20
1 files changed, 0 insertions, 20 deletions
diff --git a/src/monitor.cc b/src/monitor.cc
index b9c6085..17c3dfd 100644
--- a/src/monitor.cc
+++ b/src/monitor.cc
@@ -44,26 +44,6 @@ public:
return machines_.size();
}
- uint32_t id(size_t index) const override {
- auto it = machines_.begin();
- while (index--) ++it;
- if (it == machines_.end()) {
- assert(false);
- return 0xffffffff;
- }
- return it->first;
- }
-
- Machine machine_at(size_t index) const override {
- auto it = machines_.begin();
- while (index--) ++it;
- if (it == machines_.end()) {
- assert(false);
- return EMPTY;
- }
- return it->second;
- }
-
Machine machine(uint32_t id) const override {
auto it = machines_.find(id);
if (it == machines_.end()) {