'isUnique()' operation always results in true only....

[eclipse-ocl-bot]

| --- | --- | | Bugzilla Link | 126861 | | Status | CLOSED FIXED | | Importance | P3 major | | Reported | Feb 07, 2006 23:38 EDT | | Modified | May 27, 2011 02:42 EDT | | Version | 1.0.0 | | Reporter | Shrawanika |

Description

If element 1 is checked for it's uniqueness in collection:\ Bag{1,1,3,2,4,1}->isUnique(1) : true

Checking if all elements are unique or not:\ Bag{1,1,3,2,4,1}->isUnique(e | e ) : true

Checking as per as specified usage:\ Bag{1,1,3,2,4,1}->isUnique(e | e = 1) : true

8 is not in collection , expression should fail or result in false:\ Bag{1,1,3,2,4,1}->isUnique(e | e = 8) : true

[eclipse-ocl-bot]

By Christian Damus on Feb 14, 2006 17:28

The evaluation visitor had a perfectly good implementation of the isUnique() iterator, which was commented out. I can only suppose that somebody, when testing, wanted to force a true result for some reason and forgot to uncomment it again.

Committed the required uncommenting.

[eclipse-ocl-bot]

By Nick Boldt on Jan 28, 2008 16:35

Move to verified as per bug 206558.

[eclipse-ocl-bot]

By Ed Willink on May 27, 2011 02:41

Closing after over a year in verified state.

[eclipse-ocl-bot]

By Ed Willink on May 27, 2011 02:42

Closing after over a year in verified state.