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 
18 java_bytecode_parse(const std::string &file, class message_handlert &);
19 
21 java_bytecode_parse(std::istream &, class message_handlert &);
22 
23 #endif // CPROVER_JAVA_BYTECODE_JAVA_BYTECODE_PARSER_H
optionalt< class java_bytecode_parse_treet > java_bytecode_parse(const std::string &file, class message_handlert &)
nonstd::optional< T > optionalt
Definition: optional.h:35
Definition: kdev_t.h:19