22 #include <spot/misc/common.hh> 23 #include <spot/misc/timer.hh> 28 #define UNUSED(expr) do { (void)(expr); } while (0) 40 print(std::ostream&,
const char*)
const = 0;
60 operator const T&()
const 71 operator=(
const T& new_val)
78 operator=(T&& new_val)
80 val_ = std::move(new_val);
85 print(std::ostream& os,
const char*)
const override 94 std::ostream& operator<<(std::ostream& os,
const timer& dt)
105 print(std::ostream& os,
const char* x)
const override 116 print(std::ostream& os,
const char*)
const override 130 : has_(256), call_(256, &
id)
132 call_[
'%'] = call_[0] = &percent;
145 scan(
const char* fmt, std::vector<bool>& has)
const;
148 scan(
const std::string& fmt, std::vector<bool>& has)
const 150 scan(fmt.c_str(), has);
157 prime(
const char* fmt);
189 format(
const char* fmt);
193 format(std::ostream& output,
const char* fmt)
195 std::ostream* tmp = output_;
206 return format(fmt.c_str());
211 format(std::ostream& output,
const std::string& fmt)
213 return format(output, fmt.c_str());
217 std::vector<bool> has_;
218 std::vector<const printable*> call_;
220 std::ostream* output_;
The default callback simply writes "%c".
Definition: formater.hh:101
Definition: formater.hh:45
Definition: formater.hh:32
Called by default for "%%" and "%\0".
Definition: formater.hh:112