/[eiffelstudio]/FreeELKS/trunk/library/kernel/natural_32_ref.e
ViewVC logotype

Diff of /FreeELKS/trunk/library/kernel/natural_32_ref.e

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 91476 by ericb, Tue Jan 10 13:22:04 2006 UTC revision 91477 by ericb, Sun Jan 14 09:47:13 2007 UTC
# Line 72  feature -- Access Line 72  feature -- Access
72          ascii_char: CHARACTER is          ascii_char: CHARACTER is
73                          -- Returns corresponding ASCII character to `item' value.                          -- Returns corresponding ASCII character to `item' value.
74                  obsolete                  obsolete
75                          "Use to_character instead"                          "Use to_character_8 instead"
76                  require                  require
77                          valid_character_code: is_valid_character_code                          valid_character_code: is_valid_character_8_code
78                  do                  do
79                          Result := item.to_character                          Result := item.to_character_8
80                  end                  end
81    
82          Min_value: NATURAL_32 is 0          Min_value: NATURAL_32 is 0
# Line 110  feature -- Element change Line 110  feature -- Element change
110    
111  feature -- Status report  feature -- Status report
112    
113          divisible (other: NATURAL_32_REF): BOOLEAN is          divisible (other: like Current): BOOLEAN is
114                          -- May current object be divided by `other'?                          -- May current object be divided by `other'?
115                  do                  do
116                          Result := other.item /= 0                          Result := other.item /= 0
# Line 148  feature -- Status report Line 148  feature -- Status report
148                  end                  end
149    
150          is_valid_character_code: BOOLEAN is          is_valid_character_code: BOOLEAN is
151                          -- Does current object represent a character?                          -- Does current object represent a CHARACTER_8?
152                    obsolete
153                            "Use `is_valid_character_8_code' instead."
154                    do
155                            Result := is_valid_character_8_code
156                    end
157    
158            is_valid_character_8_code: BOOLEAN is
159                            -- Does current object represent a CHARACTER_8?
160                  do                  do
161                          Result := item >= {CHARACTER}.Min_value.to_natural_32 and                          Result := item >= {CHARACTER_8}.Min_value.to_natural_32 and
162                                  item <= {CHARACTER}.Max_value.to_natural_32                                  item <= {CHARACTER_8}.Max_value.to_natural_32
163                    end
164    
165            is_valid_character_32_code: BOOLEAN is
166                            -- Does current object represent a CHARACTER_32?
167                    do
168                            Result := item >= {CHARACTER_32}.Min_value and
169                                    item <= {CHARACTER_32}.Max_value
170                  end                  end
171    
172  feature -- Basic operations  feature -- Basic operations
# Line 271  feature -- Conversion Line 286  feature -- Conversion
286                  do                  do
287                          Result := item.as_natural_32                          Result := item.as_natural_32
288                  end                  end
289            
290          as_natural_64: NATURAL_64 is          as_natural_64: NATURAL_64 is
291                          -- Convert `item' into an NATURAL_64 value.                          -- Convert `item' into an NATURAL_64 value.
292                  do                  do
# Line 283  feature -- Conversion Line 298  feature -- Conversion
298                  do                  do
299                          Result := item.as_integer_8                          Result := item.as_integer_8
300                  end                  end
301                    
302          as_integer_16: INTEGER_16 is          as_integer_16: INTEGER_16 is
303                          -- Convert `item' into an INTEGER_16 value.                          -- Convert `item' into an INTEGER_16 value.
304                  do                  do
# Line 323  feature -- Conversion Line 338  feature -- Conversion
338                  do                  do
339                          Result := item                          Result := item
340                  end                  end
341            
342          frozen to_natural_64: NATURAL_64 is          frozen to_natural_64: NATURAL_64 is
343                          -- Convert `item' into an NATURAL_64 value.                          -- Convert `item' into an NATURAL_64 value.
344                  do                  do
# Line 353  feature -- Conversion Line 368  feature -- Conversion
368                  do                  do
369                          Result := as_integer_32                          Result := as_integer_32
370                  end                  end
371            
372          frozen to_integer_64: INTEGER_64 is          frozen to_integer_64: INTEGER_64 is
373                          -- Convert `item' into an INTEGER_64 value.                          -- Convert `item' into an INTEGER_64 value.
374                  do                  do
# Line 388  feature -- Conversion Line 403  feature -- Conversion
403                          loop                          loop
404                                  a_digit := (val & 0xF)                                  a_digit := (val & 0xF)
405                                  Result.put (a_digit.to_hex_character, i)                                  Result.put (a_digit.to_hex_character, i)
406                                  val := val |>> 4                                  val := val |>> 4
407                                  i := i - 1                                  i := i - 1
408                          end                          end
409                  ensure                  ensure
# Line 405  feature -- Conversion Line 420  feature -- Conversion
420                  do                  do
421                          tmp := item.to_integer_32                          tmp := item.to_integer_32
422                          if tmp <= 9 then                          if tmp <= 9 then
423                                  Result := (tmp + ('0').code).to_character                                  Result := (tmp + ('0').code).to_character_8
424                          else                          else
425                                  Result := (('A').code + (tmp - 10)).to_character                                  Result := (('A').code + (tmp - 10)).to_character_8
426                          end                          end
427                  ensure                  ensure
428                          valid_character: ("0123456789ABCDEF").has (Result)                          valid_character: ("0123456789ABCDEF").has (Result)
# Line 415  feature -- Conversion Line 430  feature -- Conversion
430    
431          to_character: CHARACTER is          to_character: CHARACTER is
432                          -- Returns corresponding ASCII character to `item' value.                          -- Returns corresponding ASCII character to `item' value.
433                    obsolete
434                            "Use `to_character_8' instead."
435                    require
436                            valid_character: is_valid_character_8_code
437                    do
438                            Result := item.to_character_8
439                    end
440    
441            to_character_8: CHARACTER_8 is
442                            -- Returns corresponding ASCII character to `item' value.
443                    require
444                            valid_character: is_valid_character_8_code
445                    do
446                            Result := item.to_character_8
447                    end
448    
449            to_character_32: CHARACTER_32 is
450                            -- Returns corresponding CHARACTER_32 to `item' value.
451                  require                  require
452                          valid_character: is_valid_character_code                          valid_character: is_valid_character_32_code
453                  do                  do
454                          Result := item.to_character                          Result := item.to_character_32
455                  end                  end
456    
457  feature -- Bit operations  feature -- Bit operations

Legend:
Removed from v.91476  
changed lines
  Added in v.91477

  ViewVC Help
Powered by ViewVC 1.1.23