PR# 15240 Trying to edit contracts of _invariant says class has syntax error
Problem Report Summary
Submitter: prestoat2000
Category: EiffelStudio
Priority: Medium
Date: 2009/01/06
Class: Bug
Severity: Serious
Number: 15240
Release: 6.4.76592
Confidential: No
Status: Open
Responsible:
Environment: Mozilla/5.0 (X11; U; SunOS sun4u; en-US; rv:1.8.1.13) Gecko/20080328 Firefox/2.0.0.13
Solaris 10 on SPARC
Synopsis: Trying to edit contracts of _invariant says class has syntax error
Description
Selecting context menu item Edit Contracts for feature _invariant causes the Contract Editor to say it cannot edit the contracts for class TESt because the class has a syntax error (which it does not). Very confusing.
To Reproduce
Start estudio. Compile with attached class and config file. Click on Run. When estudio reports class invariant violation, right-click on _invariant in either the Call Stack or in title bar of the Feature tool. Select Edit Contracts of `_invariant'. Contract Editor appears but says: The contracts cannot be shown for class TEST because it contains syntax errors. If I instead choose the same context menu item for class TEST, the Contract Editor works correctly.