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

From:thomas.beale Date:2005/11/11 Download