Rose::BinaryAnalysis::ModelChecker::SourceLister::Settings Struct Reference

Description

Definition at line 23 of file SourceLister.h.

Collaboration diagram for Rose::BinaryAnalysis::ModelChecker::SourceLister::Settings:

Public Attributes
std::vector< boost::filesystem::path >	directories
boost::format	currentLineFormat {"| ==> %06d %s"}
boost::format	contextLineFormat {"| %06d %s"}
size_t	leadingContext = 3
size_t	trailingContext = 3

---

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

• SourceLister.h