minori: dep/fmt/test/scan.h annotate

annotate dep/fmt/test/scan.h @ 350:daa03aa2262d

sys/glib: general cleanup, use C++ principles, add more suffixes

author	Paper <paper@paper.us.eu.org>
date	Sun, 14 Jul 2024 19:12:40 -0400
parents	1faa72660932
children

rev	line source
343 1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	1 // Formatting library for C++ - scanning API proof of concept
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	2 //
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	3 // Copyright (c) 2019 - present, Victor Zverovich
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	4 // All rights reserved.
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	5 //
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	6 // For the license information refer to format.h.
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	7
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	8 #include <array>
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	9 #include <cassert>
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	10 #include <climits>
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	11
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	12 #include "fmt/format.h"
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	13
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	14 FMT_BEGIN_NAMESPACE
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	15 namespace detail {
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	16
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	17 inline auto is_whitespace(char c) -> bool { return c == ' ' \|\| c == '\n'; }
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	18
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	19 // If c is a hex digit returns its numeric value, othewise -1.
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	20 inline auto to_hex_digit(char c) -> int {
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	21 if (c >= '0' && c <= '9') return c - '0';
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	22 if (c >= 'a' && c <= 'f') return c - 'a' + 10;
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	23 if (c >= 'A' && c <= 'F') return c - 'A' + 10;
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	24 return -1;
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	25 }
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	26
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	27 struct maybe_contiguous_range {
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	28 const char* begin;
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	29 const char* end;
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	30
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	31 explicit operator bool() const { return begin != nullptr; }
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	32 };
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	33
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	34 class scan_buffer {
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	35 private:
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	36 const char* ptr_;
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	37 const char* end_;
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	38 bool contiguous_;
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	39
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	40 protected:
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	41 scan_buffer(const char* ptr, const char* end, bool contiguous)
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	42 : ptr_(ptr), end_(end), contiguous_(contiguous) {}
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	43 ~scan_buffer() = default;
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	44
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	45 void set(string_view buf) {
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	46 ptr_ = buf.begin();
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	47 end_ = buf.end();
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	48 }
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	49
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	50 auto ptr() const -> const char* { return ptr_; }
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	51
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	52 public:
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	53 scan_buffer(const scan_buffer&) = delete;
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	54 void operator=(const scan_buffer&) = delete;
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	55
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	56 // Fills the buffer with more input if available.
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	57 virtual void consume() = 0;
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	58
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	59 class sentinel {};
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	60
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	61 class iterator {
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	62 private:
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	63 const char** ptr_;
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	64 scan_buffer* buf_; // This could be merged with ptr_.
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	65 char value_;
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	66
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	67 static auto get_sentinel() -> const char** {
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	68 static const char* ptr = nullptr;
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	69 return &ptr;
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	70 }
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	71
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	72 friend class scan_buffer;
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	73
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	74 friend auto operator==(iterator lhs, sentinel) -> bool {
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	75 return *lhs.ptr_ == nullptr;
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	76 }
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	77 friend auto operator!=(iterator lhs, sentinel) -> bool {
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	78 return *lhs.ptr_ != nullptr;
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	79 }
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	80
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	81 iterator(scan_buffer* buf) : buf_(buf) {
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	82 if (buf->ptr_ == buf->end_) {
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	83 ptr_ = get_sentinel();
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	84 return;
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	85 }
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	86 ptr_ = &buf->ptr_;
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	87 value_ = *buf->ptr_;
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	88 }
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	89
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	90 friend scan_buffer& get_buffer(iterator it) { return *it.buf_; }
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	91
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	92 public:
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	93 iterator() : ptr_(get_sentinel()), buf_(nullptr) {}
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	94
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	95 auto operator++() -> iterator& {
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	96 if (!buf_->try_consume()) ptr_ = get_sentinel();
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	97 value_ = *buf_->ptr_;
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	98 return *this;
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	99 }
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	100 auto operator++(int) -> iterator {
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	101 iterator copy = *this;
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	102 ++*this;
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	103 return copy;
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	104 }
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	105 auto operator*() const -> char { return value_; }
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	106
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	107 auto base() const -> const char* { return buf_->ptr_; }
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	108
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	109 friend auto to_contiguous(iterator it) -> maybe_contiguous_range;
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	110 friend auto advance(iterator it, size_t n) -> iterator;
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	111 };
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	112
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	113 friend auto to_contiguous(iterator it) -> maybe_contiguous_range {
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	114 if (it.buf_->is_contiguous()) return {it.buf_->ptr_, it.buf_->end_};
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	115 return {nullptr, nullptr};
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	116 }
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	117 friend auto advance(iterator it, size_t n) -> iterator {
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	118 FMT_ASSERT(it.buf_->is_contiguous(), "");
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	119 const char*& ptr = it.buf_->ptr_;
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	120 ptr += n;
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	121 it.value_ = *ptr;
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	122 if (ptr == it.buf_->end_) it.ptr_ = iterator::get_sentinel();
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	123 return it;
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	124 }
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	125
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	126 auto begin() -> iterator { return this; }
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	127 auto end() -> sentinel { return {}; }
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	128
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	129 auto is_contiguous() const -> bool { return contiguous_; }
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	130
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	131 // Tries consuming a single code unit. Returns true iff there is more input.
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	132 auto try_consume() -> bool {
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	133 FMT_ASSERT(ptr_ != end_, "");
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	134 ++ptr_;
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	135 if (ptr_ != end_) return true;
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	136 consume();
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	137 return ptr_ != end_;
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	138 }
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	139 };
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	140
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	141 using scan_iterator = scan_buffer::iterator;
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	142 using scan_sentinel = scan_buffer::sentinel;
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	143
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	144 class string_scan_buffer : public scan_buffer {
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	145 private:
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	146 void consume() override {}
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	147
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	148 public:
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	149 explicit string_scan_buffer(string_view s)
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	150 : scan_buffer(s.begin(), s.end(), true) {}
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	151 };
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	152
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	153 #ifdef _WIN32
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	154 void flockfile(FILE* f) { _lock_file(f); }
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	155 void funlockfile(FILE* f) { _unlock_file(f); }
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	156 int getc_unlocked(FILE* f) { return _fgetc_nolock(f); }
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	157 #endif
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	158
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	159 // A FILE wrapper. F is FILE defined as a template parameter to make
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	160 // system-specific API detection work.
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	161 template <typename F> class file_base {
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	162 protected:
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	163 F* file_;
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	164
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	165 public:
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	166 file_base(F* file) : file_(file) {}
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	167 operator F*() const { return file_; }
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	168
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	169 // Reads a code unit from the stream.
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	170 auto get() -> int {
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	171 int result = getc_unlocked(file_);
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	172 if (result == EOF && ferror(file_) != 0)
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	173 FMT_THROW(system_error(errno, FMT_STRING("getc failed")));
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	174 return result;
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	175 }
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	176
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	177 // Puts the code unit back into the stream buffer.
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	178 void unget(char c) {
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	179 if (ungetc(c, file_) == EOF)
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	180 FMT_THROW(system_error(errno, FMT_STRING("ungetc failed")));
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	181 }
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	182 };
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	183
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	184 // A FILE wrapper for glibc.
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	185 template <typename F> class glibc_file : public file_base<F> {
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	186 public:
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	187 using file_base<F>::file_base;
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	188
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	189 // Returns the file's read buffer as a string_view.
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	190 auto buffer() const -> string_view {
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	191 return {this->file_->_IO_read_ptr,
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	192 to_unsigned(this->file_->_IO_read_end - this->file_->_IO_read_ptr)};
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	193 }
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	194 };
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	195
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	196 // A FILE wrapper for Apple's libc.
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	197 template <typename F> class apple_file : public file_base<F> {
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	198 public:
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	199 using file_base<F>::file_base;
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	200
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	201 auto buffer() const -> string_view {
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	202 return {reinterpret_cast<char*>(this->file_->_p),
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	203 to_unsigned(this->file_->_r)};
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	204 }
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	205 };
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	206
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	207 // A fallback FILE wrapper.
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	208 template <typename F> class fallback_file : public file_base<F> {
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	209 private:
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	210 char next_; // The next unconsumed character in the buffer.
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	211 bool has_next_ = false;
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	212
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	213 public:
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	214 using file_base<F>::file_base;
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	215
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	216 auto buffer() const -> string_view { return {&next_, has_next_ ? 1u : 0u}; }
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	217
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	218 auto get() -> int {
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	219 has_next_ = false;
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	220 return file_base<F>::get();
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	221 }
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	222
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	223 void unget(char c) {
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	224 file_base<F>::unget(c);
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	225 next_ = c;
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	226 has_next_ = true;
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	227 }
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	228 };
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	229
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	230 class file_scan_buffer : public scan_buffer {
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	231 private:
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	232 template <typename F, FMT_ENABLE_IF(sizeof(F::_IO_read_ptr) != 0)>
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	233 static auto get_file(F* f, int) -> glibc_file<F> {
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	234 return f;
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	235 }
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	236 template <typename F, FMT_ENABLE_IF(sizeof(F::_p) != 0)>
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	237 static auto get_file(F* f, int) -> apple_file<F> {
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	238 return f;
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	239 }
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	240 static auto get_file(FILE* f, ...) -> fallback_file<FILE> { return f; }
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	241
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	242 decltype(get_file(static_cast<FILE*>(nullptr), 0)) file_;
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	243
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	244 // Fills the buffer if it is empty.
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	245 void fill() {
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	246 string_view buf = file_.buffer();
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	247 if (buf.size() == 0) {
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	248 int c = file_.get();
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	249 // Put the character back since we are only filling the buffer.
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	250 if (c != EOF) file_.unget(static_cast<char>(c));
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	251 buf = file_.buffer();
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	252 }
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	253 set(buf);
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	254 }
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	255
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	256 void consume() override {
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	257 // Consume the current buffer content.
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	258 size_t n = to_unsigned(ptr() - file_.buffer().begin());
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	259 for (size_t i = 0; i != n; ++i) file_.get();
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	260 fill();
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	261 }
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	262
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	263 public:
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	264 explicit file_scan_buffer(FILE* f)
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	265 : scan_buffer(nullptr, nullptr, false), file_(f) {
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	266 flockfile(f);
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	267 fill();
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	268 }
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	269 ~file_scan_buffer() { funlockfile(file_); }
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	270 };
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	271 } // namespace detail
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	272
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	273 template <typename T, typename Char = char> struct scanner {
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	274 // A deleted default constructor indicates a disabled scanner.
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	275 scanner() = delete;
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	276 };
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	277
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	278 class scan_parse_context {
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	279 private:
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	280 string_view format_;
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	281
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	282 public:
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	283 using iterator = string_view::iterator;
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	284
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	285 explicit FMT_CONSTEXPR scan_parse_context(string_view format)
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	286 : format_(format) {}
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	287
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	288 FMT_CONSTEXPR auto begin() const -> iterator { return format_.begin(); }
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	289 FMT_CONSTEXPR auto end() const -> iterator { return format_.end(); }
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	290
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	291 void advance_to(iterator it) {
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	292 format_.remove_prefix(detail::to_unsigned(it - begin()));
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	293 }
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	294 };
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	295
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	296 namespace detail {
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	297 enum class scan_type {
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	298 none_type,
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	299 int_type,
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	300 uint_type,
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	301 long_long_type,
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	302 ulong_long_type,
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	303 string_type,
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	304 string_view_type,
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	305 custom_type
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	306 };
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	307
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	308 template <typename Context> struct custom_scan_arg {
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	309 void* value;
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	310 void (scan)(void arg, scan_parse_context& parse_ctx, Context& ctx);
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	311 };
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	312 } // namespace detail
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	313
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	314 // A scan argument. Context is a template parameter for the compiled API where
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	315 // output can be unbuffered.
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	316 template <typename Context> class basic_scan_arg {
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	317 private:
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	318 using scan_type = detail::scan_type;
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	319 scan_type type_;
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	320 union {
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	321 int* int_value_;
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	322 unsigned* uint_value_;
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	323 long long* long_long_value_;
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	324 unsigned long long* ulong_long_value_;
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	325 std::string* string_;
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	326 string_view* string_view_;
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	327 detail::custom_scan_arg<Context> custom_;
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	328 // TODO: more types
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	329 };
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	330
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	331 template <typename T>
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	332 static void scan_custom_arg(void* arg, scan_parse_context& parse_ctx,
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	333 Context& ctx) {
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	334 auto s = scanner<T>();
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	335 parse_ctx.advance_to(s.parse(parse_ctx));
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	336 ctx.advance_to(s.scan(static_cast<T>(arg), ctx));
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	337 }
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	338
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	339 public:
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	340 FMT_CONSTEXPR basic_scan_arg()
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	341 : type_(scan_type::none_type), int_value_(nullptr) {}
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	342 FMT_CONSTEXPR basic_scan_arg(int& value)
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	343 : type_(scan_type::int_type), int_value_(&value) {}
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	344 FMT_CONSTEXPR basic_scan_arg(unsigned& value)
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	345 : type_(scan_type::uint_type), uint_value_(&value) {}
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	346 FMT_CONSTEXPR basic_scan_arg(long long& value)
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	347 : type_(scan_type::long_long_type), long_long_value_(&value) {}
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	348 FMT_CONSTEXPR basic_scan_arg(unsigned long long& value)
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	349 : type_(scan_type::ulong_long_type), ulong_long_value_(&value) {}
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	350 FMT_CONSTEXPR basic_scan_arg(std::string& value)
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	351 : type_(scan_type::string_type), string_(&value) {}
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	352 FMT_CONSTEXPR basic_scan_arg(string_view& value)
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	353 : type_(scan_type::string_view_type), string_view_(&value) {}
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	354 template <typename T>
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	355 FMT_CONSTEXPR basic_scan_arg(T& value) : type_(scan_type::custom_type) {
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	356 custom_.value = &value;
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	357 custom_.scan = scan_custom_arg<T>;
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	358 }
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	359
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	360 constexpr explicit operator bool() const noexcept {
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	361 return type_ != scan_type::none_type;
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	362 }
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	363
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	364 auto type() const -> detail::scan_type { return type_; }
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	365
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	366 template <typename Visitor>
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	367 auto visit(Visitor&& vis) -> decltype(vis(monostate())) {
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	368 switch (type_) {
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	369 case scan_type::none_type:
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	370 break;
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	371 case scan_type::int_type:
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	372 return vis(*int_value_);
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	373 case scan_type::uint_type:
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	374 return vis(*uint_value_);
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	375 case scan_type::long_long_type:
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	376 return vis(*long_long_value_);
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	377 case scan_type::ulong_long_type:
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	378 return vis(*ulong_long_value_);
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	379 case scan_type::string_type:
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	380 return vis(*string_);
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	381 case scan_type::string_view_type:
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	382 return vis(*string_view_);
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	383 case scan_type::custom_type:
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	384 break;
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	385 }
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	386 return vis(monostate());
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	387 }
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	388
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	389 auto scan_custom(const char* parse_begin, scan_parse_context& parse_ctx,
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	390 Context& ctx) const -> bool {
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	391 if (type_ != scan_type::custom_type) return false;
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	392 parse_ctx.advance_to(parse_begin);
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	393 custom_.scan(custom_.value, parse_ctx, ctx);
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	394 return true;
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	395 }
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	396 };
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	397
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	398 class scan_context;
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	399 using scan_arg = basic_scan_arg<scan_context>;
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	400
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	401 struct scan_args {
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	402 int size;
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	403 const scan_arg* data;
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	404
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	405 template <size_t N>
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	406 FMT_CONSTEXPR scan_args(const std::array<scan_arg, N>& store)
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	407 : size(N), data(store.data()) {
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	408 static_assert(N < INT_MAX, "too many arguments");
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	409 }
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	410 };
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	411
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	412 class scan_context {
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	413 private:
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	414 detail::scan_buffer& buf_;
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	415 scan_args args_;
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	416
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	417 public:
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	418 using iterator = detail::scan_iterator;
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	419 using sentinel = detail::scan_sentinel;
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	420
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	421 explicit FMT_CONSTEXPR scan_context(detail::scan_buffer& buf, scan_args args)
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	422 : buf_(buf), args_(args) {}
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	423
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	424 FMT_CONSTEXPR auto arg(int id) const -> scan_arg {
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	425 return id < args_.size ? args_.data[id] : scan_arg();
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	426 }
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	427
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	428 auto begin() const -> iterator { return buf_.begin(); }
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	429 auto end() const -> sentinel { return {}; }
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	430
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	431 void advance_to(iterator) { buf_.consume(); }
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	432 };
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	433
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	434 namespace detail {
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	435
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	436 const char* parse_scan_specs(const char* begin, const char* end,
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	437 format_specs<>& specs, scan_type) {
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	438 while (begin != end) {
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	439 switch (to_ascii(*begin)) {
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	440 // TODO: parse more scan format specifiers
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	441 case 'x':
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	442 specs.type = presentation_type::hex_lower;
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	443 ++begin;
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	444 break;
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	445 case '}':
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	446 return begin;
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	447 }
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	448 }
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	449 return begin;
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	450 }
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	451
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	452 template <typename T, FMT_ENABLE_IF(std::is_unsigned<T>::value)>
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	453 auto read(scan_iterator it, T& value)
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	454 -> scan_iterator {
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	455 if (it == scan_sentinel()) return it;
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	456 char c = *it;
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	457 if (c < '0' \|\| c > '9') throw_format_error("invalid input");
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	458
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	459 int num_digits = 0;
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	460 T n = 0, prev = 0;
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	461 char prev_digit = c;
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	462 do {
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	463 prev = n;
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	464 n = n * 10 + static_cast<unsigned>(c - '0');
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	465 prev_digit = c;
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	466 c = *++it;
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	467 ++num_digits;
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	468 if (c < '0' \|\| c > '9') break;
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	469 } while (it != scan_sentinel());
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	470
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	471 // Check overflow.
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	472 if (num_digits <= std::numeric_limits<int>::digits10) {
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	473 value = n;
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	474 return it;
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	475 }
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	476 unsigned max = to_unsigned((std::numeric_limits<int>::max)());
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	477 if (num_digits == std::numeric_limits<int>::digits10 + 1 &&
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	478 prev * 10ull + unsigned(prev_digit - '0') <= max) {
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	479 value = n;
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	480 } else {
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	481 throw_format_error("number is too big");
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	482 }
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	483 return it;
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	484 }
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	485
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	486 template <typename T, FMT_ENABLE_IF(std::is_unsigned<T>::value)>
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	487 auto read_hex(scan_iterator it, T& value)
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	488 -> scan_iterator {
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	489 if (it == scan_sentinel()) return it;
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	490 int digit = to_hex_digit(*it);
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	491 if (digit < 0) throw_format_error("invalid input");
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	492
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	493 int num_digits = 0;
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	494 T n = 0;
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	495 do {
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	496 n = (n << 4) + static_cast<unsigned>(digit);
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	497 ++num_digits;
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	498 digit = to_hex_digit(*++it);
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	499 if (digit < 0) break;
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	500 } while (it != scan_sentinel());
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	501
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	502 // Check overflow.
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	503 if (num_digits <= (std::numeric_limits<T>::digits >> 2))
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	504 value = n;
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	505 else
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	506 throw_format_error("number is too big");
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	507 return it;
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	508 }
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	509
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	510 template <typename T, FMT_ENABLE_IF(std::is_unsigned<T>::value)>
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	511 auto read(scan_iterator it, T& value, const format_specs<>& specs)
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	512 -> scan_iterator {
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	513 if (specs.type == presentation_type::hex_lower)
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	514 return read_hex(it, value);
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	515 return read(it, value);
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	516 }
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	517
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	518 template <typename T, FMT_ENABLE_IF(std::is_signed<T>::value)>
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	519 auto read(scan_iterator it, T& value, const format_specs<>& = {})
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	520 -> scan_iterator {
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	521 bool negative = it != scan_sentinel() && *it == '-';
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	522 if (negative) {
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	523 ++it;
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	524 if (it == scan_sentinel()) throw_format_error("invalid input");
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	525 }
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	526 using unsigned_type = typename std::make_unsigned<T>::type;
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	527 unsigned_type abs_value = 0;
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	528 it = read(it, abs_value);
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	529 auto n = static_cast<T>(abs_value);
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	530 value = negative ? -n : n;
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	531 return it;
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	532 }
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	533
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	534 auto read(scan_iterator it, std::string& value, const format_specs<>& = {})
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	535 -> scan_iterator {
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	536 while (it != scan_sentinel() && it != ' ') value.push_back(it++);
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	537 return it;
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	538 }
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	539
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	540 auto read(scan_iterator it, string_view& value, const format_specs<>& = {})
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	541 -> scan_iterator {
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	542 auto range = to_contiguous(it);
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	543 // This could also be checked at compile time in scan.
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	544 if (!range) throw_format_error("string_view requires contiguous input");
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	545 auto p = range.begin;
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	546 while (p != range.end && *p != ' ') ++p;
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	547 size_t size = to_unsigned(p - range.begin);
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	548 value = {range.begin, size};
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	549 return advance(it, size);
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	550 }
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	551
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	552 auto read(scan_iterator it, monostate, const format_specs<>& = {})
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	553 -> scan_iterator {
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	554 return it;
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	555 }
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	556
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	557 // An argument scanner that uses the default format, e.g. decimal for integers.
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	558 struct default_arg_scanner {
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	559 scan_iterator it;
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	560
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	561 template <typename T> FMT_INLINE auto operator()(T&& value) -> scan_iterator {
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	562 return read(it, value);
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	563 }
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	564 };
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	565
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	566 // An argument scanner with format specifiers.
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	567 struct arg_scanner {
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	568 scan_iterator it;
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	569 const format_specs<>& specs;
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	570
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	571 template <typename T> auto operator()(T&& value) -> scan_iterator {
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	572 return read(it, value, specs);
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	573 }
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	574 };
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	575
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	576 struct scan_handler : error_handler {
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	577 private:
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	578 scan_parse_context parse_ctx_;
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	579 scan_context scan_ctx_;
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	580 int next_arg_id_;
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	581
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	582 using sentinel = scan_buffer::sentinel;
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	583
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	584 public:
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	585 FMT_CONSTEXPR scan_handler(string_view format, scan_buffer& buf,
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	586 scan_args args)
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	587 : parse_ctx_(format), scan_ctx_(buf, args), next_arg_id_(0) {}
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	588
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	589 auto pos() const -> scan_buffer::iterator { return scan_ctx_.begin(); }
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	590
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	591 void on_text(const char* begin, const char* end) {
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	592 if (begin == end) return;
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	593 auto it = scan_ctx_.begin();
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	594 for (; begin != end; ++begin, ++it) {
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	595 if (it == sentinel() \|\| begin != it) on_error("invalid input");
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	596 }
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	597 scan_ctx_.advance_to(it);
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	598 }
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	599
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	600 FMT_CONSTEXPR auto on_arg_id() -> int { return on_arg_id(next_arg_id_++); }
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	601 FMT_CONSTEXPR auto on_arg_id(int id) -> int {
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	602 if (!scan_ctx_.arg(id)) on_error("argument index out of range");
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	603 return id;
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	604 }
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	605 FMT_CONSTEXPR auto on_arg_id(string_view id) -> int {
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	606 if (id.data()) on_error("invalid format");
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	607 return 0;
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	608 }
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	609
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	610 void on_replacement_field(int arg_id, const char*) {
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	611 scan_arg arg = scan_ctx_.arg(arg_id);
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	612 auto it = scan_ctx_.begin();
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	613 while (it != sentinel() && is_whitespace(*it)) ++it;
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	614 scan_ctx_.advance_to(arg.visit(default_arg_scanner{it}));
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	615 }
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	616
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	617 auto on_format_specs(int arg_id, const char* begin, const char* end) -> const
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	618 char* {
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	619 scan_arg arg = scan_ctx_.arg(arg_id);
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	620 if (arg.scan_custom(begin, parse_ctx_, scan_ctx_))
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	621 return parse_ctx_.begin();
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	622 auto specs = format_specs<>();
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	623 begin = parse_scan_specs(begin, end, specs, arg.type());
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	624 if (begin == end \|\| *begin != '}') on_error("missing '}' in format string");
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	625 scan_ctx_.advance_to(arg.visit(arg_scanner{scan_ctx_.begin(), specs}));
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	626 return begin;
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	627 }
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	628
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	629 void on_error(const char* message) { error_handler::on_error(message); }
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	630 };
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	631 } // namespace detail
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	632
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	633 template <typename... T>
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	634 auto make_scan_args(T&... args) -> std::array<scan_arg, sizeof...(T)> {
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	635 return {{args...}};
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	636 }
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	637
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	638 void vscan(detail::scan_buffer& buf, string_view fmt, scan_args args) {
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	639 auto h = detail::scan_handler(fmt, buf, args);
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	640 detail::parse_format_string<false>(fmt, h);
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	641 }
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	642
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	643 template <typename... T>
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	644 auto scan(string_view input, string_view fmt, T&... args)
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	645 -> string_view::iterator {
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	646 auto&& buf = detail::string_scan_buffer(input);
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	647 vscan(buf, fmt, make_scan_args(args...));
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	648 return input.begin() + (buf.begin().base() - input.data());
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	649 }
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	650
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	651 template <typename InputRange, typename... T,
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	652 FMT_ENABLE_IF(!std::is_convertible<InputRange, string_view>::value)>
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	653 auto scan(InputRange&& input, string_view fmt, T&... args)
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	654 -> decltype(std::begin(input)) {
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	655 auto it = std::begin(input);
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	656 vscan(get_buffer(it), fmt, make_scan_args(args...));
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	657 return it;
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	658 }
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	659
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	660 template <typename... T> bool scan(std::FILE* f, string_view fmt, T&... args) {
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	661 auto&& buf = detail::file_scan_buffer(f);
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	662 vscan(buf, fmt, make_scan_args(args...));
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	663 return buf.begin() != buf.end();
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	664 }
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	665
1faa72660932 : transfer back to cmake from autotools Paper <paper@paper.us.eu.org>* parents: diff changeset	666 FMT_END_NAMESPACE

Mercurial > minori

annotate dep/fmt/test/scan.h @ 350:daa03aa2262d