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

Contents of /trunk/eweasel/tests/exec313/test2.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: 180 byte(s)
Added class postconditions to features used in non-object calls.
1
2 class TEST2
3
4 feature
5
6 try
7 do
8 print ({like Current}.value);
9 io.new_line
10 end
11
12 value: INTEGER
13 external "C inline"
14 alias "29"
15 ensure
16 is_class: class
17 end
18
19 end

Properties

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

  ViewVC Help
Powered by ViewVC 1.1.23