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:

Go to the source code of this file.

Functions
std::optional< 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. More...
std::optional< java_bytecode_parse_treet >	java_bytecode_parse (std::istream &stream, const irep_idt &class_name, class message_handlert &msg, bool skip_instructions=false)
	Attempt to parse a Java class from the given stream. More...

Function Documentation

java_bytecode_parse() [1/2]

std::optional<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.

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.

Returns

parse tree, or empty std::optional on failure

Definition at line 1830 of file java_bytecode_parser.cpp.

java_bytecode_parse() [2/2]

std::optional<java_bytecode_parse_treet> java_bytecode_parse	(	std::istream &	stream,
		const irep_idt &	class_name,
		class message_handlert &	msg,
		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.

Returns

parse tree, or empty std::optional on failure

Definition at line 1808 of file java_bytecode_parser.cpp.