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