cprover
java_utils.h
Go to the documentation of this file.
1 /*******************************************************************\
2 
3 Module:
4 
5 Author: Daniel Kroening, kroening@kroening.com
6 
7 \*******************************************************************/
8 
9 
10 #include <util/type.h>
11 
12 #ifndef CPROVER_JAVA_BYTECODE_JAVA_UTILS_H
13 #define CPROVER_JAVA_BYTECODE_JAVA_UTILS_H
14 
15 bool java_is_array_type(const typet &type);
16 
17 #endif // CPROVER_JAVA_BYTECODE_JAVA_UTILS_H
The type of an expression.
Definition: type.h:20
bool java_is_array_type(const typet &type)
Definition: java_utils.cpp:14