cprover
|
Go to the source code of this file.
Functions | |
const std::vector< java_generic_parametert > | get_all_generic_parameters (const typet &type) |
Author: Diffblue Ltd. More... | |
const std::vector<java_generic_parametert> get_all_generic_parameters | ( | const typet & | type | ) |
Author: Diffblue Ltd.
type | Source type |
Definition at line 11 of file generic_parameter_specialization_map_keys.cpp.
References java_generic_class_typet::generic_types(), java_implicitly_generic_class_typet::implicit_generic_types(), is_java_generic_class_type(), is_java_implicitly_generic_class_type(), PRECONDITION, to_java_class_type(), to_java_generic_class_type(), and to_java_implicitly_generic_class_type().
Referenced by generic_parameter_specialization_map_keyst::insert_pairs_for_pointer(), and generic_parameter_specialization_map_keyst::insert_pairs_for_symbol().