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< exprt >	instruction_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_instruction

The 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.9.0-build/cbmc-cbmc-6.9.0/jbmc/unit/java-testing-utils/require_parse_tree.h
• /builddir/build/BUILD/cbmc-6.9.0-build/cbmc-cbmc-6.9.0/jbmc/unit/java-testing-utils/require_parse_tree.cpp