PR# 5138 EV_MESSAGE_DIALOG.make_with_text violates invariant
Problem Report Summary
Submitter: thomas.beale
Category: Beta
Priority: Low
Date: 2005/07/11
Class: Bug
Severity: Non-critical
Number: 5138
Release: 5.6.1026beta
Confidential: No
Status: Open
Responsible:
Environment: Mozilla/5.0 (Windows; U; Windows NT 5.1; en-GB; rv:1.7.8) Gecko/20050511 Firefox/1.0.4
Synopsis: EV_MESSAGE_DIALOG.make_with_text violates invariant
Description
The invariant violated is from EV_COLORIZABLE: background_color_not_void: is_usable implies background_color /= Void I call the make_with_text routine as follows: class SPLASH_WINDOW inherit EV_MESSAGE_DIALOG create make feature -- Initialization make is do make_with_text (
To Reproduce
I have already modified the code above from my actual code; the above should fail in the same way.
Problem Report Interactions