tests/incr124/test2.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.

deferred class TEST2
inherit
        SHARED
feature
        weasel is
                deferred
                ensure
                        parent_post4: show ("Postcondition 7");
                        parent_post5: show ("Postcondition 8");
                        parent_post6: show ("Postcondition 9");
                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	deferred class TEST2
8	inherit
9	SHARED
10	feature
11	weasel is
12	deferred
13	ensure
14	parent_post4: show ("Postcondition 7");
15	parent_post5: show ("Postcondition 8");
16	parent_post6: show ("Postcondition 9");
17	end
18	end
Name	Value
svn:eol-style	native
svn:keywords	Author Date Id Revision