P4CConfiguration Class Reference

#include <configuration.h>

Inheritance diagram for P4CConfiguration:

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 P4CConfiguration::maximumArraySize ( ) const

pure virtual

Maximum size for a header stack array.

Implemented in DefaultP4CConfiguration.

maximumWidthSupported()

virtual int P4CConfiguration::maximumWidthSupported ( ) const

pure virtual

Maximum width supported for a bit field or integer.

Implemented in DefaultP4CConfiguration, and P4Tools::CompilerConfiguration.