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

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

Parent Directory Parent Directory | Revision Log Revision Log


Revision 101165 - (show annotations)
Sun Dec 17 18:34:36 2017 UTC (2 years, 1 month ago) by alexk
File size: 259 byte(s)
Added class postconditions to features used in non-object calls.
1 class
2 TEST
3
4 create
5 make
6
7 feature {NONE} -- Initialization
8
9 make is
10 local
11 b: BOOLEAN
12 do
13 b := {TEST}.test = "string"
14 end
15
16 feature -- Externals
17
18 test: INTEGER
19 external
20 "C inline"
21 alias
22 "return 1"
23 ensure
24 is_class: class
25 end
26
27 end

Properties

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

  ViewVC Help
Powered by ViewVC 1.1.23