1#ifndef BACKENDS_P4TOOLS_COMMON_CONTROL_PLANE_P4INFO_MAP_H_ 
    2#define BACKENDS_P4TOOLS_COMMON_CONTROL_PLANE_P4INFO_MAP_H_ 
    7#include "control-plane/p4RuntimeArchHandler.h" 
    8#include "control-plane/p4RuntimeSerializer.h" 
    9#include "lib/cstring.h" 
   11#pragma GCC diagnostic push 
   12#pragma GCC diagnostic ignored "-Wunused-parameter" 
   13#pragma GCC diagnostic ignored "-Wpedantic" 
   14#include "p4/config/v1/p4info.pb.h" 
   15#pragma GCC diagnostic pop 
   39    using P4RuntimeIdToControlPlaneNameMap = std::map<uint64_t, cstring>;
 
   40    using ControlPlaneNameToP4RuntimeIdMap = std::map<cstring, uint64_t>;
 
   53    explicit P4InfoMaps(
const p4::config::v1::P4Info &p4Info);
 
 
Definition p4info_map.h:37
 
ControlPlaneNameToP4RuntimeIdMap nameToIdMap
Maps control plane names to P4Runtime IDs.
Definition p4info_map.h:47
 
virtual void buildP4InfoMaps(const p4::config::v1::P4Info &p4Info)
Iterate over the P4Info object and build a mapping from P4 control plane names to their ids.
Definition p4info_map.cpp:16
 
std::optional< cstring > lookUpControlPlaneName(uint64_t id) const
Definition p4info_map.cpp:85
 
std::optional< uint64_t > lookUpP4RuntimeId(cstring controlPlaneName) const
Definition p4info_map.cpp:77
 
P4RuntimeIdToControlPlaneNameMap idToNameMap
Maps P4Runtime IDs to control plane names.
Definition p4info_map.h:44
 
TODO(antonin): High level goals of the generator go here!!
Definition bfruntime_arch_handler.h:52
 
uint64_t szudzikPairing(p4rt_id_t x, p4rt_id_t y)
Definition p4info_map.cpp:7