File: hexadecimal.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 (82 lines) | stat: -rw-r--r-- 1,877 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
81
82
class HEXADECIMAL
--
-- Here is an example of the hexadecimal notation to denote INTEGER_8, 
-- INTEGER_16, INTEGER_32, and INTEGER_64.
-- A similar hexadecimal notation is also possible to denote CHARACTER
-- and content of STRINGs.
--

   
creation hexadecimal_documentation
   --
   -- Actually, the notation is similar to the one used in C or in
   -- Java for example.
   --
   -- Just follow step-by-step the execution of this class. Compile 
   -- with:
   --          compile -sedb hexadecimal
   --
   
feature

   hexadecimal_documentation is
      local
	 int8: INTEGER_8; int16: INTEGER_16
	 int32: INTEGER_32; int64: INTEGER_64
      do
	 -- A 2 hexadecimal digit denote an INTEGER_8.
	 -- Setting all bits of an INTEGER_8 is achieved with:
	 int8 := 0xFF

	 -- A 4 hexadecimal digit denote an INTEGER_16.
	 -- As an example, the greater positive value for an
	 -- INTEGER_16 is:
	 int16 := 0x7FFF
	 check
	    int16 = 32767
	 end
	 
	 -- A 8 hexadecimal digit denote an INTEGER_32.
	 -- As an example, the smallest negative value for an
	 -- INTEGER_32 is:
	 int32 := 0x80000000
	 check
	    int32 = -2147483648
	 end

	 -- A 16 hexadecimal digit denote an INTEGER_64.
	 -- The `Maximum_integer_64':
	 int64 := 0x7FFFFFFFFFFFFFFF
	 check
	    int64 = 9223372036854775807
	 end
	 -- The `Minimum_integer_64':
	 int64 := 0x8000000000000000
	 check
	    int64 = -9223372036854775808
	 end

	 -- Hexadecimal notation can also be applied to denote
	 -- CHARACTERs:
	 character := '%/0x41/'
	 check
	    character = 'A'
	 end
	 -- The good old decimal notation is still accepted:
	 character := '%/65/'
	 check
	    character = 'A'
	 end


	 -- Hexadecimal can also be used inside STRINGs as well:
	 string := "One %/0x43414645/ pl%/0x65/ase"
	 sedb_breakpoint -- Use the -sedb option to view the string !
      end

   character: CHARACTER

   string: STRING
   
end