|
cprover
|
#include <ctoken.h>
Public Types | |
| using | kindt |
Public Member Functions | |
| ctokent ()=default | |
| ctokent (kindt _kind, std::string _text) | |
| void | output (std::ostream &) const |
| bool | operator== (const char *other_text) const |
| bool | operator== (char some_char) const |
| bool | operator!= (char some_char) const |
Public Attributes | |
| kindt | kind |
| std::string | text |
| std::size_t | line_number = 0 |
| using ctokent::kindt |
|
default |
|
inline |
| void ctokent::output | ( | std::ostream & | out | ) | const |
Definition at line 16 of file ctoken.cpp.