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

Contents of /trunk/eweasel/tests/valid017/tcf

Parent Directory Parent Directory | Revision Log Revision Log


Revision 65297 - (show annotations)
Thu Nov 30 20:22:33 2006 UTC (13 years ago) by manus
File size: 1786 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 -- This is a test control file
8
9 test_name void-as-bool-or-int
10 test_description Violate validity constraint VWBE with Void
11 copy_sub Ace $TEST Ace
12
13 define ROUTINE "require Void do end"
14 copy_sub test.e $CLUSTER test.e
15 compile_melted
16 compile_result validity_error TEST VWBE
17
18 define ROUTINE "do ensure Void end"
19 copy_sub test.e $CLUSTER test.e
20 resume_compile
21 compile_result validity_error TEST VWBE
22
23 define ROUTINE "do end invariant Void"
24 copy_sub test.e $CLUSTER test.e
25 resume_compile
26 compile_result validity_error TEST VWBE
27
28 define ROUTINE "do from invariant Void until false loop end end"
29 copy_sub test.e $CLUSTER test.e
30 resume_compile
31 compile_result validity_error TEST VWBE
32
33 define ROUTINE "do from variant Void until false loop end end"
34 copy_sub test.e $CLUSTER test.e
35 resume_compile
36 compile_result validity_error TEST VAVE
37
38 define ROUTINE "do from until Void loop end end"
39 copy_sub test.e $CLUSTER test.e
40 resume_compile
41 compile_result validity_error TEST VWBE
42
43 define ROUTINE "do if Void then end end"
44 copy_sub test.e $CLUSTER test.e
45 resume_compile
46 compile_result validity_error TEST VWBE
47
48 define ROUTINE "local c: CHARACTER; do inspect c when Void then end end"
49 copy_sub test.e $CLUSTER test.e
50 resume_compile
51 compile_result syntax_error TEST 14
52
53 define ROUTINE "do inspect Void when 3 then end end"
54 copy_sub test.e $CLUSTER test.e
55 resume_compile
56 compile_result validity_error TEST VOMB(1)
57
58 define ROUTINE "local c: CHARACTER do inspect Void when c then end end"
59 copy_sub test.e $CLUSTER test.e
60 resume_compile
61 compile_result validity_error TEST VOMB(1)
62
63 test_end

Properties

Name Value
svn:eol-style native

  ViewVC Help
Powered by ViewVC 1.1.23