Bugzilla – Full Text Bug Listing
| Summary: | [ast] TupleFactory.TupleInstance.equals() is invalid | ||
|---|---|---|---|
| Product: | [Modeling] OCL | Reporter: | Ed Willink <ed> |
| Component: | Core | Assignee: | OCL Inbox <mdt-ocl-inbox> |
| Status: | CLOSED FIXED | QA Contact: | |
| Severity: | normal | ||
| Priority: | P3 | ||
| Version: | 3.2.0 | ||
| Target Milestone: | M7 | ||
| Hardware: | PC | ||
| OS: | Windows Vista | ||
| Whiteboard: | Legacy | ||
| Bug Depends on: | 349117 | ||
| Bug Blocks: | |||
This is fixed by the Bug 349117 elimination of TupleFactory and TupeInstance. Pushed to master. CLOSED after a year in the RESOLVED state. |
Further to the EMF new group "EObject == Javadoc; was EcoreUtil.copy and String attributes" thread. EObject has a contract (better written as): The framework also assumes that implementations will not specialize {@link #equals(Object)} (nor {@link #hashCode()}) in a way that invalidates the use of "<code>==</code>" rather than {@link #equals(Object)} for equality testing; This contract is not satisfied by TupleFactory.TupleInstance or by two test classes. [This is not a problem for the pivot code since the pivot values do not extend EObject.]