File: example3.e

package info (click to toggle)
smarteiffel 1.1-11
  • links: PTS
  • area: main
  • in suites: etch, etch-m68k
  • size: 12,288 kB
  • ctags: 40,785
  • sloc: ansic: 35,791; lisp: 4,036; sh: 1,783; java: 895; ruby: 613; python: 209; makefile: 115; csh: 78; cpp: 50
file content (44 lines) | stat: -rw-r--r-- 1,123 bytes parent folder | download | duplicates (3)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
class EXAMPLE3

creation make

feature

   make is
      local
         rand: GEN_RAND;
         seed, count: INTEGER;
      do
         if argument_count < 2 then
            io.put_string("Usage: ");
	    io.put_string(argument(0));
	    io.put_string(" <seed> <count> [min_stand|std_rand]%N");
	    die_with_code(exit_failure_code);
         end;
         seed := argument(1).to_integer;
         count := argument(2).to_integer;
         if argument_count > 2 then
            if argument(3).same_as("MIN_STAND") then
               !MIN_STAND!rand.with_seed(seed);
               io.put_string("Using MIN_STAND.%N");
            else
               !STD_RAND!rand.with_seed(seed);
               io.put_string("Using STD_RAND.%N");
            end;
         else
            !STD_RAND!rand.with_seed(seed);
            io.put_string("Using default STD_RAND.%N");
         end;
         from
         until
            count = 0
         loop
            rand.next;
            io.put_double(rand.last_double);
            count := count - 1;
            io.put_string("%N");
         end;
      end;

end -- EXAMPLE3