Re: [incquery-dev] Vague language specification (new validation framewor

["David, Istvan" <davidi@xxxxxxxxxxxxxx>]

Hi,

It's way better now. The wiki page also. Thanks, Ábel!
Thanks for taking care about the administration as well.

Cheers,

Istvan

2015-04-02 16:19 GMT+02:00 Ábel Hegedüs <abel.hegedus@xxxxxxxxxx>:

Hi,

I have updated the description: https://bugs.eclipse.org/bugs/show_bug.cgi?id=463813

István (Dávid) do you think the new description suffices?

Cheers,

  Ábel Hegedüs

Fault Tolerant Systems Research Group

Department of Measurement and Information Systems

Budapest University of Technology and Economics

On 2015.04.02. 15:32:37, Ábel Hegedüs <abel.hegedus@xxxxxxxxxx> wrote:

Hi,

Thanks for the details!

I have added a simple example to the wiki page. In addition, I will update the description of the parameter. Note that the key parameter also has a description, so I would not add anything related to the key parameter to the location, other than to say that it should be used.

Cheers,

  Ábel Hegedüs

On 2015.04.02. 14:08:17, David, Istvan <davidi@xxxxxxxxxxxxxx> wrote:

Hi,

Okay, after looking into the sources, I would suggest to rephrase the warning message on the "location" attribute. Currently it's "Please use key with a single value list instead!", although it doesn't suggest that "key" is a new keyword there. Maybe something like this would be a bit more straightforward: "Please use attribute "key" with a single value list instead!". (Perhaps with some hint on the syntax of the list.)

Cheers,

Istvan

2015-04-02 13:48 GMT+02:00 David, Istvan <davidi@xxxxxxxxxxxxxx>:

Hi,

According to the wiki page, the key of a validation constraint is a "list of parameter names as strings". The new framework marks the location attribute as deprecated and warns the user about using a key with a single value list instead.

1. Is it a list of multiple parameter names as strings, or a list with one value then?

2. What syntax to use for that? Please, add at least one tiny example there.

Thanks,

Istvan

_______________________________________________ incquery-dev mailing list incquery-dev@xxxxxxxxxxx To change your delivery options, retrieve your password, or unsubscribe from this list, visit https://dev.eclipse.org/mailman/listinfo/incquery-dev

_______________________________________________ incquery-dev mailing list incquery-dev@xxxxxxxxxxx To change your delivery options, retrieve your password, or unsubscribe from this list, visit https://dev.eclipse.org/mailman/listinfo/incquery-dev

_______________________________________________
incquery-dev mailing list
incquery-dev@xxxxxxxxxxx
To change your delivery options, retrieve your password, or unsubscribe from this list, visit
https://dev.eclipse.org/mailman/listinfo/incquery-dev