cprover
Loading...
Searching...
No Matches
java_bytecode_parser.h
Go to the documentation of this file.
1/*******************************************************************\
2
3Module:
4
5Author: 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
19
28 const std::string &file,
29 const irep_idt &class_name,
30 class message_handlert &msg,
31 bool skip_instructions = false);
32
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
ait supplies three of the four components needed: an abstract interpreter (in this case handling func...
Definition ai.h:563
dstringt has one field, an unsigned integer no which is an index into a static table of strings.
Definition dstring.h:39
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 kdev_t.h:19