CBMC
Loading...
Searching...
No Matches
Public Types | Public Member Functions | Protected Attributes | List of all members
ctokenitt Class Reference

#include <ctokenit.h>

+ Collaboration diagram for ctokenitt:

Public Types

using  tokenst = std::vector< ctokent >
 

Public Member Functions

 
 
bool  eof () const
 
ctokenittoperator+= (std::size_t offset)
 
 
 
 
tokenst::const_iterator  cit () const
 
 

Protected Attributes

 
std::size_t  pos = 0
 

Detailed Description

Definition at line 19 of file ctokenit.h.

Member Typedef Documentation

◆  tokenst

Definition at line 22 of file ctokenit.h.

Constructor & Destructor Documentation

◆  ctokenitt()

ctokenitt::ctokenitt ( const tokenst__tokens )
inlineexplicit

Definition at line 24 of file ctokenit.h.

Member Function Documentation

◆  cit()

tokenst::const_iterator ctokenitt::cit ( ) const
inline

Definition at line 53 of file ctokenit.h.

◆  eof()

bool ctokenitt::eof ( ) const
inline

Definition at line 33 of file ctokenit.h.

◆  operator bool()

ctokenitt::operator bool ( ) const
inlineexplicit

Definition at line 28 of file ctokenit.h.

◆  operator!=()

bool ctokenitt::operator!= ( const ctokenittother ) const
inline

Definition at line 58 of file ctokenit.h.

◆  operator*()

const ctokent & ctokenitt::operator* ( ) const

Definition at line 19 of file ctokenit.cpp.

◆  operator++()

ctokenitt ctokenitt::operator++ ( int  )

Definition at line 25 of file ctokenit.cpp.

◆  operator+=()

ctokenitt & ctokenitt::operator+= ( std::size_t  offset )
inline

Definition at line 38 of file ctokenit.h.

◆  operator->()

const ctokent * ctokenitt::operator-> ( ) const
inline

Definition at line 48 of file ctokenit.h.

Member Data Documentation

◆  pos

std::size_t ctokenitt::pos = 0
protected

Definition at line 65 of file ctokenit.h.

◆  tokens

const tokenst& ctokenitt::tokens
protected

Definition at line 64 of file ctokenit.h.


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

AltStyle によって変換されたページ (->オリジナル) /