require_type.cpp File Reference

#include "require_type.h"
#include <testing-utils/catch.hpp>
#include <util/base_type.h>
#include <util/namespace.h>
#include <util/symbol_table.h>

Include dependency graph for require_type.cpp:

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...

Function Documentation

require_java_generic_type_argument_expectation()

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.

Parameters

type_argument	The generic type argument to test
expected	The expected value of the argument

Returns

true if the generic type argument meets the expectations

Definition at line 126 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().