model_argc_argv.h File Reference

Initialize command line arguments. More...

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

Go to the source code of this file.

Functions
bool	model_argc_argv (goto_modelt &, unsigned max_argc, message_handlert &)
	Set up argv with up to max_argc pointers into an array of 4096 bytes. More...

Detailed Description

Initialize command line arguments.

Definition in file model_argc_argv.h.

Function Documentation

model_argc_argv()

bool model_argc_argv	(	goto_modelt &	goto_model,
		unsigned	max_argc,
		message_handlert &	message_handler
	)

Set up argv with up to max_argc pointers into an array of 4096 bytes.

Parameters

goto_model	Contains the input program's symbol table and intermediate representation
max_argc	User-specified maximum number of arguments to be modelled
message_handler	message logging

Returns

True, if and only if modelling succeeded

Definition at line 39 of file model_argc_argv.cpp.