Inheritance diagram for P4::TypeSpecialization:

Public Member Functions
	TypeSpecialization (cstring name, const IR::Type_Specialized specialized, const IR::Type_Declaration decl, const IR::Node insertion, const IR::Vector< IR::Type > argTypes)

void	dbprint (std::ostream &out) const override

Public Member Functions inherited from P4::IHasDbPrint
void	print () const

Public Attributes
const IR::Vector< IR::Type > *	argumentTypes

const IR::Type_Declaration *	declaration
	Declaration of specialized type, which will be replaced.

const IR::Node *	insertion
	Insertion point.

cstring	name
	Name to use for specialized type.

const IR::Type_StructLike *	replacement
	New synthesized type (created later)

const IR::Type_Specialized *	specialized
	Type that is being specialized.

Member Function Documentation

◆ dbprint()

void P4::TypeSpecialization::dbprint ( std::ostream & out ) const

inlineoverridevirtual

const IR::Vector<IR::Type>* P4::TypeSpecialization::argumentTypes

Save here the canonical types of the type arguments of 'specialized'. The typeMap will be cleared, so we cannot look them up later.