22 #include <spot/misc/common.hh>
37 print(std::ostream&,
const char*)
const = 0;
57 operator const T&()
const
68 operator=(
const T& new_val)
75 print(std::ostream& os,
const char*)
const override
86 print(std::ostream& os,
const char* x)
const override
97 print(std::ostream& os,
const char*)
const override
111 : has_(256), call_(256, &
id)
113 call_[
'%'] = call_[0] = &percent;
126 scan(
const char* fmt, std::vector<bool>& has)
const;
129 scan(
const std::string& fmt, std::vector<bool>& has)
const
131 scan(fmt.c_str(), has);
138 prime(
const char* fmt);
170 format(
const char* fmt);
174 format(std::ostream& output,
const char* fmt)
176 std::ostream* tmp = output_;
187 return format(fmt.c_str());
192 format(std::ostream& output,
const std::string& fmt)
194 return format(output, fmt.c_str());
198 std::vector<bool> has_;
199 std::vector<const printable*> call_;
201 std::ostream* output_;
The default callback simply writes "%c".
Definition: formater.hh:82
Definition: formater.hh:42
Definition: formater.hh:29
Called by default for "%%" and "%\0".
Definition: formater.hh:93