cprover
|
#include <cover_basic_blocks.h>
Public Member Functions | |
cover_basic_blocks_javat (const goto_programt &_goto_program) | |
std::size_t | block_of (goto_programt::const_targett t) const override |
optionalt< goto_programt::const_targett > | instruction_of (std::size_t block_number) const override |
const source_locationt & | source_location_of (std::size_t block_number) const override |
void | output (std::ostream &out) const override |
Outputs the list of blocks. More... | |
![]() | |
virtual | ~cover_blocks_baset ()=default |
virtual void | report_block_anomalies (const goto_programt &goto_program, message_handlert &message_handler) |
Output warnings about ignored blocks. More... | |
Private Attributes | |
std::vector< goto_programt::const_targett > | block_infos |
std::vector< source_locationt > | block_locations |
std::unordered_map< irep_idt, std::size_t > | index_to_block |
Definition at line 123 of file cover_basic_blocks.h.
|
explicit |
Definition at line 164 of file cover_basic_blocks.cpp.
|
overridevirtual |
t | a goto instruction |
Implements cover_blocks_baset.
Definition at line 181 of file cover_basic_blocks.cpp.
|
overridevirtual |
block_number | a block number |
Implements cover_blocks_baset.
Definition at line 190 of file cover_basic_blocks.cpp.
|
overridevirtual |
Outputs the list of blocks.
Implements cover_blocks_baset.
Definition at line 203 of file cover_basic_blocks.cpp.
|
overridevirtual |
block_number | a block number |
Implements cover_blocks_baset.
Definition at line 197 of file cover_basic_blocks.cpp.
|
private |
Definition at line 127 of file cover_basic_blocks.h.
|
private |
Definition at line 129 of file cover_basic_blocks.h.
|
private |
Definition at line 131 of file cover_basic_blocks.h.