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:

• /home/runner/work/cbmc/cbmc/src/util/cmdline.h
• /home/runner/work/cbmc/cbmc/src/util/cmdline.cpp