PR# 12773 Estudio cannot generate flat format of feature with VUAR error, then crashes

Problem Report Summary
Submitter: prestoat2000
Category: EiffelStudio
Priority: Medium
Date: 2007/05/18
Class: Bug
Severity: Serious
Number: 12773
Release: 6.0.68434
Confidential: No
Status: Closed
Responsible:
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: Estudio cannot generate flat format of feature with VUAR error, then crashes

Description
Compile with attached classes and .ecf file.  Class TEST1 has a formal
generic parameter constrained by 

   {STRING, STRING} create make end

but the call to this creation procedure in `try' omits the INTEGER argument,
causing a VUAR error.

When compiler correctly reports VUAR error, pick `try' and drop it in Feature
Relation tool.  Select Flat format.  Estudio displays part of Flat format, then
adds "format could not be generated" text.  Select Basic Text view, then Flat
format again.  Estudio crashes with no trace.
To Reproduce

										
Problem Report Interactions
From:misterieking    Date:2007/11/30    Status: Closed    Download   
This should now be fixed, thanks for the report.

From:prestoat2000    Date:2007/05/18    Download   
Attachments for problem report #12773

Attachment: test.ecf     Size:1036
Attachment: test.e     Size:102
Attachment: test1.e     Size:105