File: example1.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 (31 lines) | stat: -rw-r--r-- 655 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
class EXAMPLE1
--
-- For more information about unicode see first:
--     http://www.unicode.org
--

creation make

feature

   make is
      local
	 unicode_string: UNICODE_STRING
      do
	 unicode_string := U"The EURO sign is %/Ux20AC/!%N"

	 -- If you are running this example on a UTF-8 compatible 
	 -- terminal, you should now see the EURO sign:
	 io.put_string(unicode_string.to_utf8)

	 -- Actually, to make it easier, we have also added a new 
	 -- feature in the OUTPUT_STREAM class to get the same output:
	 io.put_unicode_string(unicode_string)

	 -- For those who like that, you may as well do:
	 print(unicode_string)
	 
      end

end