CBMC
Loading...
Searching...
No Matches
Public Types | Public Member Functions | Public Attributes | List of all members
format_tokent Class Reference

#include <format_strings.h>

+ Collaboration diagram for format_tokent:
[フレーム]
[legend]

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 class 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 class 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 class 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 class 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 75 of file format_strings.h.

Member Data Documentation

◆  field_width

mp_integer format_tokent::field_width

Definition at line 84 of file format_strings.h.

◆  flags

std::list<flag_typet> format_tokent::flags

Definition at line 83 of file format_strings.h.

◆  length_modifier

length_modifierst format_tokent::length_modifier

Definition at line 86 of file format_strings.h.

◆  precision

mp_integer format_tokent::precision

Definition at line 85 of file format_strings.h.

◆  representation

representationt format_tokent::representation

Definition at line 87 of file format_strings.h.

◆  type

token_typet format_tokent::type

Definition at line 82 of file format_strings.h.

◆  value

irep_idt format_tokent::value

Definition at line 88 of file format_strings.h.

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

AltStyle によって変換されたページ (->オリジナル) /