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

Contents of /trunk/eweasel/tests/valid208/tcf

Parent Directory Parent Directory | Revision Log Revision Log


Revision 89135 - (show annotations)
Tue Jul 17 23:23:25 2012 UTC (7 years, 6 months ago) by manus
File size: 570 byte(s)
Renamed root_class.e into test.e (and the class name accoringly) to be consistent with other tests.

1 test_name creation-constraint-like-current-deferred
2 test_description Creation constraint should not be checked if actual generic derivation is `like Current'. Full class checking should find the error in ancestors (if they occur).
3
4
5 define DEFAULT_CREATE ""
6 copy_sub Ace $TEST Ace
7 copy_raw test.e $CLUSTER test.e
8 copy_raw a.e $CLUSTER a.e
9 copy_sub b.e $CLUSTER b.e
10 copy_raw generic.e $CLUSTER generic.e
11
12 compile_melted
13 compile_result validity_error B VTCG
14
15
16 define DEFAULT_CREATE "default_create,"
17 copy_sub b.e $CLUSTER b.e
18
19 resume_compile
20 compile_result ok
21
22
23
24 test_end

Properties

Name Value
svn:eol-style native

  ViewVC Help
Powered by ViewVC 1.1.23