Использование Vaadin (Java) для включения "повышения" и "группировки данных" в диаграммах HighCharts
Я считаю, что Vaadin 13 использует HighCharts и по этой ссылке
Я считаю, что у HighCharts есть эта замечательная технология, которая называется "boost" и "dataGrouping".
Как можно включить "Boost" и "DataGrouping" из Java Vaadin? (Я не слишком силен в javascript/html, поэтому я и использую Vaadin, поэтому любые указатели / псевдокоды / примеры были бы чрезвычайно полезны).
Примечание: предложение от Tatu Lund в приведенной выше ссылке SO, как правило, было бы отличным, но в нашем случае оно неприменимо по двум причинам: 1) на самом деле очень мало времени тратится на ввод-вывод в сети даже с 10000-ю точками (вместо этого, это все в рендеринге старших карт); и, возможно, что еще более важно, 2) нам нужно поддерживать масштабирование. Поэтому, если мы ограничим набор данных до того, как он достигнет HighCharts, нам придется написать много собственной логики для точной поддержки предоставления правильных данных при масштабировании, но я предполагаю, что если просто включить "объединение данных" и "повышение" из HighCharts, проблема масштабирования, показывающая полные данные (автоматически), исчезает.