cprover
java_utils.cpp File Reference
#include "java_utils.h"
#include <util/prefix.h>
#include <util/std_types.h>
Include dependency graph for java_utils.cpp:

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