P4::SpecSignature Struct Reference

A signature of a concrete specialization. None of the parameters can be type variables or generic types, therefore the specialization can always be identified globally the the names of types. More...

#include <specializeGenericTypes.h>

Public Member Functions
std::string	name () const
	Get a candidate name for the instantiation.
bool	operator< (const SpecSignature &other) const
	Order for the sake of std::map only, the requirements are:

Static Public Member Functions
static std::optional< SpecSignature >	get (const IR::Type_Specialized *spec)
	Get a specialization signature if it is valid (i.e. the type is specialized only by concrete non-generic types).

Public Attributes
safe_vector< cstring >	arguments
	String representation of the type argument names.
cstring	baseType
	Name of the type declaration of the base (unspecialized) type (i.e. the struct/header)

Detailed Description

A signature of a concrete specialization. None of the parameters can be type variables or generic types, therefore the specialization can always be identified globally the the names of types.

Member Function Documentation

operator<()

bool P4::SpecSignature::operator< ( const SpecSignature & other ) const

inline

Order for the sake of std::map only, the requirements are:

• it is a total order;
• all specializations of the same type are grouped together;
• no-argument specialization is always ordered immediatelly before any other specializations of the type (for the sake of lower_bound searches);