P4C
The P4 Compiler
Loading...
Searching...
No Matches
tdiConf.h
1
/*
2
* Copyright 2023 Intel Corporation
3
* SPDX-FileCopyrightText: 2023 Intel Corporation
4
*
5
* SPDX-License-Identifier: Apache-2.0
6
*/
7
8
#ifndef BACKENDS_DPDK_TDICONF_H_
9
#define BACKENDS_DPDK_TDICONF_H_
10
11
#include <string>
12
13
#include "backends/dpdk/options.h"
14
namespace
P4::DPDK
{
15
16
class
TdiBfrtConf
{
17
private
:
20
static
std::vector<cstring> getPipeNames(
const
IR::Declaration_Instance *main);
21
23
static
std::optional<cstring> findPipeName(
const
IR::P4Program *prog,
24
DPDK::DpdkOptions
&options);
25
26
public
:
28
static
void
generate
(
const
IR::P4Program *prog,
DPDK::DpdkOptions
&options);
29
};
30
31
}
// namespace P4::DPDK
32
33
#endif
/* BACKENDS_DPDK_TDICONF_H_ */
P4::DPDK::DpdkOptions
Definition
backends/dpdk/options.h:15
P4::DPDK::TdiBfrtConf
Definition
tdiConf.h:16
P4::DPDK::TdiBfrtConf::generate
static void generate(const IR::P4Program *prog, DPDK::DpdkOptions &options)
Generate the TDI configuration file required by the tdi-pipeline-builder.
Definition
tdiConf.cpp:60
P4::DPDK
Definition
dpdk/backend.cpp:26
backends
dpdk
tdiConf.h
Generated by
1.13.2