home *** CD-ROM | disk | FTP | other *** search
Text File | 1996-06-13 | 761 b | 48 lines | [TEXT/EDIT] |
- -- Part of SmallEiffel -- Read DISCLAIMER file -- Copyright (C)
- -- Dominique COLNET and Suzanne COLLIN -- colnet@loria.fr
- --
- class TEST_NONE1
-
- creation make
-
- feature
-
- make is
- do
- dummy := 1;
- is_true(foo = Void);
- is_true(bar(foo) = foo);
- end;
-
- feature {NONE}
-
- dummy: INTEGER;
-
- foo: NONE is
- do
- if dummy = 1 then
- Result := Void;
- end;
- end;
-
- bar(arg: NONE): NONE is
- do
- Result := arg;
- end;
-
- is_true(b: BOOLEAN) is
- do
- cpt := cpt + 1;
- if not b then
- std_output.put_string("TEST_NONE1: ERROR Test # ");
- std_output.put_integer(cpt);
- std_output.put_string("%N");
- else
- --std_output.put_string("Yes%N");
- end;
- end;
-
- cpt: INTEGER;
-
- end -- TEST_NONE1
-