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

#include <format_specifier.h>

+ Collaboration diagram for format_elementt:

Public Types

enum   format_typet { SPECIFIER , TEXT }
 

Public Member Functions

 
  format_elementt (std::string s)
 
 
 
 
 
 
 

Private Attributes

 
 
std::vector< format_specifiertfspec
 

Detailed Description

Definition at line 99 of file format_specifier.h.

Member Enumeration Documentation

◆  format_typet

Enumerator
SPECIFIER 
TEXT 

Definition at line 102 of file format_specifier.h.

Constructor & Destructor Documentation

◆  format_elementt() [1/3]

format_elementt::format_elementt ( format_typet  _type )
inlineexplicit

Definition at line 108 of file format_specifier.h.

◆  format_elementt() [2/3]

format_elementt::format_elementt ( std::string  s )
inlineexplicit

Definition at line 112 of file format_specifier.h.

◆  format_elementt() [3/3]

format_elementt::format_elementt ( format_specifiert  fs )
inlineexplicit

Definition at line 116 of file format_specifier.h.

Member Function Documentation

◆  get_format_specifier()

format_specifiert format_elementt::get_format_specifier ( ) const
inline

Definition at line 131 of file format_specifier.h.

◆  get_format_text() [1/2]

format_textt & format_elementt::get_format_text ( )
inline

Definition at line 137 of file format_specifier.h.

◆  get_format_text() [2/2]

const format_textt & format_elementt::get_format_text ( ) const
inline

Definition at line 143 of file format_specifier.h.

◆  is_format_specifier()

bool format_elementt::is_format_specifier ( ) const
inline

Definition at line 121 of file format_specifier.h.

◆  is_format_text()

bool format_elementt::is_format_text ( ) const
inline

Definition at line 126 of file format_specifier.h.

Member Data Documentation

◆  fspec

std::vector<format_specifiert> format_elementt::fspec
private

Definition at line 152 of file format_specifier.h.

◆  fstring

format_textt format_elementt::fstring
private

Definition at line 151 of file format_specifier.h.

◆  type

format_typet format_elementt::type
private

Definition at line 150 of file format_specifier.h.


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

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