tests/valid173/test.e

class TEST

create
        make

feature {NONE} -- Creation

        make is
                        -- Run tests.
                local
                        p: PROCEDURE [TEST, TUPLE [TEST, INTEGER]]
                do
                        p := agent ?.f
                        p := agent {TEST}.f
                end

feature -- Settings

        f (i: INTEGER) is
                do
                end

end
1	class TEST
2
3	create
4	make
5
6	feature {NONE} -- Creation
7
8	make is
9	-- Run tests.
10	local
11	p: PROCEDURE [TEST, TUPLE [TEST, INTEGER]]
12	do
13	p := agent ?.f
14	p := agent {TEST}.f
15	end
16
17	feature -- Settings
18
19	f (i: INTEGER) is
20	do
21	end
22
23	end
Name	Value
svn:eol-style	native
svn:keywords	Author Date Id Revision