Re: [scim] Filter grammar issues for valFilter

Paul Bismuth <paul.bismuth011955@gmail.com> Sat, 20 April 2019 13:58 UTC

Return-Path: <paul.bismuth011955@gmail.com>
X-Original-To: scim@ietfa.amsl.com
Delivered-To: scim@ietfa.amsl.com
Received: from localhost (localhost [127.0.0.1]) by ietfa.amsl.com (Postfix) with ESMTP id 2CBB4120129 for <scim@ietfa.amsl.com>; Sat, 20 Apr 2019 06:58:14 -0700 (PDT)
X-Virus-Scanned: amavisd-new at amsl.com
X-Spam-Flag: NO
X-Spam-Score: -1.75
X-Spam-Level:
X-Spam-Status: No, score=-1.75 tagged_above=-999 required=5 tests=[BAYES_00=-1.9, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1, FREEMAIL_ENVFROM_END_DIGIT=0.25, FREEMAIL_FROM=0.001, RCVD_IN_DNSWL_NONE=-0.0001, SPF_PASS=-0.001] autolearn=no autolearn_force=no
Authentication-Results: ietfa.amsl.com (amavisd-new); dkim=pass (2048-bit key) header.d=gmail.com
Received: from mail.ietf.org ([4.31.198.44]) by localhost (ietfa.amsl.com [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id aarftXjTXiOz for <scim@ietfa.amsl.com>; Sat, 20 Apr 2019 06:58:12 -0700 (PDT)
Received: from mail-it1-x12b.google.com (mail-it1-x12b.google.com [IPv6:2607:f8b0:4864:20::12b]) (using TLSv1.2 with cipher ECDHE-RSA-AES128-GCM-SHA256 (128/128 bits)) (No client certificate requested) by ietfa.amsl.com (Postfix) with ESMTPS id C7E16120052 for <scim@ietfa.amsl.com>; Sat, 20 Apr 2019 06:58:12 -0700 (PDT)
Received: by mail-it1-x12b.google.com with SMTP id a190so12120484ite.4 for <scim@ietfa.amsl.com>; Sat, 20 Apr 2019 06:58:12 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=mime-version:references:in-reply-to:from:date:message-id:subject:to :content-transfer-encoding; bh=M6oJzxlJRVRZB4NSHGX8IFbCqSioKnZXYFn39ONJjXw=; b=KNR3bSExK/o1u4P+XiZYIkNa/LDM2ecaDf+X5w8XpIXynqsi7e968NOe4VI3fQUh73 YumqZtCkQ+BOetFlO2Qw9jLXSojMpyCrIcr6rfB7DmMkP9zVGBa+D4qwETG/DlSLRz3B vq+1exqZCuSLKXe2TE+4WTsaU9zccehdWFcxedZMLN29uD5bAgd3QuZamuiP8fOvTEqP WmUWatz7izQsUH38KaUvauiIJhIRCjuVkvMsDAPaZUfNU5xuzsSDl0xBWaheQscUsOF6 +oAKGw31hYbVPzBi1YOMf/ZngUi/wyrPZMyuFtfN2X0yCzGWMCsr/CILlRN6XxkXjX5I /PBQ==
X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:mime-version:references:in-reply-to:from:date :message-id:subject:to:content-transfer-encoding; bh=M6oJzxlJRVRZB4NSHGX8IFbCqSioKnZXYFn39ONJjXw=; b=RwVlAWitQzRaG2Ttmc62dCLLDrrDss2pKd9JS5lLEH10Af+h2C9oIeHq4XRFSrBOI+ 5MmSiSCKJo0f3IvJiYx4fVDD1MYpl9WOaVHBxaIcfB3US+ZG5aaLvWHZ5JLE3GJNx9JI xtdYVsLCWxcOrLBAH61d88rGOHmdpysO5Jn1G1CP8sRRsKttjm3OyNRbto7856zOWXCn QzpB2PaH3pN9yln/1XRJq+UP5sIzbHsFMzKSGwNCF51eruOJlTpe43AFJ8F3qun7PJmV mazVfGU5PM2QXOX+964FB6qB7uunYGhN12aYAgonU1b0ECnWsCf7MvYzUwqDuEHZjywz KJdw==
X-Gm-Message-State: APjAAAWbK7N7CFkOXmetPyZVYhTk9A+cQUXKxIebi+E8/jJ4XQRUolVd 4+cJ/LxbqYSDuHGqM2WTURxKizto4GDrf+eEp5N7gg==
X-Google-Smtp-Source: APXvYqw0Ouh/tXwPkq/fCWNawqaJ+4WM8tIIGPspZi4PXTMT5x7Opf9VNPdt8v5l01vGz8qWmAR6et1BoqmSMfIsb74=
X-Received: by 2002:a02:43cf:: with SMTP id s198mr424026jab.138.1555768691911; Sat, 20 Apr 2019 06:58:11 -0700 (PDT)
MIME-Version: 1.0
References: <CAAVMdBfgntDszHDk7nPcahwmSzdXXe6dP+=63DWqZ-ZOA4_mwA@mail.gmail.com>
In-Reply-To: <CAAVMdBfgntDszHDk7nPcahwmSzdXXe6dP+=63DWqZ-ZOA4_mwA@mail.gmail.com>
From: Paul Bismuth <paul.bismuth011955@gmail.com>
Date: Sat, 20 Apr 2019 16:58:00 +0300
Message-ID: <CAAVMdBfCFdufFo-Dz-50Fy8c2JH3j2apJiYd08a6ERs=KJ=WUw@mail.gmail.com>
To: scim@ietfa.amsl.com
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
Archived-At: <https://mailarchive.ietf.org/arch/msg/scim/z0f5cnDjIwz7xP8fF5PxiWu5x7I>
Subject: Re: [scim] Filter grammar issues for valFilter
X-BeenThere: scim@ietf.org
X-Mailman-Version: 2.1.29
Precedence: list
List-Id: Simple Cloud Identity Management BOF <scim.ietf.org>
List-Unsubscribe: <https://www.ietf.org/mailman/options/scim>, <mailto:scim-request@ietf.org?subject=unsubscribe>
List-Archive: <https://mailarchive.ietf.org/arch/browse/scim/>
List-Post: <mailto:scim@ietf.org>
List-Help: <mailto:scim-request@ietf.org?subject=help>
List-Subscribe: <https://www.ietf.org/mailman/listinfo/scim>, <mailto:scim-request@ietf.org?subject=subscribe>
X-List-Received-Date: Sat, 20 Apr 2019 13:58:14 -0000

Dear all,

Are these questions irrelevant in some way, or is the grammar flawed?
Has anyone ever impemented this grammar with an LALR-1 parser?

Regards,

Paul

вт, 26 мар. 2019 г. в 14:54, Paul Bismuth <paul.bismuth011955@gmail.com>:
>
> Hello,
>
> It seems to me that there are some problems with the updated grammar
> (section 3.4.2 of RFC7644) and the following errata:
>
> ==============
> Errata ID: 4690
> Status: Reported
> Type: Technical
>
> Reported By: Phil Hunt
> Date Reported: 2016-05-10
>
> Section 3.4.2.2 says:
>
> valFilter = attrExp / logExp / *1"not" "(" valFilter ")"
>
> It should say:
>
> valFilter = attrExp / valLogExp / *1"not" "(" valFilter ")"
>
> valLogExp = attrExp SP ("and" / "or") SP attrExp
> ==============
>
> * It seems to me that the updated grammar allows expressions such as
> "attr.subattr[subattr.x]", however it doesn't make sense regarding the
> SCIM data model
> * The rule "valLogExp = attrExp SP ("and" / "or") SP attrExp" doesn't
> allow more than one "and" or "or". Therefore expression such as
> "attr[subattr1 pr and subattr2 pr or subattr3 pr]" is rejected
> * "valLogExp" doesn't allow the use of the "not" operand except when
> negating the whole "valFilter". Is that normal?
> * "valLogExp" doesn't allow precedence grouping ("( exp1 or exp2 ) and exp3")
>
> I'd be glad to help with the grammar if these issues are confirmed.
>
> Cheers,
>
> Paul