| Summary: | Exported datapool is incorrect. | ||
|---|---|---|---|
| Product: | z_Archived | Reporter: | Paul Slauenwhite <paulslau> |
| Component: | TPTP | Assignee: | Paul Slauenwhite <paulslau> |
| Status: | CLOSED FIXED | QA Contact: | |
| Severity: | critical | ||
| Priority: | P1 | CC: | jerome.bozier |
| Version: | unspecified | Keywords: | plan |
| Target Milestone: | --- | ||
| Hardware: | All | ||
| OS: | All | ||
| Whiteboard: | |||
|
Description
Paul Slauenwhite
Jerome B, please investigate. For example: ,Variable1::String,Variable2::String EquivalenceClass1::0,1,2 EquivalenceClass1::1,1,2 Note, the two EquivalenceClass1. Deferred from I5 to I6 with PMC approval. This defect is not limited to removing variables from the datapool. Any changes to the datapool in the Datapool Editor after the datapool is first loaded have the same effect. The changes made in the Datapool Editor are saved but the export wizard is loading all the datapool files in the workspace using a static instance of a resource set (org.eclipse.hyades.test.core.util.EMFUtil.resourceSet) causing the load to default to the existing loaded instance, which is of course stale after the save of the Datapool Editor. The follow class checked in to CVS (HEAD): org.eclipse.hyades.test.ui.dialog.EObjectResourceContentProvider.java (In reply to comment #2) > For example: > > ,Variable1::String,Variable2::String > EquivalenceClass1::0,1,2 > EquivalenceClass1::1,1,2 > > > Note, the two EquivalenceClass1. > This is working as designed since the EquivalenceClass1 has two variables with two records (0 and 1). Verified in TPTP-4.5.0-200806070100. Closing. |