From d35b4c81a5c4ddc3b4cc43fb26e5b14f9253e21c Mon Sep 17 00:00:00 2001 From: stelar7 Date: Wed, 29 Oct 2025 10:55:04 +0100 Subject: [PATCH] Clarify cursor iteration predicates some more --- index.bs | 24 ++++++++++++++++-------- 1 file changed, 16 insertions(+), 8 deletions(-) diff --git a/index.bs b/index.bs index 88bbfeb..a3fd43a 100644 --- a/index.bs +++ b/index.bs @@ -6083,15 +6083,19 @@ To iterate a cursor with |targetRealm|, |cursor|, an optional * The record's key is [=greater than=] or [=equal to=] |key|. * If |primaryKey| is defined: - * The record's key is [=equal to=] |key| and the record's value is [=greater than=] or [=equal to=] |primaryKey| - * The record's key is [=greater than=] |key|. + * If the record's key is [=equal to=] |key|: + * The record's value is [=greater than=] or [=equal to=] |primaryKey| + * Else: + * The record's key is [=greater than=] |key|. * If |position| is defined and |source| is an [=/object store=]: * The record's key is [=greater than=] |position|. * If |position| is defined and |source| is an [=/index=]: - * The record's key is [=equal to=] |position| and the record's value is [=greater than=] |object store position| - * The record's key is [=greater than=] |position|. + * If the record's key is [=equal to=] |position|: + * The record's value is [=greater than=] |object store position| + * Else: + * The record's key is [=greater than=] |position|. * The record's key is [=in=] |range|. @@ -6117,15 +6121,19 @@ To iterate a cursor with |targetRealm|, |cursor|, an optional * The record's key is [=less than=] or [=equal to=] |key|. * If |primaryKey| is defined: - * The record's key is [=equal to=] |key| and the record's value is [=less than=] or [=equal to=] |primaryKey| - * The record's key is [=less than=] |key|. + * If the record's key is [=equal to=] |key|: + * The record's value is [=less than=] or [=equal to=] |primaryKey| + * Else: + * The record's key is [=less than=] |key|. * If |position| is defined and |source| is an [=/object store=]: * The record's key is [=less than=] |position|. * If |position| is defined and |source| is an [=/index=]: - * The record's key is [=equal to=] |position| and the record's value is [=less than=] |object store position| - * The record's key is [=less than=] |position|. + * If the record's key is [=equal to=] |position|: + * The record's value is [=less than=] |object store position| + * Else: + * The record's key is [=less than=] |position|. * The record's key is [=in=] |range|.