cprover
|
#include <util/type.h>
Go to the source code of this file.
Functions | |
bool | java_is_array_type (const typet &type) |
bool java_is_array_type | ( | const typet & | type | ) |
Definition at line 14 of file java_utils.cpp.
References has_prefix(), irept::id(), id2string(), and to_struct_type().