deterministicCounterListener.h

#pragma once
 
#include <listener/listener.h>
#include <utils/uidDispenser.h>
 
namespace TuringSim::Listener {
    template<typename MachineType_>
    class DeterministicCounterListener : public Listener<MachineType_, unsigned long long int> {
        typedef Listener<MachineType_, unsigned long long int> Listener_;
    public:
        using typename Listener_::IdType;
        using typename Listener_::StateType;
        using typename Listener_::MachineType;
        using typename Listener_::StorageType;
        using typename Listener_::TransitionType;
        using typename Listener_::ApplyHelperType;
 
        static_assert(MachineType::IsDeterministic::value,
                      "Machine must be deterministic.");
 
        DeterministicCounterListener() = default;
 
        DeterministicCounterListener(const DeterministicCounterListener& other) = default;
 
        DeterministicCounterListener(DeterministicCounterListener&& other) = default;
 
        DeterministicCounterListener& operator=(const DeterministicCounterListener& other) = default;
 
        DeterministicCounterListener& operator=(DeterministicCounterListener&& other) = default;
 
        virtual ~DeterministicCounterListener() override = default;
 
        virtual IdType getInitialId() override {
            return initialId;
        }
 
#pragma clang diagnostic push
#pragma clang diagnostic ignored "-Wunused-parameter"
 
        virtual IdType registerPreTransition(const StateType& state, const StorageType& storage, const IdType& preId) override {
            return dispenser();
        }
 
        virtual void registerNoTransition(const IdType& id, const StateType& state, const StorageType& storage) override {
        }
 
        virtual void registerPostTransition(const IdType& id, const StateType& state, const StorageType& storage, const TransitionType& transition, const ApplyHelperType& applyHelper, bool running) override {
            numberOfTransitions++;
        }
#pragma clang diagnostic pop
 
        unsigned long long int getNumberOfTransitions() const {
            return numberOfTransitions;
        }
 
    private:
        Utils::UidDispenser<unsigned long long int> dispenser{};
        unsigned long long int initialId = dispenser();
        unsigned long long int numberOfTransitions{};
    };
}