CBMC
Public Types | Public Member Functions | Public Attributes | List of all members
format_tokent Class Reference

#include <format_strings.h>

+ Collaboration diagram for format_tokent:

Public Types

enum class  token_typet {
  UNKNOWN , TEXT , INT , FLOAT ,
  CHAR , STRING , POINTER
}
 
enum class  flag_typet {
  ALTERNATE , ZERO_PAD , LEFT_ADJUST , SIGNED_SPACE ,
  SIGN , ASTERISK
}
 
enum class  length_modifierst {
  LEN_undef , LEN_h , LEN_hh , LEN_l ,
  LEN_ll , LEN_L , LEN_j , LEN_t
}
 
enum class  representationt {
  SIGNED_undef , SIGNED_DEC , UNSIGNED_DEC , UNSIGNED_OCT ,
  UNSIGNED_HEX
}
 

Public Member Functions

 format_tokent (token_typet _type)
 
 format_tokent ()
 

Public Attributes

token_typet type
 
std::list< flag_typet > flags
 
mp_integer field_width
 
mp_integer precision
 
length_modifierst length_modifier
 
representationt representation
 
irep_idt value
 

Detailed Description

Definition at line 24 of file format_strings.h.

Member Enumeration Documentation

◆ flag_typet

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

Definition at line 38 of file format_strings.h.

◆ length_modifierst

enum format_tokent::length_modifierst
strong
Enumerator
LEN_undef 
LEN_h 
LEN_hh 
LEN_l 
LEN_ll 
LEN_L 
LEN_j 
LEN_t 

Definition at line 48 of file format_strings.h.

◆ representationt

enum format_tokent::representationt
strong
Enumerator
SIGNED_undef 
SIGNED_DEC 
UNSIGNED_DEC 
UNSIGNED_OCT 
UNSIGNED_HEX 

Definition at line 60 of file format_strings.h.

◆ token_typet

enum format_tokent::token_typet
strong
Enumerator
UNKNOWN 
TEXT 
INT 
FLOAT 
CHAR 
STRING 
POINTER 

Definition at line 27 of file format_strings.h.

Constructor & Destructor Documentation

◆ format_tokent() [1/2]

format_tokent::format_tokent ( token_typet  _type)
inlineexplicit

Definition at line 69 of file format_strings.h.

◆ format_tokent() [2/2]

format_tokent::format_tokent ( )
inline

Definition at line 74 of file format_strings.h.

Member Data Documentation

◆ field_width

mp_integer format_tokent::field_width

Definition at line 83 of file format_strings.h.

◆ flags

std::list<flag_typet> format_tokent::flags

Definition at line 82 of file format_strings.h.

◆ length_modifier

length_modifierst format_tokent::length_modifier

Definition at line 85 of file format_strings.h.

◆ precision

mp_integer format_tokent::precision

Definition at line 84 of file format_strings.h.

◆ representation

representationt format_tokent::representation

Definition at line 86 of file format_strings.h.

◆ type

token_typet format_tokent::type

Definition at line 81 of file format_strings.h.

◆ value

irep_idt format_tokent::value

Definition at line 87 of file format_strings.h.

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