User Tools

Site Tools


groimp-platform:xl-predicates

This is an old revision of the document!


Query predicates

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 skipped 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

groimp-platform/xl-predicates.1736517208.txt.gz · Last modified: 2025/01/10 14:53 by gaetan