string_abstraction.h File Reference

String Abstraction. More...

#include <util/bitvector_types.h>
#include <util/config.h>
#include <util/namespace.h>
#include <util/std_expr.h>
#include "goto_function.h"
#include <map>

Include dependency graph for string_abstraction.h:

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

Go to the source code of this file.

Classes
class	string_abstractiont
	Replace all uses of char * by a struct that carries that string, and also the underlying allocation and the C string length. More...

Functions
void	string_abstraction (goto_modelt &, message_handlert &)

Detailed Description

String Abstraction.

Definition in file string_abstraction.h.

Function Documentation

string_abstraction()

void string_abstraction	(	goto_modelt &	goto_model,
		message_handlert &	message_handler
	)

Definition at line 72 of file string_abstraction.cpp.