/[eiffelstudio]/trunk/eweasel/tests/exec092/notes
ViewVC logotype

Annotation of /trunk/eweasel/tests/exec092/notes

Parent Directory Parent Directory | Revision Log Revision Log


Revision 65296 - (hide annotations)
Thu Nov 30 19:56:25 2006 UTC (13 years, 2 months ago) by manus
Original Path: trunk/Src/eweasel/tests/exec092/notes
File size: 321 byte(s)
Initial revision for the eweasel delivery provided by David Hollenberg
  from the University of Southern California under the GPL v2.0 license.

1 manus 65296 When a class has two or more parents, the invariant of the heir class
2     is supposed to start with the invariants of all parents in the order
3     of appearance of the parent clauses in the heir. But when the system
4     is executed, the invariants are monitored in reverse order of the
5     parent clauses.
6    
7     Discovered in Release 3.2.4.

  ViewVC Help
Powered by ViewVC 1.1.23