select_pointer_type.cpp File Reference

Handle selection of correct pointer type (for example changing abstract classes to concrete versions). More...

#include "select_pointer_type.h"
#include "java_types.h"
#include <util/std_types.h>

Include dependency graph for select_pointer_type.cpp:

Go to the source code of this file.

Detailed Description

Handle selection of correct pointer type (for example changing abstract classes to concrete versions).

Definition in file select_pointer_type.cpp.