equal
deleted
inserted
replaced
82 return Flag::SUCCESS; |
82 return Flag::SUCCESS; |
83 } |
83 } |
84 } |
84 } |
85 |
85 |
86 void print(outputStream* st) { |
86 void print(outputStream* st) { |
87 st->print("[ "INTX_FORMAT_W(-25)" ... "INTX_FORMAT_W(25)" ]", _min, _max); |
87 st->print("[ " INTX_FORMAT_W(-25) " ... " INTX_FORMAT_W(25) " ]", _min, _max); |
88 } |
88 } |
89 }; |
89 }; |
90 |
90 |
91 class CommandLineFlagRange_uint : public CommandLineFlagRange { |
91 class CommandLineFlagRange_uint : public CommandLineFlagRange { |
92 uint _min; |
92 uint _min; |
138 return Flag::SUCCESS; |
138 return Flag::SUCCESS; |
139 } |
139 } |
140 } |
140 } |
141 |
141 |
142 void print(outputStream* st) { |
142 void print(outputStream* st) { |
143 st->print("[ "UINTX_FORMAT_W(-25)" ... "UINTX_FORMAT_W(25)" ]", _min, _max); |
143 st->print("[ " UINTX_FORMAT_W(-25) " ... " UINTX_FORMAT_W(25) " ]", _min, _max); |
144 } |
144 } |
145 }; |
145 }; |
146 |
146 |
147 class CommandLineFlagRange_uint64_t : public CommandLineFlagRange { |
147 class CommandLineFlagRange_uint64_t : public CommandLineFlagRange { |
148 uint64_t _min; |
148 uint64_t _min; |
166 return Flag::SUCCESS; |
166 return Flag::SUCCESS; |
167 } |
167 } |
168 } |
168 } |
169 |
169 |
170 void print(outputStream* st) { |
170 void print(outputStream* st) { |
171 st->print("[ "UINT64_FORMAT_W(-25)" ... "UINT64_FORMAT_W(25)" ]", _min, _max); |
171 st->print("[ " UINT64_FORMAT_W(-25) " ... " UINT64_FORMAT_W(25) " ]", _min, _max); |
172 } |
172 } |
173 }; |
173 }; |
174 |
174 |
175 class CommandLineFlagRange_size_t : public CommandLineFlagRange { |
175 class CommandLineFlagRange_size_t : public CommandLineFlagRange { |
176 size_t _min; |
176 size_t _min; |
194 return Flag::SUCCESS; |
194 return Flag::SUCCESS; |
195 } |
195 } |
196 } |
196 } |
197 |
197 |
198 void print(outputStream* st) { |
198 void print(outputStream* st) { |
199 st->print("[ "SIZE_FORMAT_W(-25)" ... "SIZE_FORMAT_W(25)" ]", _min, _max); |
199 st->print("[ " SIZE_FORMAT_W(-25) " ... " SIZE_FORMAT_W(25) " ]", _min, _max); |
200 } |
200 } |
201 }; |
201 }; |
202 |
202 |
203 class CommandLineFlagRange_double : public CommandLineFlagRange { |
203 class CommandLineFlagRange_double : public CommandLineFlagRange { |
204 double _min; |
204 double _min; |