PR# 12960 Undocking tool violates postcondition of {SD_FLOATING_ZONE}.set_position
Problem Report Summary
Submitter: prestoat2000
Category: EiffelVision
Priority: Medium
Date: 2007/06/03
Class: Bug
Severity: Serious
Number: 12960
Release: 6.0.68837
Confidential: No
Status: Analyzed
Responsible: alexk_es
Environment: Mozilla/5.0 (X11; U; SunOS i86pc; en-US; rv:1.8.1.3) Gecko/20070321 Firefox/2.0.0.3
Solaris 10 on x86
Synopsis: Undocking tool violates postcondition of {SD_FLOATING_ZONE}.set_position
Description
Although this assertion violation occurs in the docking library, `set_position' is inherited from EV_POSITIONABLE so I suspect this may be a Vision2 issue.
To Reproduce
Compile docking_control example under $EIFFEL_SRC/examples in workbench mode.
Run it.
Undock tool in resulting window. As soon as the mouse button is released
to complete the undocking, the position of {SD_FLOATING_ZONE}.set_position
with tag x_position_assigned is violated.
Trace attached.
Problem Report Interactions