P4C
The P4 Compiler
Loading...
Searching...
No Matches
P4::P4CConfiguration Class Referenceabstract

#include <configuration.h>

Inheritance diagram for P4::P4CConfiguration:
[legend]

Public Member Functions

virtual int maximumArraySize () const =0
 Maximum size for a header stack array.
 
virtual int maximumWidthSupported () const =0
 Maximum width supported for a bit field or integer.
 

Detailed Description

A P4CConfiguration is a set of parameters to the compiler that cannot be changed via user options. Implementations should be singleton classes.

Member Function Documentation

◆ maximumArraySize()

virtual int P4::P4CConfiguration::maximumArraySize ( ) const
pure virtual

Maximum size for a header stack array.

Implemented in P4::DefaultP4CConfiguration.

◆ maximumWidthSupported()

virtual int P4::P4CConfiguration::maximumWidthSupported ( ) const
pure virtual

Maximum width supported for a bit field or integer.

Implemented in P4::DefaultP4CConfiguration, and P4::P4Tools::CompilerConfiguration.