P4C
The P4 Compiler
Loading...
Searching...
No Matches
testgen/targets/ebpf/register.h
1/*
2 * SPDX-FileCopyrightText: 2022 The P4 Language Consortium
3 *
4 * SPDX-License-Identifier: Apache-2.0
5 */
6
7#ifndef BACKENDS_P4TOOLS_MODULES_TESTGEN_TARGETS_EBPF_REGISTER_H_
8#define BACKENDS_P4TOOLS_MODULES_TESTGEN_TARGETS_EBPF_REGISTER_H_
9
10#include "backends/p4tools/common/p4ctool.h"
11
12#include "backends/p4tools/modules/testgen/options.h"
13#include "backends/p4tools/modules/testgen/targets/ebpf/target.h"
14#include "backends/p4tools/modules/testgen/testgen.h"
15
16namespace P4::P4Tools::P4Testgen {
17
19inline void ebpfRegisterTestgenTarget() { EBPF::EBPFTestgenTarget::make(); }
20
21} // namespace P4::P4Tools::P4Testgen
22
23#endif /* BACKENDS_P4TOOLS_MODULES_TESTGEN_TARGETS_EBPF_REGISTER_H_ */
P4::P4Tools::P4Testgen::EBPF::EBPFTestgenTarget::make
static void make()
Registers this target.
Definition p4tools/modules/testgen/targets/ebpf/target.cpp:37