Loading...
Searching...
No Matches
source_linest Class Reference
#include <source_lines.h>
+ Collaboration diagram for source_linest:
Constructors.
Insert a line (a source location) into the set of lines.
Construct a string representing the set of lines.
Construct an irept representing the set of lines.
A set of lines from a single function.
A set of lines from multiple function.
A set of lines from multiple files.
Detailed Description
Member Typedef Documentation
◆ block_linest
A set of lines from multiple files.
Definition at line 68 of file source_lines.h.
◆ function_linest
A set of lines from multiple function.
Definition at line 66 of file source_lines.h.
◆ linest
A set of lines from a single function.
Definition at line 64 of file source_lines.h.
Constructor & Destructor Documentation
◆ source_linest() [1/2]
source_linest::source_linest
(
)
default
◆ source_linest() [2/2]
Member Function Documentation
◆ insert()
Insert a line (a source location) into the set of lines.
- Parameters
-
loc A source location
Definition at line 21 of file source_lines.cpp.
◆ to_irep()
irept source_linest::to_irep
(
)
const
Construct an irept representing the set of lines.
- Returns
- The set of lines represented as an irept where each file is a is a named_sub, each function is a named_sub therein, and line numbers (or ranges thereof) are the string value.
Definition at line 58 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 set is a string of the form file:function:n1,n2,n3,n4 where n1, n2, n3, n4 are line numbers (or ranges thereof) from the given function in the given file listed in ascending order.
Definition at line 37 of file source_lines.cpp.
Member Data Documentation
◆ block_lines
The documentation for this class was generated from the following files:
