Skip to Content.
Sympa Menu

k-user - [K-user] Thread Matching

k-user AT lists.cs.illinois.edu

Subject: K-user mailing list

List archive

[K-user] Thread Matching


Chronological Thread 
  • From: Omar Duhaiby <3omarz AT gmail.com>
  • To: "k-user AT cs.uiuc.edu" <k-user AT cs.uiuc.edu>
  • Subject: [K-user] Thread Matching
  • Date: Mon, 12 May 2014 16:26:11 +0300
  • List-archive: <http://lists.cs.uiuc.edu/pipermail/k-user/>
  • List-id: <k-user.cs.uiuc.edu>

I have parallel sibling threads assigned to a parent thread by a cell called "parentId". I want anyone of them to match and the rest to be deleted. I did this:

    rule <thread>...
            <k> parallelThreadManager(0) => V ...</k>
            <tid> ManagerId </tid>
        ...</thread>
        (<thread>...
            <k> V:Val </k>
            <parentId> ManagerId </parentId>
        ...</thread> => .)
        (<thread>...
            <parentId> ManagerId </parentId>
        ...</thread> => . )


The last bit of the rule should delete other threads, but it only deletes one such thread. I need it to delete ALL such threads. How can I do that?



Archive powered by MHonArc 2.6.16.

Top of Page