android - 如何使一条线从开始到停止动画

Question

我正在使用 GeoJson 文件中的 LineLayer 在 Mapbox 上绘制行列表：

try {
        GeoJsonSource geoJsonSource = new GeoJsonSource("source", loadJsonFromRaw());
        mapboxMap.addSource(geoJsonSource);

        LineLayer lineLayer = new LineLayer("line-layer", "source");
        lineLayer.setProperties(
                PropertyFactory.lineWidth(1f),
                PropertyFactory.lineColor(Color.RED)
        );

        mapboxMap.addLayer(lineLayer);
    } catch (IOException e) {
        e.printStackTrace();
    }

一切正常，可以画线了。但是现在，我想在 MapBox 渲染它们时为每条线的起点到终点设置动画。来自MapBox 文档：

将数据保存在 GeoJSON 源中的一个好处是，您可以随时在源中更新、删除或添加其他功能，从而通过运行时样式 API 为地图中的数据设置动画提供解决方案。例如，使用 Android ValueAnimator，您可以通过更新 GeoJSON 数据中的坐标来移动要素。

但我不知道该怎么做，试图在互联网上搜索，但什么也没有，有人知道怎么做吗？谢谢。