cprover
|
#include <ctokenit.h>
Public Types | |
using | tokenst = std::vector< ctokent > |
Public Member Functions | |
ctokenitt (const tokenst &__tokens) | |
operator bool () const | |
bool | eof () const |
ctokenitt & | operator+= (std::size_t offset) |
ctokenitt | operator++ (int) |
const ctokent & | operator* () const |
const ctokent * | operator-> () const |
tokenst::const_iterator | cit () const |
bool | operator!= (const ctokenitt &other) const |
Protected Attributes | |
const tokenst & | tokens |
std::size_t | pos = 0 |
Definition at line 17 of file ctokenit.h.
using ctokenitt::tokenst = std::vector<ctokent> |
Definition at line 20 of file ctokenit.h.
|
inlineexplicit |
Definition at line 22 of file ctokenit.h.
|
inline |
Definition at line 51 of file ctokenit.h.
|
inline |
Definition at line 31 of file ctokenit.h.
|
inlineexplicit |
Definition at line 26 of file ctokenit.h.
|
inline |
Definition at line 56 of file ctokenit.h.
const ctokent & ctokenitt::operator* | ( | ) | const |
Definition at line 19 of file ctokenit.cpp.
ctokenitt ctokenitt::operator++ | ( | int | ) |
Definition at line 25 of file ctokenit.cpp.
|
inline |
Definition at line 36 of file ctokenit.h.
|
inline |
Definition at line 46 of file ctokenit.h.
|
protected |
Definition at line 63 of file ctokenit.h.
|
protected |
Definition at line 62 of file ctokenit.h.