Skip to Content.
Sympa Menu

k-user - Re: [K-user] Precedence among rules

k-user AT lists.cs.illinois.edu

Subject: K-user mailing list

List archive

Re: [K-user] Precedence among rules


Chronological Thread 
  • From: Dwight Guth <dwight.guth AT runtimeverification.com>
  • To: Omar Duhaiby <3omarz AT gmail.com>
  • Cc: "traian.serbanuta AT gmail.com" <traian.serbanuta AT gmail.com>, "k-user AT cs.uiuc.edu" <k-user AT cs.uiuc.edu>
  • Subject: Re: [K-user] Precedence among rules
  • Date: Mon, 12 May 2014 11:47:39 -0500
  • List-archive: <http://lists.cs.uiuc.edu/pipermail/k-user/>
  • List-id: <k-user.cs.uiuc.edu>

Prefer is a preference for a particular piece of user syntax. I say by tagging a production with "prefer" that I want to parse something using that production instead of another one in case of an ambiguity. It has no effect on execution order.


On Mon, May 12, 2014 at 11:23 AM, Omar Duhaiby <3omarz AT gmail.com> wrote:
What about the label "prefer"? Doesn't it do the job?


On Mon, May 12, 2014 at 5:26 PM, Radoi, Cosmin A <cos AT illinois.edu> wrote:

We will be implementing strategies this summer. Could you please document your scenario in a github issue so we can go back to it when we have an implementation. Label it with "strategies".

Regarding your way of checking if another rule has matched, I don't think there is a better solution now (somebody correct me if I'm wrong).

Thanks,

Cosmin

On May 12, 2014, at 7:37 AM, Omar Duhaiby <3omarz AT gmail.com> wrote:

> Yes thank you very much. This is what I am currently doing. But I was hoping for a more elegant solution.
> Is there a certain syntax to refer to another rule? because you said I have to check if the other rule does not match, which I do by using an extra cell in the configuration. I didn't like adding many cells that only act as tags for each type of rule.
>
>
> On Mon, May 12, 2014 at 8:40 AM, Traian Florin Şerbănuţă <traian.serbanuta AT fmi.unibuc.ro> wrote:
> Hello,
>
> Currently strategies are not supported, so the short answer would be no.
>
> The "standard" solution would be to that in the rule with lower precedence you explicitly check that the rule with higher precedence does not match.  K might eventually add support for specifying priorities among rules but it currently does not.
>
> best wishes,
> Traian
>
>
> 2014-05-12 3:34 GMT+03:00 Omar Duhaiby <3omarz AT gmail.com>:

> Hello,
>
> Can I give one rule more precedence than another, so that if both rules match, the one with higher precedence is executed?
>
> Thank you
>
> _______________________________________________
> k-user mailing list
> k-user AT cs.uiuc.edu
> http://lists.cs.uiuc.edu/mailman/listinfo/k-user
>
>
>
> _______________________________________________
> k-user mailing list
> k-user AT cs.uiuc.edu
> http://lists.cs.uiuc.edu/mailman/listinfo/k-user



_______________________________________________
k-user mailing list
k-user AT cs.uiuc.edu
http://lists.cs.uiuc.edu/mailman/listinfo/k-user





Archive powered by MHonArc 2.6.16.

Top of Page