| equivalencia de objetos | == | Un doble signo igual indica que los dos objetos deben ser el mismo. | n: Party.OrgName [ a: @Party.Address ] parent( n ) == parent( obj( a ) ) Comprueba que los elementos de búsqueda Address y OrgName sean hijos de la misma instancia del grupo Party. La variable a es una variable de token, no un objeto, por lo que debemos acceder a su objeto antes de poder usarla en la condición “parent”. n: Party.OrgName [ a: @Party.Address ] parent( n ) ~= parent( obj( a ) ) Comprueba que los elementos de búsqueda Address y OrgName sean hijos de instancias distintas del grupo Party. |
| no equivalencia de objetos | ~= | Una tilde seguida de un signo igual indica que los dos objetos no deben ser el mismo. | Véase el ejemplo anterior. |
| acceder al objeto | obj(token variable) obj(token variable, index) | ”obj” permite acceder al objeto en la variable de token. Si en la variable se mencionan varios objetos y necesita obtener solo uno de ellos, especifique el índice del token. | Véase el ejemplo anterior. |
| grupo primario | parent(search element name) | ”parent” permite acceder al grupo primario de un elemento de búsqueda ya mencionado en la regla. | Véase el ejemplo anterior. |