1#ifndef BACKENDS_P4TOOLS_COMMON_OPTIONS_H_
2#define BACKENDS_P4TOOLS_COMMON_OPTIONS_H_
9#include "frontends/common/options.h"
10#include "lib/compile_context.h"
20 std::string _toolName;
25 std::optional<uint32_t>
seed = std::nullopt;
33 int process(
const std::vector<const char *> &args);
39 std::vector<const char *> *
process(
int argc,
char *
const argv[])
override;
50 [[nodiscard]]
const std::string &
getToolName()
const;
53 static std::tuple<int, char **>
convertArgs(
const std::vector<const char *> &args);
Definition frontends/common/options.h:30