Partager via


Spliterators.AbstractSpliterator.InterfaceConsts.Ordered Champ

Définition

Attention

This constant will be removed in the future version. Use Java.Util.SpliteratorCharacteristics enum directly instead of this field.

Valeur caractéristique indiquant qu’un ordre de rencontre est défini pour les éléments.

[Android.Runtime.Register("ORDERED", ApiSince=24)]
[System.Obsolete("This constant will be removed in the future version. Use Java.Util.SpliteratorCharacteristics enum directly instead of this field.", true)]
public const Java.Util.SpliteratorCharacteristics Ordered = 16;
[<Android.Runtime.Register("ORDERED", ApiSince=24)>]
[<System.Obsolete("This constant will be removed in the future version. Use Java.Util.SpliteratorCharacteristics enum directly instead of this field.", true)>]
val mutable Ordered : Java.Util.SpliteratorCharacteristics

Valeur de champ

Value = 16
Attributs

Remarques

Valeur caractéristique indiquant qu’un ordre de rencontre est défini pour les éléments. Dans ce cas, ce Spliterator garantit que la méthode #trySplit fractionne un préfixe strict d’éléments, que cette méthode #tryAdvance effectue des étapes par un élément dans l’ordre de préfixe et qui #forEachRemaining effectue des actions dans l’ordre de rencontre.

A Collection un ordre de rencontre si les documents correspondants Collection#iterator documentent une commande. Dans ce cas, l’ordre de rencontre est identique à l’ordre documenté. Sinon, une collection n’a pas d’ordre de rencontre.

Documentation Java pour java.util.Spliterator.ORDERED.

Les parties de cette page sont des modifications basées sur le travail créé et partagé par le projet Android Open Source et utilisés en fonction des termes décrits dans la licence d’attribution Creative Commons 2.5.

S’applique à