// SPDX-License-Identifier: LicenseRef-Verum-Proprietary
// SPDX-FileCopyrightText: 2024 Verum Software Tools B.V.
// Proprietary and confidential. See LICENSE for terms.
//
// Commentary:
//
// Code:

#include "foreign_trivial_proxied.hh"

#include <dzn/pump.hh>

struct foreign_timer: public skel::foreign_timer
{
  dzn::pump& pump;
  foreign_timer (dzn::locator const& l)
    : skel::foreign_timer (l)
    , pump (l.get<dzn::pump>())
  {
    std::cout << "foreign_timer " << this << std::endl;
  }
  void timer_set ()
  {
    pump.handle (reinterpret_cast<size_t>(this), 0, timer.out.timeout);
  }
};
