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
19
optionalt<java_bytecode_parse_treet>
20
java_bytecode_parse
(
const
std::string &
file
,
class
message_handlert
&);
21
22
optionalt<java_bytecode_parse_treet>
23
java_bytecode_parse
(std::istream &,
class
message_handlert
&);
24
25
#endif // CPROVER_JAVA_BYTECODE_JAVA_BYTECODE_PARSER_H
optional.h
java_bytecode_parse
optionalt< java_bytecode_parse_treet > java_bytecode_parse(const std::string &file, class message_handlert &)
Definition:
java_bytecode_parser.cpp:1826
optionalt
nonstd::optional< T > optionalt
Definition:
optional.h:35
message_handlert
Definition:
message.h:25
java_bytecode_parse_treet
Definition:
java_bytecode_parse_tree.h:22
file
Definition:
kdev_t.h:19
jbmc
src
java_bytecode
java_bytecode_parser.h
Generated by
1.8.14