ESBMC
Efficient SMT-based Context-Bounded Model Checker
Loading...
Searching...
No Matches
formatter Class Reference

#include <toml.hpp>

Protected Member Functions

TOML_PURE_INLINE_GETTER const node & source () const noexcept
TOML_PURE_INLINE_GETTER std::ostream & stream () const noexcept
TOML_PURE_INLINE_GETTER int indent () const noexcept
void indent (int level) noexcept
void increase_indent () noexcept
void decrease_indent () noexcept
TOML_PURE_INLINE_GETTER size_t indent_columns () const noexcept
TOML_PURE_INLINE_GETTER bool indent_array_elements () const noexcept
TOML_PURE_INLINE_GETTER bool indent_sub_tables () const noexcept
TOML_PURE_INLINE_GETTER bool literal_strings_allowed () const noexcept
TOML_PURE_INLINE_GETTER bool multi_line_strings_allowed () const noexcept
TOML_PURE_INLINE_GETTER bool real_tabs_in_strings_allowed () const noexcept
TOML_PURE_INLINE_GETTER bool unicode_strings_allowed () const noexcept
TOML_PURE_INLINE_GETTER bool terse_kvps () const noexcept
TOML_EXPORTED_MEMBER_FUNCTION void attach (std::ostream &stream) noexcept
TOML_EXPORTED_MEMBER_FUNCTION void detach () noexcept
TOML_EXPORTED_MEMBER_FUNCTION void print_newline (bool force=false)
TOML_EXPORTED_MEMBER_FUNCTION void print_indent ()
TOML_EXPORTED_MEMBER_FUNCTION void print_unformatted (char)
TOML_EXPORTED_MEMBER_FUNCTION void print_unformatted (std::string_view)
TOML_EXPORTED_MEMBER_FUNCTION void print_string (std::string_view str, bool allow_multi_line=true, bool allow_bare=false, bool allow_literal_whitespace=true)
TOML_EXPORTED_MEMBER_FUNCTION void print (const value< std::string > &)
TOML_EXPORTED_MEMBER_FUNCTION void print (const value< int64_t > &)
TOML_EXPORTED_MEMBER_FUNCTION void print (const value< double > &)
TOML_EXPORTED_MEMBER_FUNCTION void print (const value< bool > &)
TOML_EXPORTED_MEMBER_FUNCTION void print (const value< date > &)
TOML_EXPORTED_MEMBER_FUNCTION void print (const value< time > &)
TOML_EXPORTED_MEMBER_FUNCTION void print (const value< date_time > &)
TOML_EXPORTED_MEMBER_FUNCTION void print_value (const node &, node_type)
TOML_NODISCARD TOML_EXPORTED_MEMBER_FUNCTION bool dump_failed_parse_result ()
TOML_NODISCARD_CTOR TOML_EXPORTED_MEMBER_FUNCTION formatter (const node *, const parse_result *, const formatter_constants &, const formatter_config &) noexcept

Constructor & Destructor Documentation

◆ formatter()

TOML_EXTERNAL_LINKAGE formatter::formatter ( const node * source_node,
const parse_result * source_pr,
const formatter_constants & constants,
const formatter_config & config )
protectednoexcept

Member Function Documentation

◆ attach()

TOML_EXTERNAL_LINKAGE void formatter::attach ( std::ostream & stream)
protectednoexcept

◆ decrease_indent()

void formatter::decrease_indent ( )
inlineprotectednoexcept

◆ detach()

TOML_EXTERNAL_LINKAGE void formatter::detach ( )
protectednoexcept

◆ dump_failed_parse_result()

TOML_EXTERNAL_LINKAGE bool formatter::dump_failed_parse_result ( )
protected

◆ increase_indent()

void formatter::increase_indent ( )
inlineprotectednoexcept

◆ indent() [1/2]

TOML_PURE_INLINE_GETTER int formatter::indent ( ) const
inlineprotectednoexcept

◆ indent() [2/2]

void formatter::indent ( int level)
inlineprotectednoexcept

◆ indent_array_elements()

TOML_PURE_INLINE_GETTER bool formatter::indent_array_elements ( ) const
inlineprotectednoexcept

◆ indent_columns()

TOML_PURE_INLINE_GETTER size_t formatter::indent_columns ( ) const
inlineprotectednoexcept

◆ indent_sub_tables()

TOML_PURE_INLINE_GETTER bool formatter::indent_sub_tables ( ) const
inlineprotectednoexcept

◆ literal_strings_allowed()

TOML_PURE_INLINE_GETTER bool formatter::literal_strings_allowed ( ) const
inlineprotectednoexcept

◆ multi_line_strings_allowed()

TOML_PURE_INLINE_GETTER bool formatter::multi_line_strings_allowed ( ) const
inlineprotectednoexcept

◆ print() [1/7]

TOML_EXTERNAL_LINKAGE void formatter::print ( const value< bool > & val)
protected

◆ print() [2/7]

TOML_EXTERNAL_LINKAGE void formatter::print ( const value< date > & val)
protected

◆ print() [3/7]

TOML_EXTERNAL_LINKAGE void formatter::print ( const value< date_time > & val)
protected

◆ print() [4/7]

TOML_EXTERNAL_LINKAGE void formatter::print ( const value< double > & val)
protected

◆ print() [5/7]

TOML_EXTERNAL_LINKAGE void formatter::print ( const value< int64_t > & val)
protected

◆ print() [6/7]

TOML_EXTERNAL_LINKAGE void formatter::print ( const value< std::string > & val)
protected

◆ print() [7/7]

TOML_EXTERNAL_LINKAGE void formatter::print ( const value< time > & val)
protected

◆ print_indent()

TOML_EXTERNAL_LINKAGE void formatter::print_indent ( )
protected

◆ print_newline()

TOML_EXTERNAL_LINKAGE void formatter::print_newline ( bool force = false)
protected

◆ print_string()

TOML_EXTERNAL_LINKAGE void formatter::print_string ( std::string_view str,
bool allow_multi_line = true,
bool allow_bare = false,
bool allow_literal_whitespace = true )
protected

◆ print_unformatted() [1/2]

TOML_EXTERNAL_LINKAGE void formatter::print_unformatted ( char c)
protected

◆ print_unformatted() [2/2]

TOML_EXTERNAL_LINKAGE void formatter::print_unformatted ( std::string_view str)
protected

◆ print_value()

TOML_EXTERNAL_LINKAGE void formatter::print_value ( const node & val_node,
node_type type )
protected

◆ real_tabs_in_strings_allowed()

TOML_PURE_INLINE_GETTER bool formatter::real_tabs_in_strings_allowed ( ) const
inlineprotectednoexcept

◆ source()

TOML_PURE_INLINE_GETTER const node & formatter::source ( ) const
inlineprotectednoexcept

◆ stream()

TOML_PURE_INLINE_GETTER std::ostream & formatter::stream ( ) const
inlineprotectednoexcept

◆ terse_kvps()

TOML_PURE_INLINE_GETTER bool formatter::terse_kvps ( ) const
inlineprotectednoexcept

◆ unicode_strings_allowed()

TOML_PURE_INLINE_GETTER bool formatter::unicode_strings_allowed ( ) const
inlineprotectednoexcept
The documentation for this class was generated from the following file: