Skip to content

Commit

Permalink
Adjust grammar for constraint eval for let spec for usnistgov#548
Browse files Browse the repository at this point in the history
  • Loading branch information
aj-stein-nist committed Mar 15, 2024
1 parent 27c7a2b commit bb3f957
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion website/content/specification/syntax/constraints.md
Original file line number Diff line number Diff line change
Expand Up @@ -200,7 +200,7 @@ A `let` statement has a REQUIRED `@var` flag, which defines the variable name.

A `let` statement has a REQUIRED `@expression` flag, which defines an [Metapath expression](/specification/syntax/metapath), whose result is used to define the variable's value in the evaluation context.

During constraint evaluation, each `let` statement MUST be evaluated in encounter order. If a previous variable is bound with the same name in the evaluation context, the new value MUST bound in a sub-context to avoid side effects. This sub-context MUST be made available to any constraints following the `let` statement declaration, and to any constraints defined on child nodes of the current context.
During constraint evaluation, each `let` statement MUST be evaluated in encountered order. If a previous variable is bound with the same name in the evaluation context, the new value MUST bound in a sub-context to avoid side effects. This sub-context MUST be made available to any constraints following the `let` statement declaration, and to any constraints defined on child nodes of the current context.

During evaluation, when a variable is bound for a `let` statement, the variables value MUST be set to the result of evaluating the `@expression` using the current node as the Metapath evaluation focus.

Expand Down

0 comments on commit bb3f957

Please sign in to comment.