Differences

This shows you the differences between two versions of the page.

--- groimp-platform:xl-operators [2025/01/10 14:51] – gaetan
+++ groimp-platform:xl-operators [2025/01/10 15:08] (current) – [Pattern predicates] gaetan
@@ Line 1: / Line 1: @@
-===== Query predicates =====
+===== Production operators =====
-These predicates are used in the queries. Note that the description of the predicate is simplified. Please refer to the XL specification to see the complete definition.
-All of the examples are part of patterns (on the left hand side in rule query, or in expression query (**) ).
-==== Simple predicate ====
-| syntax | description | example |
-| ID ':.' | create a variable ID and assign it the default type of the graph (Node). | x:. |
-| ID1 ':' ID2 | as before, but the variable ID1 is of type ID2 | x:X |
-| ID'('param')' | create variables that matches the param given. Arguments can be skiped with either nothing or '.' | X(,a,,b,.) |
-| '^' | push the expression that follow to the root of the current extent | ^X |
-==== Path predicate ====
-==== Control flow predicate ====
+Production operators are operators that can be used in a production statement.
 ==== Edge operators ====
@@ Line 33: / Line 16: @@
 | %%<-n-%% with a node-valued expression n | as before, but reverse direction |
 | [, ] | define the starts and the end of a branch connected subgraph |
-==== Pattern predicates ====
-ID usually represent identifier, but can also be expression. The symbols are put between '.
-The pattern predicates can only be used on the **pattern** side of the query.