trace_event.h

#ifndef BACKENDS_P4TOOLS_COMMON_LIB_TRACE_EVENT_H_
#define BACKENDS_P4TOOLS_COMMON_LIB_TRACE_EVENT_H_
 
#include <iosfwd>
 
#include "backends/p4tools/common/lib/model.h"
#include "backends/p4tools/common/lib/symbolic_env.h"
#include "ir/visitor.h"
#include "lib/castable.h"
 
namespace P4::P4Tools {

class TraceEvent : public ICastable {
 private:
    friend std::ostream &operator<<(std::ostream &os, const TraceEvent &event);
 
 public:
    virtual ~TraceEvent() = default;
    TraceEvent();

    [[nodiscard]] virtual const TraceEvent *subst(const SymbolicEnv &env) const;

    virtual const TraceEvent *apply(Transform &visitor) const;

    [[nodiscard]] virtual const TraceEvent *evaluate(const Model &model, bool doComplete) const;
 
 protected:
    virtual void print(std::ostream &) const = 0;
 
    DECLARE_TYPEINFO(TraceEvent);
};
 
}  // namespace P4::P4Tools
 
#endif /* BACKENDS_P4TOOLS_COMMON_LIB_TRACE_EVENT_H_ */