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
#include <
util/optional.h
>
16
17
struct
java_bytecode_parse_treet
;
18
25
optionalt<java_bytecode_parse_treet>
26
java_bytecode_parse
(
27
const
std::string &
file
,
28
class
message_handlert
&msg,
29
bool
skip_instructions =
false
);
30
37
optionalt<java_bytecode_parse_treet>
38
java_bytecode_parse
(
39
std::istream &stream,
40
class
message_handlert
&msg,
41
bool
skip_instructions =
false
);
42
43
#endif // CPROVER_JAVA_BYTECODE_JAVA_BYTECODE_PARSER_H
java_bytecode_parse_treet
Definition:
java_bytecode_parse_tree.h:22
optional.h
file
Definition:
kdev_t.h:19
message_handlert
Definition:
message.h:24
optionalt
nonstd::optional< T > optionalt
Definition:
optional.h:35
java_bytecode_parse
optionalt< java_bytecode_parse_treet > java_bytecode_parse(const std::string &file, class message_handlert &msg, bool skip_instructions=false)
Attempt to parse a Java class from the given file.
Definition:
java_bytecode_parser.cpp:1890
jbmc
src
java_bytecode
java_bytecode_parser.h
Generated by
1.8.16