cprover
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_argumentThe generic type argument to test
expectedThe 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().