cprover
|
Go to the source code of this file.
Functions | |
bool | require_java_generic_type_argument_expectation (const reference_typet &type_argument, const require_type::expected_type_argumentt &expected) |
Helper function for testing that java generic type arguments match a given expectation. More... | |
bool require_java_generic_type_argument_expectation | ( | const reference_typet & | type_argument, |
const require_type::expected_type_argumentt & | expected | ||
) |
Helper function for testing that java generic type arguments match a given expectation.
type_argument | The generic type argument to test |
expected | The expected value of the argument |
Definition at line 101 of file require_type.cpp.
References require_type::expected_type_argumentt::description, symbol_typet::get_identifier(), require_type::Inst, is_java_generic_parameter(), require_type::expected_type_argumentt::kind, typet::subtype(), to_java_generic_parameter(), java_generic_parametert::type_variable(), and require_type::Var.
Referenced by require_type::require_java_generic_parameter(), require_type::require_java_generic_symbol_type(), and require_type::require_java_generic_type().