cprover
java_utils.h File Reference
#include <util/type.h>
Include dependency graph for java_utils.h:
This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Functions

bool java_is_array_type (const typet &type)
 

Function Documentation

§ java_is_array_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().