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

Contents of /trunk/eweasel/tests/valid141/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: 1231 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 manifest-string-vqmc-sneak
10 test_description A class with a declaration `c: CHARACTER is "abc"' should be rejected as a VQMC but the compiler accepts it. Also incorrectly accepts other basic types (INTEGER, REAL, DOUBLE, POINTER, BOOLEAN) when the constant is a manifest string.
11
12 define TYPE BOOLEAN
13 copy_sub Ace $TEST Ace
14 copy_sub test.e $CLUSTER test.e
15 compile_melted
16 compile_result validity_error TEST VQMC
17
18 define TYPE CHARACTER
19 copy_sub test.e $CLUSTER test.e
20 resume_compile
21 compile_result validity_error TEST VQMC
22
23 define TYPE DOUBLE
24 copy_sub test.e $CLUSTER test.e
25 resume_compile
26 compile_result validity_error TEST VQMC
27
28 define TYPE INTEGER
29 copy_sub test.e $CLUSTER test.e
30 resume_compile
31 compile_result validity_error TEST VQMC
32
33 define TYPE POINTER
34 copy_sub test.e $CLUSTER test.e
35 resume_compile
36 compile_result validity_error TEST VQMC
37
38 define TYPE REAL
39 copy_sub test.e $CLUSTER test.e
40 resume_compile
41 compile_result validity_error TEST VQMC
42
43 test_end

Properties

Name Value
svn:eol-style native

  ViewVC Help
Powered by ViewVC 1.1.23