CBMC
Public Types | Public Member Functions | Private Member Functions | Private Attributes | List of all members
cmdlinet::option_namest::option_names_iteratort Struct Reference

#include <cmdline.h>

+ Collaboration diagram for cmdlinet::option_namest::option_names_iteratort:

Public Types

using iterator_category = std::forward_iterator_tag
 
using value_type = std::string
 
using difference_type = std::ptrdiff_t
 
using pointer = const std::string *
 
using reference = const std::string &
 

Public Member Functions

 option_names_iteratort ()=default
 
 option_names_iteratort (const cmdlinet *command_line, std::size_t index)
 
 option_names_iteratort (const option_names_iteratort &other)=default
 
 option_names_iteratort (option_names_iteratort &&other)=default
 
option_names_iteratort & operator= (const option_names_iteratort &)=default
 
option_names_iteratort & operator= (option_names_iteratort &&)=default
 
option_names_iteratort & operator++ ()
 
const option_names_iteratort operator++ (int)
 
const std::string & operator* ()
 
bool operator== (const option_names_iteratort &other)
 
bool operator!= (const option_names_iteratort &other)
 

Private Member Functions

bool is_valid_index () const
 
void goto_next_valid_index ()
 

Private Attributes

const cmdlinet * command_line = nullptr
 
std::size_t index = std::numeric_limits<std::size_t>::max()
 

Detailed Description

Definition at line 109 of file cmdline.h.

Member Typedef Documentation

◆ difference_type

using cmdlinet::option_namest::option_names_iteratort::difference_type = std::ptrdiff_t

Definition at line 115 of file cmdline.h.

◆ iterator_category

using cmdlinet::option_namest::option_names_iteratort::iterator_category = std::forward_iterator_tag

Definition at line 113 of file cmdline.h.

◆ pointer

using cmdlinet::option_namest::option_names_iteratort::pointer = const std::string *

Definition at line 116 of file cmdline.h.

◆ reference

using cmdlinet::option_namest::option_names_iteratort::reference = const std::string &

Definition at line 117 of file cmdline.h.

◆ value_type

using cmdlinet::option_namest::option_names_iteratort::value_type = std::string

Definition at line 114 of file cmdline.h.

Constructor & Destructor Documentation

◆ option_names_iteratort() [1/4]

cmdlinet::option_namest::option_names_iteratort::option_names_iteratort ( )
default

◆ option_names_iteratort() [2/4]

cmdlinet::option_namest::option_names_iteratort::option_names_iteratort ( const cmdlinet *  command_line,
std::size_t  index 
)
explicit

Definition at line 330 of file cmdline.cpp.

◆ option_names_iteratort() [3/4]

cmdlinet::option_namest::option_names_iteratort::option_names_iteratort ( const option_names_iteratort &  other)
default

◆ option_names_iteratort() [4/4]

cmdlinet::option_namest::option_names_iteratort::option_names_iteratort ( option_names_iteratort &&  other)
default

Member Function Documentation

◆ goto_next_valid_index()

void cmdlinet::option_namest::option_names_iteratort::goto_next_valid_index ( )
private

Definition at line 354 of file cmdline.cpp.

◆ is_valid_index()

bool cmdlinet::option_namest::option_names_iteratort::is_valid_index ( ) const
private

Definition at line 346 of file cmdline.cpp.

◆ operator!=()

bool cmdlinet::option_namest::option_names_iteratort::operator!= ( const option_names_iteratort &  other)

Definition at line 382 of file cmdline.cpp.

◆ operator*()

const std::string & cmdlinet::option_namest::option_names_iteratort::operator* ( )

Definition at line 369 of file cmdline.cpp.

◆ operator++() [1/2]

cmdlinet::option_namest::option_names_iteratort & cmdlinet::option_namest::option_names_iteratort::operator++ ( )

Definition at line 339 of file cmdline.cpp.

◆ operator++() [2/2]

const cmdlinet::option_namest::option_names_iteratort cmdlinet::option_namest::option_names_iteratort::operator++ ( int  dummy)

Definition at line 364 of file cmdline.cpp.

◆ operator=() [1/2]

option_names_iteratort& cmdlinet::option_namest::option_names_iteratort::operator= ( const option_names_iteratort &  )
default

◆ operator=() [2/2]

option_names_iteratort& cmdlinet::option_namest::option_names_iteratort::operator= ( option_names_iteratort &&  )
default

◆ operator==()

bool cmdlinet::option_namest::option_names_iteratort::operator== ( const option_names_iteratort &  other)

Definition at line 375 of file cmdline.cpp.

Member Data Documentation

◆ command_line

const cmdlinet* cmdlinet::option_namest::option_names_iteratort::command_line = nullptr
private

Definition at line 137 of file cmdline.h.

◆ index

std::size_t cmdlinet::option_namest::option_names_iteratort::index = std::numeric_limits<std::size_t>::max()
private

Definition at line 138 of file cmdline.h.

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