P4C
The P4 Compiler
Loading...
Searching...
No Matches
DefaultP4CConfiguration Class Reference
Inheritance diagram for DefaultP4CConfiguration:
[legend]

Public Member Functions

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

Static Public Member Functions

static const DefaultP4CConfigurationget ()
 

Member Function Documentation

◆ get()

static const DefaultP4CConfiguration & DefaultP4CConfiguration::get ( )
inlinestatic
Returns
the singleton instance.

◆ maximumArraySize()

int DefaultP4CConfiguration::maximumArraySize ( ) const
inlinevirtual

Maximum size for a header stack array.

Implements P4CConfiguration.

◆ maximumWidthSupported()

int DefaultP4CConfiguration::maximumWidthSupported ( ) const
inlinevirtual

Maximum width supported for a bit field or integer.

Implements P4CConfiguration.

Reimplemented in P4Tools::CompilerConfiguration.