Skip to content
Open
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
22 changes: 22 additions & 0 deletions include/popl.hpp
Original file line number Diff line number Diff line change
Expand Up @@ -380,6 +380,16 @@ class OptionParser
template <typename T>
std::shared_ptr<T> get_option(char short_name) const;

/// Check if an option is set by it's long name
/// @param the Option's long name
/// @return true if set at least once
bool is_set(const std::string& long_name) const;

/// Check if an option is set by it's short name
/// @param the Option's long name
/// @return true if set at least once
bool is_set(char short_name) const;

protected:
std::vector<Option_ptr> options_;
std::string description_;
Expand Down Expand Up @@ -940,6 +950,18 @@ inline std::shared_ptr<T> OptionParser::get_option(char short_name) const
return result;
}

bool OptionParser::is_set(const std::string& long_name) const
{
Option_ptr option = find_option(long_name);
return option && option->is_set();
}

bool OptionParser::is_set(char short_name) const
{
Option_ptr option = find_option(short_name);
return option && option->is_set();
}

inline void OptionParser::parse(const std::string& ini_filename)
{
std::ifstream file(ini_filename.c_str());
Expand Down