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

Diff of /FreeELKS/trunk/library/kernel/natural_16_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 71  feature -- Access Line 71  feature -- Access
71          ascii_char: CHARACTER is          ascii_char: CHARACTER is
72                          -- Returns corresponding ASCII character to `item' value.                          -- Returns corresponding ASCII character to `item' value.
73                  obsolete                  obsolete
74                          "Use to_character instead"                          "Use `to_character_8' instead"
75                  require                  require
76                          valid_character_code: is_valid_character_code                          valid_character_code: is_valid_character_8_code
77                  do                  do
78                          Result := item.to_character                          Result := item.to_character_8
79                  end                  end
80    
81          Min_value: NATURAL_16 is 0          Min_value: NATURAL_16 is 0
# Line 109  feature -- Element change Line 109  feature -- Element change
109    
110  feature -- Status report  feature -- Status report
111    
112          divisible (other: NATURAL_16_REF): BOOLEAN is          divisible (other: like Current): BOOLEAN is
113                          -- May current object be divided by `other'?                          -- May current object be divided by `other'?
114                  do                  do
115                          Result := other.item /= 0                          Result := other.item /= 0
# Line 147  feature -- Status report Line 147  feature -- Status report
147                  end                  end
148    
149          is_valid_character_code: BOOLEAN is          is_valid_character_code: BOOLEAN is
150                            -- Does current object represent a CHARACTER_8?
151                    obsolete
152                            "Use `is_valid_character_8_code' instead."
153                    do
154                            Result := is_valid_character_8_code
155                    end
156    
157            is_valid_character_8_code: BOOLEAN is
158                            -- Does current object represent a CHARACTER_8?
159                    do
160                            Result := item >= {CHARACTER_8}.Min_value.to_natural_32 and
161                                    item <= {CHARACTER_8}.Max_value.to_natural_32
162                    end
163    
164            is_valid_character_32_code: BOOLEAN is
165                          -- Does current object represent a character?                          -- Does current object represent a character?
166                  do                  do
167                          Result := item >= {CHARACTER}.Min_value.to_natural_16 and                          Result := item >= {CHARACTER_32}.Min_value and
168                                  item <= {CHARACTER}.Max_value.to_natural_16                                  item <= {CHARACTER_32}.Max_value
169                  end                  end
170    
171  feature -- Basic operations  feature -- Basic operations
# Line 277  feature -- Conversion Line 292  feature -- Conversion
292                  do                  do
293                          Result := item.as_natural_32                          Result := item.as_natural_32
294                  end                  end
295            
296          as_natural_64: NATURAL_64 is          as_natural_64: NATURAL_64 is
297                          -- Convert `item' into an NATURAL_64 value.                          -- Convert `item' into an NATURAL_64 value.
298                  do                  do
# Line 289  feature -- Conversion Line 304  feature -- Conversion
304                  do                  do
305                          Result := item.as_integer_8                          Result := item.as_integer_8
306                  end                  end
307                    
308          as_integer_16: INTEGER_16 is          as_integer_16: INTEGER_16 is
309                          -- Convert `item' into an INTEGER_16 value.                          -- Convert `item' into an INTEGER_16 value.
310                  do                  do
# Line 390  feature -- Conversion Line 405  feature -- Conversion
405                          loop                          loop
406                                  a_digit := (val & 0xF)                                  a_digit := (val & 0xF)
407                                  Result.put (a_digit.to_hex_character, i)                                  Result.put (a_digit.to_hex_character, i)
408                                  val := val |>> 4                                  val := val |>> 4
409                                  i := i - 1                                  i := i - 1
410                          end                          end
411                  ensure                  ensure
# Line 407  feature -- Conversion Line 422  feature -- Conversion
422                  do                  do
423                          tmp := item.to_integer_32                          tmp := item.to_integer_32
424                          if tmp <= 9 then                          if tmp <= 9 then
425                                  Result := (tmp + ('0').code).to_character                                  Result := (tmp + ('0').code).to_character_8
426                          else                          else
427                                  Result := (('A').code + (tmp - 10)).to_character                                  Result := (('A').code + (tmp - 10)).to_character_8
428                          end                          end
429                  ensure                  ensure
430                          valid_character: ("0123456789ABCDEF").has (Result)                          valid_character: ("0123456789ABCDEF").has (Result)
# Line 417  feature -- Conversion Line 432  feature -- Conversion
432    
433          to_character: CHARACTER is          to_character: CHARACTER is
434                          -- Returns corresponding ASCII character to `item' value.                          -- Returns corresponding ASCII character to `item' value.
435                    obsolete
436                            "Use `to_character_8' instead."
437                    require
438                            valid_character: is_valid_character_8_code
439                    do
440                            Result := item.to_character_8
441                    end
442    
443            to_character_8: CHARACTER_8 is
444                            -- Associated character in 8 bit version.
445                    require
446                            valid_character: is_valid_character_8_code
447                    do
448                            Result := item.to_character_8
449                    end
450    
451            to_character_32: CHARACTER_32 is
452                            -- Associated character in 32 bit version.
453                  require                  require
454                          valid_character: is_valid_character_code                          valid_character: is_valid_character_32_code
455                  do                  do
456                          Result := item.to_character                          Result := item.to_character_32
457                  end                  end
458    
459  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