¿Cuál es el significado de android: progressiveBarStyle atributo en ProgressBar?

He estado buscando en la documentación de la clase ProgressBar y encontré estos atributos:

Android: progressiveBarStyle
Android: progressBarStyleHorizontal
Android: progressBarStyleLarge
Android: progressBarStyleSmall

Estos cuatro parámetros se suponen para ser una referencia a un cierto estilo mientras que lo tomo. Así que la pregunta es, ¿para qué sirven? El estilo de la barra de progreso se establece mediante el atributo android: style y una referencia a los atributos de estilo global.

La documentación no dice nada útil, buscó en la Web, no encontró nada.

Los cuatro atributos que menciona se pueden aplicar al estilo de un ProgressBar de la siguiente manera:

 style="?android:attr/progressBarStyleHorizontal"

El android:progressBarStyleHorizontal estilo constante android:progressBarStyleHorizontal es su barra de progreso incremental típica:

texto alternativo

Mientras que los otros tres son diferentes tamaños de la misma barra de progreso circular:

 style="?android:attr/progressBarStyleSmall"

texto alternativo

 style="?android:attr/progressBarStyle"

texto alternativo

 style="?android:attr/progressBarStyleLarge"

texto alternativo

Actualizar:

Según los comentarios de adamp:

Estos son atributos del tema que apuntan a los estilos temáticos que puede usar para los indicadores de progreso … No son atributos para ProgressBar.

Parece un error de documentación. Se supone que son valores del atributo style, como el style="?android:attr/progressBarStyleHorizontal" visto aquí . Ese estilo en particular da una barra de progreso real frente al círculo predeterminado. No he jugado con los otros, aunque supongo que son círculos de diferentes tamaños.