targets/ebpf/table_stepper.h

#ifndef TESTGEN_TARGETS_EBPF_TABLE_STEPPER_H_
#define TESTGEN_TARGETS_EBPF_TABLE_STEPPER_H_
 
#include <vector>
 
#include "ir/ir.h"
 
#include "backends/p4tools/modules/testgen/core/small_step/table_stepper.h"
#include "backends/p4tools/modules/testgen/lib/execution_state.h"
#include "backends/p4tools/modules/testgen/lib/test_spec.h"
#include "backends/p4tools/modules/testgen/targets/ebpf/expr_stepper.h"
 
namespace P4::P4Tools::P4Testgen::EBPF {
 
class EBPFTableStepper : public TableStepper {
 private:
    enum class TableImplementation { standard, constant, skip };
 
    struct EBPFProperties {
        TableImplementation implementaton = TableImplementation::standard;
    } EBPFProperties;
 
 protected:
    void checkTargetProperties(
        const std::vector<const IR::ActionListElement *> &tableActionList) override;
 
    void evalTargetTable(
        const std::vector<const IR::ActionListElement *> &tableActionList) override;
 
 public:
    explicit EBPFTableStepper(EBPFExprStepper *stepper, const IR::P4Table *table);
};
 
}  // namespace P4::P4Tools::P4Testgen::EBPF
 
#endif /* TESTGEN_TARGETS_EBPF_TABLE_STEPPER_H_ */