Collaboration diagram for cover_basic_blockst::block_infot:

Public Attributes
optionalt< goto_programt::const_targett >	representative_inst
	the program location to instrument for this block More...

source_locationt	source_location
	the source location representative for this block (we need a separate copy of source locations because we attach the line number ranges to them) More...

std::unordered_set< std::size_t >	lines
	the set of lines belonging to this block More...

Detailed Description

Definition at line 93 of file cover_basic_blocks.h.

Member Data Documentation

std::unordered_set<std::size_t> cover_basic_blockst::block_infot::lines

the set of lines belonging to this block

Definition at line 104 of file cover_basic_blocks.h.

optionalt<goto_programt::const_targett> cover_basic_blockst::block_infot::representative_inst

the program location to instrument for this block

Definition at line 96 of file cover_basic_blocks.h.

source_locationt cover_basic_blockst::block_infot::source_location

the source location representative for this block (we need a separate copy of source locations because we attach the line number ranges to them)

Definition at line 101 of file cover_basic_blocks.h.

The documentation for this struct was generated from the following file: