/[eiffelstudio]/trunk/eweasel/tests/final111/test4.e
ViewVC logotype

Contents of /trunk/eweasel/tests/final111/test4.e

Parent Directory Parent Directory | Revision Log Revision Log


Revision 101165 - (show annotations)
Sun Dec 17 18:34:36 2017 UTC (21 months ago) by alexk
File size: 134 byte(s)
Added class postconditions to features used in non-object calls.
1 class TEST4
2
3 feature
4
5 turkey: INTEGER
6 external "C inline"
7 alias "[
8 return 29;
9 ]"
10 ensure
11 is_clasS: class
12 end
13
14 end

Properties

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

  ViewVC Help
Powered by ViewVC 1.1.23