Spliterator.Ordered Champ
Définition
Important
Certaines informations portent sur la préversion du produit qui est susceptible d’être en grande partie modifiée avant sa publication. Microsoft exclut toute garantie, expresse ou implicite, concernant les informations fournies ici.
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.SpliteratorCharacteristicsValeur 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.