Loading...

Searching...

No Matches

java_bytecode_parser.h File Reference

#include <util/irep.h>
#include <iosfwd>
#include <optional>
#include <string>

+ Include dependency graph for java_bytecode_parser.h:

+ This graph shows which files directly or indirectly include this file:

Functions

Attempt to parse a Java class from the given file.

Attempt to parse a Java class from the given stream.

Function Documentation

std::optional< java_bytecode_parse_treet > java_bytecode_parse ( const std::string & file,

const irep_idt & class_name,

bool skip_instructions = false

)

Attempt to parse a Java class from the given file.

Parameters: file file to load from

class_name name of the class to load

msg handles log messages

skip_instructions if true, the loaded class's methods will all be empty. Saves time and memory for consumers that only want signature info.

Definition at line 1840 of file java_bytecode_parser.cpp.

std::optional< java_bytecode_parse_treet > java_bytecode_parse ( std::istream & stream,

const irep_idt & class_name,

bool skip_instructions = false

)

Attempt to parse a Java class from the given stream.

Parameters: stream stream to load from

class_name name of the class to load

msg handles log messages

skip_instructions if true, the loaded class's methods will all be empty. Saves time and memory for consumers that only want signature info.

Definition at line 1818 of file java_bytecode_parser.cpp.