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

Contents of /trunk/eweasel/tests/valid246/tcf

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: 382 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 test_name inherited-conversion-to-like-current
3 test_description An assignment to an entity of type "like Current" that is valid because of a conversion procedure is rejected in the descendant as a VJAR violation, though it seems to be valid.
4
5 copy_sub Ace $TEST Ace
6 copy_raw test.e $CLUSTER test.e
7 copy_raw test2.e $CLUSTER test2.e
8
9 compile_melted
10 compile_result ok
11
12 test_end

Properties

Name Value
svn:eol-style native

  ViewVC Help
Powered by ViewVC 1.1.23