/[eiffelstudio]/trunk/Src/eweasel/tests/valid092/tcf
ViewVC logotype

Annotation of /trunk/Src/eweasel/tests/valid092/tcf

Parent Directory Parent Directory | Revision Log Revision Log


Revision 65296 - (hide annotations)
Thu Nov 30 19:56:25 2006 UTC (13 years, 3 months ago) by manus
File size: 1127 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
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 vomb2-called-veen
10     test_description A multi-branch instruction lists an inspect "constant" which is actually a local variable. The compiler should report a VOMB(2) error but it instead reports VEEN (unknown identifier) on the local entity which is non-constant and/or of the wrong type.
11    
12     copy_sub Ace $TEST Ace
13     define ENTITY "int"
14     copy_sub test.e $CLUSTER test.e
15     compile_melted
16     compile_result validity_error TEST Unused_local_warning VOMB(2)
17    
18     define ENTITY "like_curr"
19     copy_sub test.e $CLUSTER test.e
20     resume_compile
21     compile_result validity_error TEST Unused_local_warning VOMB(2)
22    
23     define ENTITY "char"
24     copy_sub test.e $CLUSTER test.e
25     resume_compile
26     compile_result validity_error TEST Unused_local_warning VOMB(2)
27    
28     define ENTITY "1"
29     copy_sub test.e $CLUSTER test.e
30     resume_compile
31     compile_result validity_warning TEST Unused_local_warning
32    
33     test_end

Properties

Name Value
svn:eol-style native

  ViewVC Help
Powered by ViewVC 1.1.23