[OASIS Issue Tracker] Updated: (SRAMP-40) Support for literals to be arguments in function calls

[OASIS Issues Tracker <workgroup_mailer@lists.oasis-open.org>]

     [ http://tools.oasis-open.org/issues/browse/SRAMP-40?page=com.atlassian.jira.plugin.system.issuetabpanels:all-tabpanel ]

Eric Wittmann updated SRAMP-40:
-------------------------------

    Description: 
As defined, the S-RAMP query grammar does not allow literals to be
arguments to function calls.


  was:
Problem:

As defined, the S-RAMP query grammar does not allow literals to be
arguments to function calls.


Relevant Grammar:

FunctionCall ::= FunctionName '(' ( Argument ( ',' Argument )* )? ')'
Argument ::= Expr
Expr ::= EqualityExpr
EqualityExpr ::= ForwardPropertyStep '=' PrimaryExpr
PrimaryExpr ::= Literal  |  Number  |  '$' PropertyQName

I condensed the grammar a bit (took out boolean expression definitions
and whatnot) to illustrate the point.  You can see that the only way to
get to a PrimaryExpr is on the right-hand side of an EqualityExpr.


Example:

/s-ramp/xsd/XsdDocument[classifiedByAnyOf(., 'taste')]

The example above breaks down as an artifact set with a predicate where
the predicate is a function call with two arguments.  The second
argument is expected to be PrimaryExpr:

ArtifactSet [ FunctionCall ( RelationshipPath, PrimaryExpr ) ]

But the grammar states that an Argument must be an Expr, which does
*not* allow it to be a simple PrimaryExpr.


Proposal:

Update the grammar, changing Argument to be defined as:

Argument ::= PrimaryExpr
          | Expr

This is the simplest grammar change that will support the example, but
it is not the only one.


> Support for literals to be arguments in function calls
> ------------------------------------------------------
>
>                 Key: SRAMP-40
>                 URL: http://tools.oasis-open.org/issues/browse/SRAMP-40
>             Project: OASIS SOA Repository Artifact Model and Protocol (S-RAMP) TC
>          Issue Type: Improvement
>          Components: Foundation
>    Affects Versions: 1.0
>            Reporter: Kurt Stam 
>            Assignee: Eric Wittmann
>             Fix For: 1.0
>
>
> As defined, the S-RAMP query grammar does not allow literals to be
> arguments to function calls.

-- 
This message is automatically generated by JIRA.
-
If you think it was sent incorrectly contact one of the administrators: http://tools.oasis-open.org/issues/secure/Administrators.jspa
-
For more information on JIRA, see: http://www.atlassian.com/software/jira