22 #include <spot/misc/common.hh> 23 #include <spot/misc/timer.hh> 38 print(std::ostream&,
const char*)
const = 0;
58 operator const T&()
const 69 operator=(
const T& new_val)
76 operator=(T&& new_val)
78 val_ = std::move(new_val);
83 print(std::ostream& os,
const char*)
const override 94 print(std::ostream& os,
const char* x)
const override 105 print(std::ostream& os,
const char*)
const override 119 : has_(256), call_(256, &
id)
121 call_[
'%'] = call_[0] = &percent;
134 scan(
const char* fmt, std::vector<bool>& has)
const;
137 scan(
const std::string& fmt, std::vector<bool>& has)
const 139 scan(fmt.c_str(), has);
146 prime(
const char* fmt);
178 format(
const char* fmt);
182 format(std::ostream& output,
const char* fmt)
184 std::ostream* tmp = output_;
195 return format(fmt.c_str());
200 format(std::ostream& output,
const std::string& fmt)
202 return format(output, fmt.c_str());
206 std::vector<bool> has_;
207 std::vector<const printable*> call_;
209 std::ostream* output_;
Definition: automata.hh:26
The default callback simply writes "%c".
Definition: formater.hh:90
Definition: formater.hh:43
Definition: formater.hh:30
Called by default for "%%" and "%\0".
Definition: formater.hh:101