/[eiffelstudio]/trunk/eweasel/tests/vaol101/tcf
ViewVC logotype

Contents of /trunk/eweasel/tests/vaol101/tcf

Parent Directory Parent Directory | Revision Log Revision Log


Revision 70566 - (show annotations)
Sat Oct 13 00:14:27 2007 UTC (12 years ago) by manus
File size: 1840 byte(s)
Updated test configuration file to reflect the ability of the compiler to report more than one
  error at degree 3.

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 -- This is a test control file
8
9 test_name validity-vaol1-basic
10 test_description Violate validity constraint VAOL1 with an `old' expression which is not in a postcondition
11
12 copy_sub Ace $TEST Ace
13 define REST "try is require old value = 47 do end"
14 copy_sub test.e $CLUSTER test.e
15 compile_melted
16 compile_result validity_error TEST VAOL(1)
17
18 define REST "try is do if old value = 47 then end end"
19 copy_sub test.e $CLUSTER test.e
20 resume_compile
21 compile_result validity_error TEST VAOL(1)
22
23 define REST "try is local x: INTEGER do x := old value end"
24 copy_sub test.e $CLUSTER test.e
25 resume_compile
26 compile_result validity_error TEST VAOL(1)
27
28 define REST "try is do check old value = 47 end end"
29 copy_sub test.e $CLUSTER test.e
30 resume_compile
31 compile_result validity_error TEST VAOL(1)
32
33 define REST "try is do from invariant old value = value until false loop end end"
34 copy_sub test.e $CLUSTER test.e
35 resume_compile
36 compile_result validity_error TEST VAOL(1)
37
38 define REST "try is do from variant old value until false loop end end"
39 copy_sub test.e $CLUSTER test.e
40 resume_compile
41 compile_result validity_error TEST VAOL(1)
42
43 define REST "try is do rescue if old b = b then end; retry end"
44 copy_sub test.e $CLUSTER test.e
45 resume_compile
46 compile_result validity_error TEST VAOL(1)
47
48 define REST "try is do end invariant old b; old value = 47"
49 copy_sub test.e $CLUSTER test.e
50 resume_compile
51 compile_result validity_error TEST VAOL(1) VAOL(1)
52
53 define REST "try is do ensure old value = value; old b end"
54 copy_sub test.e $CLUSTER test.e
55 resume_compile
56 compile_result ok
57
58 test_end

Properties

Name Value
svn:eol-style native

  ViewVC Help
Powered by ViewVC 1.1.23