ROSE  0.11.51.0
Public Attributes | List of all members
Rose::BinaryAnalysis::ModelChecker::SourceLister::Settings Struct Reference

Description

Definition at line 23 of file SourceLister.h.

Collaboration diagram for Rose::BinaryAnalysis::ModelChecker::SourceLister::Settings:
Collaboration graph
[legend]

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: