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  token_typet {
  token_typet::UNKNOWN, token_typet::TEXT, token_typet::INT, token_typet::FLOAT,
  token_typet::CHAR, token_typet::STRING, token_typet::POINTER
}
 
enum  flag_typet {
  flag_typet::ALTERNATE, flag_typet::ZERO_PAD, flag_typet::LEFT_ADJUST, flag_typet::SIGNED_SPACE,
  flag_typet::SIGN, flag_typet::ASTERISK
}
 
enum  length_modifierst {
  length_modifierst::LEN_undef, length_modifierst::LEN_h, length_modifierst::LEN_hh, length_modifierst::LEN_l,
  length_modifierst::LEN_ll, length_modifierst::LEN_L, length_modifierst::LEN_j, length_modifierst::LEN_t
}
 
enum  representationt {
  representationt::SIGNED_undef, representationt::SIGNED_DEC, representationt::UNSIGNED_DEC, representationt::UNSIGNED_OCT,
  representationt::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: