// -*- mode: C++; c-file-style: "stroustrup"; c-basic-offset: 4; -*-
////////////////////////////////////////////////////////////////////
//
// $Id: zone.h 816 2011-09-10 13:19:07Z Sebastian Kupferschmid $
//
////////////////////////////////////////////////////////////////////

#ifndef SYSTEM_ZONE_H
#define SYSTEM_ZONE_H

#pragma GCC system_header

#include <dbm/fed.h>
#include <dbm/print.h>

#pragma enable_warn

#include <iosfwd>
#include <string>

class System;

class MyClockAccessor : public dbm::ClockAccessor {
private:
    const System* system;
public:
    MyClockAccessor(const System* system);
    virtual const std::string getClockName(cindex_t index) const;
};

std::ostream& dump(std::ostream& out, const dbm::dbm_t& zone);

#endif /* SYSTEM_ZONE_H */
