/[eiffelstudio]/trunk/eweasel/tests/fixed095/test.e
ViewVC logotype

Contents of /trunk/eweasel/tests/fixed095/test.e

Parent Directory Parent Directory | Revision Log Revision Log


Revision 65297 - (show annotations)
Thu Nov 30 20:22:33 2006 UTC (12 years, 9 months ago) by manus
File size: 1041 byte(s)
Moved from trunk/Src/eweasel to trunk/eweasel so that a simple checkout of the source code is not penalized by the lenghty process of checking out all the tests of eweasel.
1
2 --| Copyright (c) 1993-2006 University of Southern California and contributors.
3 --| All rights reserved.
4 --| Your use of this work is governed under the terms of the GNU General
5 --| Public License version 2.
6
7 class TEST
8
9 -- To reproduce error:
10 -- Compile class as is.
11 -- Switch types of `t' and `b' in TEST1 (i.e. change type of `t'
12 -- to BOOLEAN and type of `b' to INTEGER). Save and rerun es3.
13 -- When es3 reports violations of VWEQ and VWBE in class TEST,
14 -- switch types of `t' and `b' back to what they were
15 -- originally (when they were correct). Save and hit return.
16 -- Es3 still reports the same validity violations even
17 -- though there are none.
18 -- Change class TEST without modifying it (add blank line and
19 -- delete it), save and hit return again to es3. Es3 now
20 -- realizes that everything is OK even though no class texts
21 -- have been changed. Only date of TEST has changed.
22 inherit TEST1;
23
24 creation
25 make
26 feature
27
28 make is
29 do
30 from
31 until
32 t /= 3
33 loop
34 check b end
35 end
36 end;
37
38
39 end

Properties

Name Value
svn:eol-style native
svn:keywords Author Date Id Revision

  ViewVC Help
Powered by ViewVC 1.1.23