cprover
source_linest Class Reference

#include <source_lines.h>

+ Collaboration diagram for source_linest:

Public Member Functions

 source_linest ()=default
 Constructors. More...
 
 source_linest (const source_locationt &loc)
 
void insert (const source_locationt &loc)
 Insert a line (a source location) into the set of lines. More...
 
std::string to_string () const
 Construct a string representing the set of lines. More...
 

Private Types

typedef std::set< std::size_t > linest
 A set of lines from a single file. More...
 
typedef std::map< std::string, linestblock_linest
 A set of lines from multiple files. More...
 

Private Attributes

block_linest block_lines
 

Detailed Description

Definition at line 29 of file source_lines.h.

Member Typedef Documentation

◆ block_linest

typedef std::map<std::string, linest> source_linest::block_linest
private

A set of lines from multiple files.

Definition at line 56 of file source_lines.h.

◆ linest

typedef std::set<std::size_t> source_linest::linest
private

A set of lines from a single file.

Definition at line 54 of file source_lines.h.

Constructor & Destructor Documentation

◆ source_linest() [1/2]

source_linest::source_linest ( )
default

Constructors.

◆ source_linest() [2/2]

source_linest::source_linest ( const source_locationt loc)
inlineexplicit

Definition at line 34 of file source_lines.h.

Member Function Documentation

◆ insert()

void source_linest::insert ( const source_locationt loc)

Insert a line (a source location) into the set of lines.

Parameters
locA source location

Definition at line 22 of file source_lines.cpp.

◆ to_string()

std::string source_linest::to_string ( ) const

Construct a string representing the set of lines.

Returns
The set of lines represented as string of the form set1;set2;set3 where each seti is a string of the form file:function:n1,n2,n3,n4 where n1, n2, n3, n4 are line numbers from the given function in the given file listed in ascending order.

Definition at line 38 of file source_lines.cpp.

Member Data Documentation

◆ block_lines

block_linest source_linest::block_lines
private

Definition at line 58 of file source_lines.h.


The documentation for this class was generated from the following files: