backends/p4tools/common/compiler/configuration.h

#ifndef BACKENDS_P4TOOLS_COMMON_COMPILER_CONFIGURATION_H_
#define BACKENDS_P4TOOLS_COMMON_COMPILER_CONFIGURATION_H_
 
#include <climits>
 
#include "ir/configuration.h"
 
namespace P4::P4Tools {
 
class CompilerConfiguration : public DefaultP4CConfiguration {
 public:
    [[nodiscard]] int maximumWidthSupported() const override { return INT_MAX; }
 
    static const CompilerConfiguration &get() {
        static CompilerConfiguration instance;
        return instance;
    }
    virtual ~CompilerConfiguration() = default;
 
 protected:
    CompilerConfiguration() = default;
};
 
}  // namespace P4::P4Tools
 
#endif /* BACKENDS_P4TOOLS_COMMON_COMPILER_CONFIGURATION_H_ */