cprover
java_bytecode_parser.h File Reference
#include <iosfwd>
#include <string>
#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_treetjava_bytecode_parse (const std::string &file, class message_handlert &msg, bool skip_instructions=false)
 Attempt to parse a Java class from the given file. More...
 
optionalt< java_bytecode_parse_treetjava_bytecode_parse (std::istream &stream, 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,
class message_handlert msg,
bool  skip_instructions = false 
)

Attempt to parse a Java class from the given file.

Parameters
filefile to load from
msghandles log messages
skip_instructionsif 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 1890 of file java_bytecode_parser.cpp.

◆ java_bytecode_parse() [2/2]

optionalt<java_bytecode_parse_treet> java_bytecode_parse ( std::istream &  stream,
class message_handlert msg,
bool  skip_instructions = false 
)

Attempt to parse a Java class from the given stream.

Parameters
streamstream to load from
msghandles log messages
skip_instructionsif 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 1870 of file java_bytecode_parser.cpp.