CBMC
Public Member Functions | Private Attributes | List of all members
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. More...
 

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_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: