cprover
java_bytecode_parser.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
#ifndef CPROVER_JAVA_BYTECODE_JAVA_BYTECODE_PARSER_H
11
#define CPROVER_JAVA_BYTECODE_JAVA_BYTECODE_PARSER_H
12
13
#include <iosfwd>
14
#include <string>
15
16
bool
java_bytecode_parse
(
17
const
std::string &
file
,
18
class
java_bytecode_parse_treet
&,
19
class
message_handlert
&);
20
21
bool
java_bytecode_parse
(
22
std::istream &,
23
class
java_bytecode_parse_treet
&,
24
class
message_handlert
&);
25
26
#endif // CPROVER_JAVA_BYTECODE_JAVA_BYTECODE_PARSER_H
java_bytecode_parse
bool java_bytecode_parse(const std::string &file, class java_bytecode_parse_treet &, class message_handlert &)
Definition:
java_bytecode_parser.cpp:1384
message_handlert
Definition:
message.h:20
java_bytecode_parse_treet
Definition:
java_bytecode_parse_tree.h:20
file
Definition:
kdev_t.h:19
java_bytecode
java_bytecode_parser.h
Generated by
1.8.14