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 
17  const std::string &file,
19  class message_handlert &);
20 
22  std::istream &,
24  class message_handlert &);
25 
26 #endif // CPROVER_JAVA_BYTECODE_JAVA_BYTECODE_PARSER_H
bool java_bytecode_parse(const std::string &file, class java_bytecode_parse_treet &, class message_handlert &)
Definition: kdev_t.h:19