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

Contents of /trunk/eweasel/tests/vaol201/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: 1201 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 validity-vaol2-basic
10 test_description Violate validity constraint VAOL2 with an `old' expression which contains a local entity, Result or another `old' expression
11
12 copy_sub Ace $TEST Ace
13 define POSTCONDITION "old old true"
14 copy_sub test.e $CLUSTER test.e
15 compile_melted
16 compile_result validity_error TEST Unused_local_warning VAOL(2)
17
18 define POSTCONDITION "old (old 1 = 1)"
19 copy_sub test.e $CLUSTER test.e
20 resume_compile
21 compile_result validity_error TEST Unused_local_warning VAOL(2)
22
23 define POSTCONDITION "old x = 0"
24 copy_sub test.e $CLUSTER test.e
25 resume_compile
26 compile_result validity_error TEST VEEN(22)
27
28 define POSTCONDITION "old Current = Current"
29 copy_sub test.e $CLUSTER test.e
30 resume_compile
31 compile_result validity_warning TEST Unused_local_warning
32
33 define POSTCONDITION "old Result"
34 copy_sub test.e $CLUSTER test.e
35 compile_melted
36 compile_result validity_warning TEST Unused_local_warning
37
38 test_end

Properties

Name Value
svn:eol-style native

  ViewVC Help
Powered by ViewVC 1.1.23