ESBMC
Efficient SMT-based Context-Bounded Model Checker
Loading...
Searching...
No Matches
format_tokent Class Reference

#include <format_strings.h>

Public Types

enum  token_typet {
  UNKNOWN , TEXT , SIGNED_DEC , UNSIGNED_OCT ,
  UNSIGNED_DEC , UNSIGNED_HEX , DOUBLE_ENG , DOUBLE ,
  DOUBLE_G , DOUBLE_HEX , CHAR , STRING ,
  POINTER , PERCENT
}
enum  flag_typet {
  ALTERNATE , ZERO_PAD , LEFT_ADJUST , SIGNED_SPACE ,
  SIGN , ASTERISK
}
enum  length_modifierst {
  LEN_h , LEN_l , LEN_L , LEN_j ,
  LEN_t
}

Public Member Functions

 format_tokent (token_typet _type)
 format_tokent ()

Public Attributes

token_typet type
std::list< flag_typet > flags
BigInt field_width
BigInt precision
length_modifierst length_modifier
irep_idt value

Member Enumeration Documentation

◆ flag_typet

enum format_tokent::flag_typet
Enumerator
ALTERNATE 
ZERO_PAD 
LEFT_ADJUST 
SIGNED_SPACE 
SIGN 
ASTERISK 

◆ length_modifierst

enum format_tokent::length_modifierst
Enumerator
LEN_h 
LEN_l 
LEN_L 
LEN_j 
LEN_t 

◆ token_typet

enum format_tokent::token_typet
Enumerator
UNKNOWN 
TEXT 
SIGNED_DEC 
UNSIGNED_OCT 
UNSIGNED_DEC 
UNSIGNED_HEX 
DOUBLE_ENG 
DOUBLE 
DOUBLE_G 
DOUBLE_HEX 
CHAR 
STRING 
POINTER 
PERCENT 

Constructor & Destructor Documentation

◆ format_tokent() [1/2]

format_tokent::format_tokent ( token_typet _type)
inline

◆ format_tokent() [2/2]

format_tokent::format_tokent ( )
inline

Member Data Documentation

◆ field_width

BigInt format_tokent::field_width

◆ flags

std::list<flag_typet> format_tokent::flags

◆ length_modifier

length_modifierst format_tokent::length_modifier

◆ precision

BigInt format_tokent::precision

◆ type

token_typet format_tokent::type

◆ value

irep_idt format_tokent::value
The documentation for this class was generated from the following file: