cprover
|
#include <require_parse_tree.h>
Public Member Functions | |
expected_instructiont (const irep_idt &instruction_mnemoic, const std::vector< exprt > &instruction_arguments) | |
void | require_instructions_equal (java_bytecode_parse_treet::instructiont actual_instruction) const |
Check whether a given instruction matches an expectation of the instruction. More... | |
Private Attributes | |
irep_idt | instruction_mnemoic |
std::vector< exprt > | instruction_arguments |
Definition at line 36 of file require_parse_tree.h.
|
inline |
Definition at line 38 of file require_parse_tree.h.
void require_parse_tree::expected_instructiont::require_instructions_equal | ( | java_bytecode_parse_treet::instructiont | actual_instruction | ) | const |
Check whether a given instruction matches an expectation of the instruction.
actual_instruction | The instruction to check |
Definition at line 95 of file require_parse_tree.cpp.
References java_bytecode_parse_treet::instructiont::args, instruction_arguments, instruction_mnemoic, irept::pretty(), and java_bytecode_parse_treet::instructiont::statement.
|
private |
Definition at line 51 of file require_parse_tree.h.
Referenced by require_instructions_equal().
|
private |
Definition at line 50 of file require_parse_tree.h.
Referenced by require_instructions_equal().