ir/configuration.h

/*
 * SPDX-FileCopyrightText: 2013 Barefoot Networks, Inc.
 * Copyright 2013-present Barefoot Networks, Inc.
 *
 * SPDX-License-Identifier: Apache-2.0
 */
 
#ifndef IR_CONFIGURATION_H_
#define IR_CONFIGURATION_H_
 
namespace P4 {

class P4CConfiguration {
 public:
    virtual ~P4CConfiguration() = default;

    virtual int maximumWidthSupported() const = 0;

    virtual int maximumArraySize() const = 0;
};
 
class DefaultP4CConfiguration : public P4CConfiguration {
 public:
    int maximumWidthSupported() const override { return 2048; }
    int maximumArraySize() const override { return 256; }

    static const DefaultP4CConfiguration &get() {
        static DefaultP4CConfiguration instance;
        return instance;
    }
 
 protected:
    DefaultP4CConfiguration() {}
};
 
}  // namespace P4
 
#endif /* IR_CONFIGURATION_H_ */