#include <util/irep.h>

Include dependency graph for simple_method_stubbing.h:

This graph shows which files directly or indirectly include this file:

Functions
void	java_generate_simple_method_stub (const irep_idt &function_name, symbol_table_baset &symbol_table, bool assume_non_null, const java_object_factory_parameterst &object_factory_parameters, message_handlert &message_handler)

void	java_generate_simple_method_stubs (symbol_table_baset &symbol_table, bool assume_non_null, const java_object_factory_parameterst &object_factory_parameters, message_handlert &message_handler)
	Generates function stubs for most undefined functions in the symbol table, except as forbidden in `java_simple_method_stubst::check_method_stub`. More...

Detailed Description

Java simple opaque stub generation

Function Documentation

void java_generate_simple_method_stub	(	const irep_idt &	function_name,
		symbol_table_baset &	symbol_table,
		bool	assume_non_null,
		const java_object_factory_parameterst &	object_factory_parameters,
		message_handlert &	message_handler
	)

void java_generate_simple_method_stubs	(	symbol_table_baset &	symbol_table,
		bool	assume_non_null,
		const java_object_factory_parameterst &	object_factory_parameters,
		message_handlert &	message_handler
	)

Generates function stubs for most undefined functions in the symbol table, except as forbidden in java_simple_method_stubst::check_method_stub.

Parameters

symbol_table	Global symbol table
assume_non_null	If true, generated function stubs will never initialize reference members with null.
object_factory_parameters	specifies exactly how nondet composite objects should be created– for example, object graph depth.
message_handler	Logging