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:
[フレーム]
[legend]

Public Types

enum   format_typet { SPECIFIER , TEXT }
 

Public Member Functions

  format_elementt (format_typet _type)
 
  format_elementt (std::string s)
 
  format_elementt (format_specifiert fs)
 
bool  is_format_specifier () const
 
bool  is_format_text () const
 
format_specifiert  get_format_specifier () const
 
format_textt &  get_format_text ()
 
const format_textt &  get_format_text () const
 

Private Attributes

format_typet  type
 
format_textt  fstring
 
std::vector< format_specifiert >  fspec
 

Detailed Description

Definition at line 99 of file format_specifier.h.

Member Enumeration Documentation

◆  format_typet

enum format_elementt::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 によって変換されたページ (->オリジナル) /