Bug 484322 - Multiple activations can get stuck in a conflict set when using InvertedDisappearancePriorityConflictResolver
Summary: Multiple activations can get stuck in a conflict set when using InvertedDisap...
Status: RESOLVED FIXED
Alias: None
Product: Viatra
Classification: Modeling
Component: Query (show other bugs)
Version: oldinquery   Edit
Hardware: PC Windows NT
: P3 normal
Target Milestone: 1.2 M1   Edit
Assignee: Abel Hegedus CLA
QA Contact: Istvan Rath CLA
URL:
Whiteboard:
Keywords:
Depends on:
Blocks:
 
Reported: 2015-12-14 09:41 EST by Robert Doczi CLA
Modified: 2015-12-15 11:59 EST (History)
1 user (show)

See Also:

Attachments
Add an attachment (proposed patch, testcase, etc.)

Note You need to log in before you can comment on or make changes to this bug.
Description Robert Doczi CLA 2015-12-14 09:41:22 EST 
When using InvertedDisappearancePriorityConflictResolver, multiple instances of the same activation may get stuck in the conflict set. This may happen when an MATCH_APPEARS activation transition happens from DISAPPEARED state resulting in an UPDATE state. In this case, the conflict set will contain the UPDATE activation with both the positive and negative priority.
Comment 1 Abel Hegedus CLA 2015-12-14 12:11:48 EST 
The addActivation method of FixedPriorityConflictSet should be overridden in InvertedDisappearancePriorityConflictSet to remove the activation from the inverted bucket before inserting into the correct bucket.
Comment 2 Abel Hegedus CLA 2015-12-15 11:56:00 EST 
Fixed in master: https://git.eclipse.org/c/incquery/org.eclipse.incquery.git/commit/?id=2202cc52969147611b9d6950d4b298bf6719beff

Should be cherry picked to maintenance branch if we plan to have 1.1.1 released at some point.