cprover
Loading...
Searching...
No Matches
ctokent Class Reference

#include <ctoken.h>

+ Collaboration diagram for ctokent:

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
 

Detailed Description

Definition at line 18 of file ctoken.h.

Member Typedef Documentation

◆ kindt

Initial value:
enum {
WS,
}
ait supplies three of the four components needed: an abstract interpreter (in this case handling func...
Definition ai.h:563

Definition at line 21 of file ctoken.h.

Constructor & Destructor Documentation

◆ ctokent() [1/2]

ctokent::ctokent ( )
default

◆ ctokent() [2/2]

ctokent::ctokent ( kindt _kind,
std::string _text )
inline

Definition at line 46 of file ctoken.h.

Member Function Documentation

◆ operator!=()

bool ctokent::operator!= ( char some_char) const
inline

Definition at line 62 of file ctoken.h.

◆ operator==() [1/2]

bool ctokent::operator== ( char some_char) const
inline

Definition at line 57 of file ctoken.h.

◆ operator==() [2/2]

bool ctokent::operator== ( const char * other_text) const
inline

Definition at line 52 of file ctoken.h.

◆ output()

void ctokent::output ( std::ostream & out) const

Definition at line 16 of file ctoken.cpp.

Member Data Documentation

◆ kind

kindt ctokent::kind

Definition at line 37 of file ctoken.h.

◆ line_number

std::size_t ctokent::line_number = 0

Definition at line 42 of file ctoken.h.

◆ text

std::string ctokent::text

Definition at line 40 of file ctoken.h.


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