File: example5.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 (80 lines) | stat: -rw-r--r-- 1,670 bytes parent folder | download | duplicates (2)
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
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
class EXAMPLE5
   --
   -- Using the NUMBER_TOOLS parser.
   --

creation make

feature {NONE}

   parser_buffer: MINI_PARSER_BUFFER

   make is
      local
	  stop: BOOLEAN; formula: STRING; number_tools: NUMBER_TOOLS
      do
	 parser_buffer := number_tools.parser_buffer
	 from until stop
	 loop
	    io.put_string(once "[
                Type Q to quit or ...
                Enter your NUMBER formula on a single line:

		                ]")
	    io.read_line
	    formula := io.last_string.twin
	    if formula.is_empty then
	       stop := True
	    else
	       if formula.count = 1 then
		  inspect
		     formula.first
		  when 'Q', 'q' then
		     stop := True
		  else
		  end
	       end
	       if not stop then
		  parsing_of(formula)
	       end
	    end
	 end
	 io.put_string("Bye.%N")
      end
   
   parsing_of(formula: STRING) is
      local
	 number_tools: NUMBER_TOOLS; number: NUMBER; i: INTEGER
      do
	 if number_tools.is_number(formula) then
	    number := number_tools.from_string(formula)
	    if number /= Void then
	       io.put_string(once "=%N")
	       io.put_number(number)
	       io.put_character('%N')
	    else
	       io.put_string(once "Error: ")
	       io.put_string(parser_buffer.last_error)
	       io.put_character('%N')
	    end
	 else
	    io.put_string(once "Syntax error: ")
	    io.put_string(parser_buffer.last_error)
	    io.put_character('%N')
	    io.put_string(formula)
	    io.put_character('%N')
	    from
	       i := 1
	    until
	       i = parser_buffer.current_index
	    loop
	       io.put_character(' ')
	       i := i + 1
	    end
	    io.put_string(once "^%N")
	 end
      end
   
end -- EXAMPLE5