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
typet
The type of an expression.
Definition:
type.h:20
java_is_array_type
bool java_is_array_type(const typet &type)
Definition:
java_utils.cpp:14
type.h
java_bytecode
java_utils.h
Generated by
1.8.14