author Sylvain Thénault <>
Tue, 19 Jul 2016 10:24:13 +0200
changeset 802 7905bee83581
parent 781 7d5aa315998c
child 823 01b2152b778a
permissions -rw-r--r--
[parsing] Raise BadRQLQuery if shortcut type settings is used without any variable Before this 'Machin 12' is transformed to 'Any 12' since it expect a 'set type shortcut', but since the selection doesn't hold any variable, the type information is lost and no type checking is ever done. We can not expect to have the schema at this point, which would allow to check if the type exists. Even if we had, we would then need dedicated structures to hold the information that we expect entity with eid '12' to be a 'Machin'... Thus, it seems simpler to disallow usage of this simplified form without any selected variable. Closes #9234282.

# copyright 2004-2010 LOGILAB S.A. (Paris, FRANCE), all rights reserved.
# contact --
# This file is part of rql.
# rql is free software: you can redistribute it and/or modify it under the
# terms of the GNU Lesser General Public License as published by the Free
# Software Foundation, either version 2.1 of the License, or (at your option)
# any later version.
# rql is distributed in the hope that it will be useful, but WITHOUT ANY
# WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR
# A PARTICULAR PURPOSE.  See the GNU Lesser General Public License for more
# details.
# You should have received a copy of the GNU Lesser General Public License along
# with rql. If not, see <>.
from __future__ import print_function

from ginco.server.schema_readers import load_schema
from rql import RQLHelper
from rql.analyze import AltETypeResolver, Alt2ETypeResolver, ETypeResolver, ETypeResolver2
from pprint import pprint
import sys

SCHEMA_DIRECTORY = "/home/ludal/SB/prive/soft/ginco/applications/crm/schema"
APP_NAME = "toto"

schema = load_schema(SCHEMA_DIRECTORY, APP_NAME )


def cmp_sol( sol1, sol2 ):
    ret = True
    for l in sol1:
        if l not in sol2:
            ret = False
            print("Sol1", l)
    for l in sol2:
        if l not in sol1:
            ret = False
            print("Sol2", l)
    return ret

def analyze_rq( rq ):
    print("RQL:", rq)
    helper1 = RQLHelper( schema, Resolver=ETypeResolver  )
    helper2 = RQLHelper( schema, Resolver=ETypeResolver2 )
    node1 = helper1.parse( rq )
    node2 = helper2.parse( rq )
    sol1 = helper1.get_solutions( node1 )
    sol2 = helper2.get_solutions( node2 )
    return helper1, helper2, node1, node2, sol1, sol2

if len(sys.argv)<2:
    print("Usage: file")

for l in open(sys.argv[1]):
    helper1, helper2, node1, node2, sol1, sol2 = analyze_rq(l)
    an1 = helper1._rql_analyser
    an2 = helper2._rql_analyser
    if not cmp_sol( sol1, sol2 ):