| 744 | //------------------------------------------------------------------------------ |
| 745 | |
| 746 | static void writeAsJsonArray( |
| 747 | std::ostream& stream, |
| 748 | const std::vector<short>& data, |
| 749 | int divisor) |
| 750 | { |
| 751 | auto i = data.begin(); |
| 752 | |
| 753 | stream << '['; |
| 754 | |
| 755 | if (i != data.end()) { |
| 756 | stream << (*i / divisor); |
| 757 | ++i; |
| 758 | } |
| 759 | |
| 760 | for (; i != data.end(); ++i) { |
| 761 | stream << ',' << (*i / divisor); |
| 762 | } |
| 763 | |
| 764 | stream << ']'; |
| 765 | } |
| 766 | |
| 767 | //------------------------------------------------------------------------------ |
| 768 | |