java_bytecode_parser.h File Reference

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

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
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. More...
optionalt< 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]

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.

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 optionalt on failure

Definition at line 1827 of file java_bytecode_parser.cpp.

java_bytecode_parse() [2/2]

optionalt<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 optionalt on failure

Definition at line 1805 of file java_bytecode_parser.cpp.