wordlist.h

/*
 * SPDX-FileCopyrightText: 2024 The P4 Language Consortium
 *
 * SPDX-License-Identifier: Apache-2.0
 */
 
#ifndef BACKENDS_P4TOOLS_MODULES_SMITH_UTIL_WORDLIST_H_
#define BACKENDS_P4TOOLS_MODULES_SMITH_UTIL_WORDLIST_H_
#include <array>
#include <cstddef>
 
#define WORDLIST_LENGTH 10000
 
namespace P4::P4Tools::P4Smith {

class Wordlist {
 public:
    Wordlist() = default;
 
    ~Wordlist() = default;

    static const char *getFromWordlist();
 
 private:
    static std::size_t counter;

    static const std::array<const char *, WORDLIST_LENGTH> WORDS;
};
 
}  // namespace P4::P4Tools::P4Smith
 
#endif /* BACKENDS_P4TOOLS_MODULES_SMITH_UTIL_WORDLIST_H_ */