tests/exec145/a.e


--| Copyright (c) 1993-2006 University of Southern California and contributors.
--| All rights reserved.
--| Your use of this work is governed under the terms of the GNU General
--| Public License version 2.

class A

create
        make, default_create

feature
        make is
                do
                        if once_value /= Void then
                                print ("Not Void")
                        else
                                print ("Void")
                        end
                        io.new_line
                end

feature
        once_value: A is
                once
                        create Result.make
                end

end
1
2	--\| Copyright (c) 1993-2006 University of Southern California and contributors.
3	--\| All rights reserved.
4	--\| Your use of this work is governed under the terms of the GNU General
5	--\| Public License version 2.
6
7	class A
8
9	create
10	make, default_create
11
12	feature
13	make is
14	do
15	if once_value /= Void then
16	print ("Not Void")
17	else
18	print ("Void")
19	end
20	io.new_line
21	end
22
23	feature
24	once_value: A is
25	once
26	create Result.make
27	end
28
29	end
Name	Value
svn:eol-style	native
svn:keywords	Author Date Id Revision