Loading...

Searching...

No Matches

Public Types | Public Member Functions | Public Attributes | List of all members

ctokent Class Reference

#include <ctoken.h>

+ Collaboration diagram for ctokent:

[フレーム]

[legend]

Public Types

using kindt = enum { END_OF_FILE, INT_LIT, CHAR_LIT, FLOAT_LIT, STRING_LIT, C_COMMENT, CPP_COMMENT, IDENTIFIER, OPERATOR, WS, SEPARATOR, PREPROCESSOR_DIRECTIVE, UNKNOWN }

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

using ctokent::kindt = enum { END_OF_FILE, INT_LIT, CHAR_LIT, FLOAT_LIT, STRING_LIT, C_COMMENT, CPP_COMMENT, IDENTIFIER, OPERATOR, WS, SEPARATOR, PREPROCESSOR_DIRECTIVE, UNKNOWN }

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:

/home/runner/work/cbmc/cbmc/src/crangler/ctoken.h
/home/runner/work/cbmc/cbmc/src/crangler/ctoken.cpp