CBMC
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/irep.h>
16 #include <util/optional.h>
17 
18 struct java_bytecode_parse_treet;
19 
27 optionalt<java_bytecode_parse_treet> java_bytecode_parse(
28  const std::string &file,
29  const irep_idt &class_name,
30  class message_handlert &msg,
31  bool skip_instructions = false);
32 
40 optionalt<java_bytecode_parse_treet> java_bytecode_parse(
41  std::istream &stream,
42  const irep_idt &class_name,
43  class message_handlert &msg,
44  bool skip_instructions = false);
45 
46 #endif // CPROVER_JAVA_BYTECODE_JAVA_BYTECODE_PARSER_H
dstringt
dstringt has one field, an unsigned integer no which is an index into a static table of strings.
Definition: dstring.h:36
java_bytecode_parse_treet
Definition: java_bytecode_parse_tree.h:22
optional.h
message_handlert
Definition: message.h:27
java_bytecode_parse
optionalt< java_bytecode_parse_treet > java_bytecode_parse(const std::string &file, const irep_idt &class_name, class message_handlert &msg, bool skip_instructions=false)
Attempt to parse a Java class from the given file.
Definition: java_bytecode_parser.cpp:1827
optionalt
nonstd::optional< T > optionalt
Definition: optional.h:35
irep.h