|
ESBMC
Efficient SMT-based Context-Bounded Model Checker
|
#include <toml.hpp>
Public Member Functions | |
| void | clear () noexcept |
| void | push_back (std::string_view segment, source_position b, source_position e) |
| TOML_PURE_INLINE_GETTER std::string_view | operator[] (size_t i) const noexcept |
| TOML_PURE_INLINE_GETTER std::string_view | back () const noexcept |
| TOML_PURE_INLINE_GETTER bool | empty () const noexcept |
| TOML_PURE_INLINE_GETTER size_t | size () const noexcept |
Public Attributes | |
| std::string | buffer |
| std::vector< std::pair< size_t, size_t > > | segments |
| std::vector< source_position > | starts |
| std::vector< source_position > | ends |
|
inlinenoexcept |
|
inlinenoexcept |
|
inlinenoexcept |
|
inlinenoexcept |
|
inline |
|
inlinenoexcept |
| std::string parse_key_buffer::buffer |
| std::vector<source_position> parse_key_buffer::ends |
| std::vector<source_position> parse_key_buffer::starts |