v8::internal::torque::TypeArgumentInference Class Reference

#include <type-inference.h>

Collaboration diagram for v8::internal::torque::TypeArgumentInference:

Public Member Functions
	TypeArgumentInference (const GenericParameters &type_parameters, const TypeVector &explicit_type_arguments, const std::vector< TypeExpression * > &term_parameters, const std::vector< std::optional< const Type * > > &term_argument_types)
bool	HasFailed () const
const std::string &	GetFailureReason ()
TypeVector	GetResult () const
void	Fail (std::string reason)

Private Member Functions
void	Match (TypeExpression *parameter, const Type *argument_type)
void	MatchGeneric (BasicTypeExpression *parameter, const Type *argument_type)

Private Attributes
size_t	num_explicit_
std::unordered_map< std::string, size_t >	type_parameter_from_name_
std::vector< std::optional< const Type * > >	inferred_
std::optional< std::string >	failure_reason_

Detailed Description

Definition at line 54 of file type-inference.h.

Constructor & Destructor Documentation

TypeArgumentInference()

v8::internal::torque::TypeArgumentInference::TypeArgumentInference	(	const GenericParameters &	type_parameters,
		const TypeVector &	explicit_type_arguments,
		const std::vector< TypeExpression * > &	term_parameters,
		const std::vector< std::optional< const Type * > > &	term_argument_types )

Definition at line 11 of file type-inference.cc.

Here is the call graph for this function:

Member Function Documentation

Fail()

void v8::internal::torque::TypeArgumentInference::Fail ( std::string reason )

inline

Definition at line 65 of file type-inference.h.

Here is the caller graph for this function:

GetFailureReason()

const std::string & v8::internal::torque::TypeArgumentInference::GetFailureReason ( )

inline

Definition at line 63 of file type-inference.h.

Here is the caller graph for this function:

GetResult()

TypeVector v8::internal::torque::TypeArgumentInference::GetResult

(

)

const

Definition at line 49 of file type-inference.cc.

Here is the call graph for this function:

Here is the caller graph for this function:

HasFailed()

bool v8::internal::torque::TypeArgumentInference::HasFailed ( ) const

inline

Definition at line 62 of file type-inference.h.

Here is the caller graph for this function:

Match()

void v8::internal::torque::TypeArgumentInference::Match ( TypeExpression * parameter, const Type * argument_type )

private

Definition at line 58 of file type-inference.cc.

Here is the call graph for this function:

Here is the caller graph for this function:

MatchGeneric()

void v8::internal::torque::TypeArgumentInference::MatchGeneric ( BasicTypeExpression * parameter, const Type * argument_type )

private

Definition at line 92 of file type-inference.cc.

Here is the call graph for this function:

Here is the caller graph for this function:

Member Data Documentation

failure_reason_

std::optional<std::string> v8::internal::torque::TypeArgumentInference::failure_reason_

private

Definition at line 74 of file type-inference.h.

inferred_

std::vector<std::optional<const Type*> > v8::internal::torque::TypeArgumentInference::inferred_

private

Definition at line 73 of file type-inference.h.

num_explicit_

size_t v8::internal::torque::TypeArgumentInference::num_explicit_

private

Definition at line 71 of file type-inference.h.

type_parameter_from_name_

std::unordered_map<std::string, size_t> v8::internal::torque::TypeArgumentInference::type_parameter_from_name_

private

Definition at line 72 of file type-inference.h.

---

The documentation for this class was generated from the following files:

• src/torque/type-inference.h
• src/torque/type-inference.cc