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 
27  const std::string &file,
28  class message_handlert &msg,
29  bool skip_instructions = false);
30 
39  std::istream &stream,
40  class message_handlert &msg,
41  bool skip_instructions = false);
42 
43 #endif // CPROVER_JAVA_BYTECODE_JAVA_BYTECODE_PARSER_H
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.
nonstd::optional< T > optionalt
Definition: optional.h:35
Definition: kdev_t.h:19