// Copyright 2016 The Fuchsia Authors. All rights reserved.
// Use of this source code is governed by a BSD-style license that can be
// found in the LICENSE file.

#ifndef SEQUENCER_H
#define SEQUENCER_H

#include "magma_util/macros.h"

class Sequencer {
 public:
  Sequencer(uint32_t first_sequence_number) : next_sequence_number_(first_sequence_number) {}

  uint32_t next_sequence_number() {
    uint32_t sequence_number = next_sequence_number_++;
    // Overflow not handled yet.
    DASSERT(next_sequence_number_ >= sequence_number);
    return sequence_number;
  }

  static constexpr uint32_t kInvalidSequenceNumber = 0;

 private:
  uint32_t next_sequence_number_;
};

#endif  // SEQUENCER_H