#ifndef MC_MCBARRIERWAIT_H
#define MC_MCBARRIERWAIT_H

#include "transitions/barrier/MCBarrierTransition.h"

MCTransition *MCReadBarrierWait(const MCSharedTransition *, void *,
                                MCStack *);

struct MCBarrierWait : public MCBarrierTransition {
public:
  MCBarrierWait(std::shared_ptr<MCThread> thread,
                std::shared_ptr<MCBarrier> barrier)
    : MCBarrierTransition(thread, barrier)
  {
  }

  std::shared_ptr<MCTransition> staticCopy() const override;
  std::shared_ptr<MCTransition>
  dynamicCopyInState(const MCStack *) const override;
  void applyToState(MCStack *) override;
  bool coenabledWith(const MCTransition *) const override;
  bool dependentWith(const MCTransition *) const override;
  bool enabledInState(const MCStack *) const override;
  MCTransitionUniqueRep toUniqueRep() const override;
  void print() const override;
};

#endif // MC_MCBARRIERWAIT_H