tests/incr124/test.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 TEST
inherit
        $PARENTS
        SHARED
creation
        make
feature
        make is
                do
                        Current.weasel;
                end
        
        weasel is
                do
                ensure then
                        post1: show ("Postcondition 1");
                        post2: show ("Postcondition 2");
                        post3: show ("Postcondition 3");
                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 TEST
8	inherit
9	$PARENTS
10	SHARED
11	creation
12	make
13	feature
14	make is
15	do
16	Current.weasel;
17	end
18
19	weasel is
20	do
21	ensure then
22	post1: show ("Postcondition 1");
23	post2: show ("Postcondition 2");
24	post3: show ("Postcondition 3");
25	end
26
27	end
Name	Value
svn:eol-style	native
svn:keywords	Author Date Id Revision