cprover
Loading...
Searching...
No Matches
require_parse_tree::expected_instructiont Struct Reference

#include <require_parse_tree.h>

Collaboration diagram for require_parse_tree::expected_instructiont:

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.

Private Attributes

irep_idt instruction_mnemoic
std::vector< exprtinstruction_arguments

Detailed Description

Definition at line 33 of file require_parse_tree.h.

Constructor & Destructor Documentation

◆ expected_instructiont()

require_parse_tree::expected_instructiont::expected_instructiont ( const irep_idt & instruction_mnemoic,
const std::vector< exprt > & instruction_arguments )
inline

Definition at line 35 of file require_parse_tree.h.

Member Function Documentation

◆ require_instructions_equal()

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.

Parameters
actual_instructionThe instruction to check

Definition at line 94 of file require_parse_tree.cpp.

Member Data Documentation

◆ instruction_arguments

std::vector<exprt> require_parse_tree::expected_instructiont::instruction_arguments
private

Definition at line 48 of file require_parse_tree.h.

◆ instruction_mnemoic

irep_idt require_parse_tree::expected_instructiont::instruction_mnemoic
private

Definition at line 47 of file require_parse_tree.h.


The documentation for this struct was generated from the following files:
  • /builddir/build/BUILD/cbmc-6.7.1-build/cbmc-cbmc-6.7.1/jbmc/unit/java-testing-utils/require_parse_tree.h
  • /builddir/build/BUILD/cbmc-6.7.1-build/cbmc-cbmc-6.7.1/jbmc/unit/java-testing-utils/require_parse_tree.cpp