P4::Instantiation Class Reference

Used to resolve a Declaration_Instance. More...

#include <methodInstance.h>

Inheritance diagram for P4::Instantiation:

Public Member Functions
	Instantiation (const IR::Declaration_Instance *instance, const IR::Vector< IR::Type > *typeArguments)
	DECLARE_TYPEINFO (Instantiation, InstanceBase)
Public Member Functions inherited from P4::InstanceBase
	DECLARE_TYPEINFO (InstanceBase)
Public Member Functions inherited from P4::ICastable
template<typename T >
T &	as ()
	Tries to convert the class to type T. A BUG occurs if the cast fails.
template<typename T >
const T &	as () const
	Tries to convert the class to type T. A BUG occurs if the cast fails.
template<typename T >
T *	checkedTo ()
	Performs a checked cast. A BUG occurs if the cast fails.
template<typename T >
const T *	checkedTo () const
	Performs a checked cast. A BUG occurs if the cast fails.
Public Member Functions inherited from P4::RTTI::Base
template<typename T >
bool	is () const noexcept
virtual bool	isA (TypeId typeId) const noexcept=0
template<typename T >
const T *	to () const noexcept
	Same as to, but returns const pointer to T.
template<typename T >
T *	to () noexcept
virtual TypeId	typeId () const noexcept=0

Static Public Member Functions
static Instantiation *	resolve (const IR::Declaration_Instance *instance, DeclarationLookup *refMap, TypeMap *typeMap)

Public Attributes
const IR::Vector< IR::Argument > *	constructorArguments
const IR::ParameterList *	constructorParameters = nullptr
const IR::Declaration_Instance *	instance
const IR::Vector< IR::Type > *	typeArguments
const IR::TypeParameters *	typeParameters = nullptr
Public Attributes inherited from P4::InstanceBase
ParameterSubstitution	substitution
	For each callee parameter the corresponding argument.
TypeVariableSubstitution	typeSubstitution

Protected Member Functions
void	substitute ()
Protected Member Functions inherited from P4::InstanceBase
Protected Member Functions inherited from P4::RTTI::Base
virtual const void *	toImpl (TypeId typeId) const noexcept=0

Detailed Description

Used to resolve a Declaration_Instance.