cscannert Class Reference
#include <cscanner.h>
Collaboration diagram for cscannert:Public Member Functions | |
| cscannert (std::istream &) | |
| ~cscannert () | |
| ctokent | operator() () |
| void | set_token (std::string text, ctokent::kindt kind) |
| std::vector< ctokent > | get_tokens () |
Public Attributes | |
| std::istream & | in |
| std::size_t | line_number = 1 |
| bool | return_WS_and_comments = false |
Protected Attributes | |
| ctokent | token |
Detailed Description
Definition at line 20 of file cscanner.h.
Constructor & Destructor Documentation
◆ cscannert()
|
explicit |
Definition at line 17 of file cscanner.cpp.
◆ ~cscannert()
| cscannert::~cscannert | ( | ) |
Definition at line 22 of file cscanner.cpp.
Member Function Documentation
◆ get_tokens()
| std::vector< ctokent > cscannert::get_tokens | ( | ) |
Definition at line 41 of file cscanner.cpp.
◆ operator()()
| ctokent cscannert::operator() | ( | ) |
Definition at line 27 of file cscanner.cpp.
◆ set_token()
|
inline |
Definition at line 33 of file cscanner.h.
Member Data Documentation
◆ in
| std::istream& cscannert::in |
Definition at line 28 of file cscanner.h.
◆ line_number
| std::size_t cscannert::line_number = 1 |
Definition at line 29 of file cscanner.h.
◆ return_WS_and_comments
| bool cscannert::return_WS_and_comments = false |
Definition at line 31 of file cscanner.h.
◆ token
|
protected |
Definition at line 43 of file cscanner.h.
The documentation for this class was generated from the following files:
- /home/runner/work/cbmc-documentation/cbmc-documentation/src/crangler/cscanner.h
- /home/runner/work/cbmc-documentation/cbmc-documentation/src/crangler/cscanner.cpp
