cprover
generic_parameter_specialization_map_keys.cpp File Reference
#include "generic_parameter_specialization_map_keys.h"
#include <iterator>
+ Include dependency graph for generic_parameter_specialization_map_keys.cpp:

Go to the source code of this file.

Functions

const std::vector< java_generic_parametertget_all_generic_parameters (const typet &type)
 Author: Diffblue Ltd. More...
 

Function Documentation

◆ get_all_generic_parameters()

const std::vector<java_generic_parametert> get_all_generic_parameters ( const typet type)

Author: Diffblue Ltd.

Parameters
typeSource type
Returns
The vector of implicitly generic and (explicitly) generic type parameters of the given type.

Definition at line 11 of file generic_parameter_specialization_map_keys.cpp.