/[eiffelstudio]/trunk/eweasel/tests/valid246/test2.e
ViewVC logotype

Contents of /trunk/eweasel/tests/valid246/test2.e

Parent Directory Parent Directory | Revision Log Revision Log


Revision 77542 - (show annotations)
Wed Mar 4 23:44:25 2009 UTC (10 years, 10 months ago) by dhollen
File size: 233 byte(s)
Added eweasel test valid246 for bug #15459, where an assignment to an entity
of type "like Current" that is valid in the written-in class due to a
conversion procedure is rejected with a VJAR error in the descendant, even
though the descendant has the same conversion procedure.

1
2 class TEST2
3
4 create
5 default_create, make, make_from_boolean
6
7 convert
8 make_from_boolean ({BOOLEAN})
9
10 feature
11
12 make
13 local
14 x: like Current
15 do
16 create x
17 x := True
18 end
19
20 make_from_boolean (b: BOOLEAN)
21 do
22 end
23
24 end
25

Properties

Name Value
svn:eol-style native
svn:keywords Author Date ID Revision

  ViewVC Help
Powered by ViewVC 1.1.23