refined_string_type.cpp File Reference

Type for string expressions used by the string solver. More...

#include "refined_string_type.h"
#include "pointer_expr.h"

Include dependency graph for refined_string_type.cpp:

Go to the source code of this file.

Detailed Description

Type for string expressions used by the string solver.

These string expressions contain a field length, of type index_type, a field content of type content_type. This module also defines functions to recognise the C and java string types.

Definition in file refined_string_type.cpp.