/[eiffelstudio]/trunk/eweasel/tests/valid269/test.e
ViewVC logotype

Contents of /trunk/eweasel/tests/valid269/test.e

Parent Directory Parent Directory | Revision Log Revision Log


Revision 85262 - (show annotations)
Wed Jan 5 18:25:47 2011 UTC (9 years ago) by dhollen
File size: 86 byte(s)
Added test valid269 for bug #17259, where a root creation procedure with
precondition `require else False' should be a VSRP(3) error since routine is
not a redeclaration.

1
2 class TEST
3 create
4 make
5 feature
6 make
7 require else
8 valid: False
9 do
10 end
11
12 end

Properties

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

  ViewVC Help
Powered by ViewVC 1.1.23