#ifndef IVL_PTimingCheck_H
#define IVL_PTimingCheck_H
/*
 * Copyright (c) 2006-2025 Stephen Williams <steve@icarus.com>
 *
 *    This source code is free software; you can redistribute it
 *    and/or modify it in source code form under the terms of the GNU
 *    General Public License as published by the Free Software
 *    Foundation; either version 2 of the License, or (at your option)
 *    any later version.
 *
 *    This program is distributed in the hope that it will be useful,
 *    but WITHOUT ANY WARRANTY; without even the implied warranty of
 *    MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
 *    GNU General Public License for more details.
 *
 *    You should have received a copy of the GNU General Public License
 *    along with this program; if not, write to the Free Software
 *    Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, USA.
 */

# include  "LineInfo.h"
# include  "PExpr.h"
# include  "pform_types.h"
# include  <memory>

/*
* The PTimingCheck is the base class for all timing checks
*/
class PTimingCheck  : public LineInfo {

    public:
      enum EdgeType {EDGE_01, EDGE_0X, EDGE_10, EDGE_1X, EDGE_X0, EDGE_X1};

      struct event_t {
        pform_name_t name;
        bool posedge;
        bool negedge;
        std::vector<EdgeType> edges;
        std::unique_ptr<PExpr> condition;
      };

      // This struct is used to parse the optional arguments
      struct optional_args_t {
        pform_name_t* notifier          = nullptr;
        PExpr* timestamp_cond    = nullptr;
        PExpr* timecheck_cond    = nullptr;
        pform_name_t* delayed_reference = nullptr;
        pform_name_t* delayed_data      = nullptr;
        PExpr* event_based_flag         = nullptr;
        PExpr* remain_active_flag       = nullptr;
      };

      PTimingCheck() { }
      virtual ~PTimingCheck() override { }

      virtual void elaborate(class Design*des, class NetScope*scope) const = 0;

      virtual void dump(std::ostream&out, unsigned ind) const = 0;
};

/*
* The PRecRem is the parse of a $recrem timing check
*/
class PRecRem : public PTimingCheck {

    public:

      PRecRem(event_t* reference_event,
                    event_t* data_event,
                    PExpr* setup_limit,
                    PExpr* hold_limit,
                    pform_name_t* notifier,
                    PExpr* timestamp_cond,
                    PExpr* timecheck_cond,
                    pform_name_t* delayed_reference,
                    pform_name_t* delayed_data);

      ~PRecRem() override;

      void elaborate(class Design*des, class NetScope*scope) const override;

      void dump(std::ostream&out, unsigned ind) const override;

    private:
      std::unique_ptr<event_t> reference_event_;
      std::unique_ptr<event_t> data_event_;

      std::unique_ptr<PExpr> setup_limit_;
      std::unique_ptr<PExpr> hold_limit_;

      std::unique_ptr<pform_name_t> notifier_;

      std::unique_ptr<PExpr> timestamp_cond_;
      std::unique_ptr<PExpr> timecheck_cond_;

      std::unique_ptr<pform_name_t> delayed_reference_;
      std::unique_ptr<pform_name_t> delayed_data_;
};

/*
* The PSetupHold is the parse of a $setuphold timing check
*/
class PSetupHold : public PTimingCheck {

    public:
      PSetupHold(event_t* reference_event,
                    event_t* data_event,
                    PExpr* setup_limit,
                    PExpr* hold_limit,
                    pform_name_t* notifier,
                    PExpr* timestamp_cond,
                    PExpr* timecheck_cond,
                    pform_name_t* delayed_reference,
                    pform_name_t* delayed_data);

      ~PSetupHold() override;

      void elaborate(class Design*des, class NetScope*scope) const override;

      void dump(std::ostream&out, unsigned ind) const override;

    private:
      std::unique_ptr<event_t> reference_event_;
      std::unique_ptr<event_t> data_event_;

      std::unique_ptr<PExpr> setup_limit_;
      std::unique_ptr<PExpr> hold_limit_;

      std::unique_ptr<pform_name_t> notifier_;

      std::unique_ptr<PExpr> timestamp_cond_;
      std::unique_ptr<PExpr> timecheck_cond_;

      std::unique_ptr<pform_name_t> delayed_reference_;
      std::unique_ptr<pform_name_t> delayed_data_;
};

#endif /* IVL_PTimingCheck_H */