PR# 16960 Cannot generate Flat form for descendant of class with QAT in invariant

Problem Report Summary
Submitter: prestoat2000
Category: EiffelStudio
Priority: Medium
Date: 2010/07/12
Class: Bug
Severity: Serious
Number: 16960
Release: 6.6.83858
Confidential: No
Status: Closed
Responsible: alexk_es
Environment: Mozilla/5.0 (X11; U; SunOS i86pc; en-US; rv:1.9.1.8) Gecko/20100226 Firefox/3.5.8 OpenSolaris snv_134 on x64
Synopsis: Cannot generate Flat form for descendant of class with QAT in invariant

Description
A class TEST2 [G -> ANY create default_create end] with invariant

   valid: (create {like {TEST2 [G]}.x}) /= Void

is inherited by TEST.  Estudio cannot generate several formats for
class TEST, including the Flat, Interface and Invariant formats.
To Reproduce
Compile with attached classes.
Try to examine Flat, Interface or Invariant format of class TEST.
Problem Report Interactions
From:alexk_es    Date:2013/07/01    Status: Closed    Download    
Fixed in rev#92767 of EiffelStudio 7.4 intermediate release.

From:prestoat2000    Date:2012/07/26    Download    
I uploaded the wrong file in the initial report.  Here is the file for
class TEST2.  Please ignore the file test1.e.

Attachment: test2.e     Size:199
From:prestoat2000    Date:2010/07/12    Download    
Attachments for problem report #16960

Attachment: test.e     Size:80
Attachment: test1.e     Size:72
Attachment: test.ecf     Size:1190