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

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

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

revision 91476 by ericb, Thu Feb 9 11:21:18 2006 UTC revision 91477 by ericb, Sun Jan 14 09:47:13 2007 UTC
# Line 70  feature -- Access Line 70  feature -- Access
70          ascii_char: CHARACTER is          ascii_char: CHARACTER is
71                          -- Returns corresponding ASCII character to `item' value.                          -- Returns corresponding ASCII character to `item' value.
72                  obsolete                  obsolete
73                          "Use to_character instead"                          "Use to_character_8 instead"
74                  require                  require
75                          valid_character_code: is_valid_character_code                          valid_character_code: is_valid_character_8_code
76                  do                  do
77                          Result := item.to_character                          Result := item.to_character_8
78                  end                  end
79    
80          Min_value: INTEGER_16 is -32768          Min_value: INTEGER_16 is -32768
# Line 108  feature -- Element change Line 108  feature -- Element change
108    
109  feature -- Status report  feature -- Status report
110    
111          divisible (other: INTEGER_16_REF): BOOLEAN is          divisible (other: like Current): BOOLEAN is
112                          -- May current object be divided by `other'?                          -- May current object be divided by `other'?
113                  do                  do
114                          Result := other.item /= 0                          Result := other.item /= 0
# Line 146  feature -- Status report Line 146  feature -- Status report
146                  end                  end
147    
148          is_valid_character_code: BOOLEAN is          is_valid_character_code: BOOLEAN is
149                            -- Does current object represent a CHARACTER_8?
150                    obsolete
151                            "Use `is_valid_character_8_code' instead."
152                    do
153                            Result := is_valid_character_8_code
154                    end
155    
156            is_valid_character_8_code: BOOLEAN is
157                            -- Does current object represent a CHARACTER_8?
158                    do
159                            Result := item >= {CHARACTER_8}.Min_value and
160                                    item <= {CHARACTER_8}.Max_value
161                    end
162    
163            is_valid_character_32_code: BOOLEAN is
164                          -- Does current object represent a character?                          -- Does current object represent a character?
165                  do                  do
166                          Result := item >= {CHARACTER}.Min_value and item <= {CHARACTER}.Max_value                          Result := item >= 0 and then
167                                    item.to_natural_32 >= {CHARACTER_32}.Min_value and
168                                    item.to_natural_32 <= {CHARACTER_32}.Max_value
169                  end                  end
170    
171  feature -- Basic operations  feature -- Basic operations
# Line 284  feature -- Conversion Line 301  feature -- Conversion
301                  do                  do
302                          Result := item.as_natural_32                          Result := item.as_natural_32
303                  end                  end
304            
305          as_natural_64: NATURAL_64 is          as_natural_64: NATURAL_64 is
306                          -- Convert `item' into an NATURAL_64 value.                          -- Convert `item' into an NATURAL_64 value.
307                  do                  do
# Line 296  feature -- Conversion Line 313  feature -- Conversion
313                  do                  do
314                          Result := item.as_integer_8                          Result := item.as_integer_8
315                  end                  end
316                    
317          as_integer_16: INTEGER_16 is          as_integer_16: INTEGER_16 is
318                          -- Convert `item' into an INTEGER_16 value.                          -- Convert `item' into an INTEGER_16 value.
319                  do                  do
# Line 339  feature -- Conversion Line 356  feature -- Conversion
356                  do                  do
357                          Result := as_natural_32                          Result := as_natural_32
358                  end                  end
359            
360          frozen to_natural_64: NATURAL_64 is          frozen to_natural_64: NATURAL_64 is
361                          -- Convert `item' into an NATURAL_64 value.                          -- Convert `item' into an NATURAL_64 value.
362                  require                  require
# Line 368  feature -- Conversion Line 385  feature -- Conversion
385                  do                  do
386                          Result := item                          Result := item
387                  end                  end
388                    
389          frozen to_integer_64: INTEGER_64 is          frozen to_integer_64: INTEGER_64 is
390                          -- Convert `item' into an INTEGER_64 value.                          -- Convert `item' into an INTEGER_64 value.
391                  do                  do
# Line 403  feature -- Conversion Line 420  feature -- Conversion
420                          loop                          loop
421                                  a_digit := (val & 0xF)                                  a_digit := (val & 0xF)
422                                  Result.put (a_digit.to_hex_character, i)                                  Result.put (a_digit.to_hex_character, i)
423                                  val := val |>> 4                                  val := val |>> 4
424                                  i := i - 1                                  i := i - 1
425                          end                          end
426                  ensure                  ensure
# Line 420  feature -- Conversion Line 437  feature -- Conversion
437                  do                  do
438                          tmp := item                          tmp := item
439                          if tmp <= 9 then                          if tmp <= 9 then
440                                  Result := (tmp + ('0').code).to_character                                  Result := (tmp + ('0').code).to_character_8
441                          else                          else
442                                  Result := (('A').code + (tmp - 10)).to_character                                  Result := (('A').code + (tmp - 10)).to_character_8
443                          end                          end
444                  ensure                  ensure
445                          valid_character: ("0123456789ABCDEF").has (Result)                          valid_character: ("0123456789ABCDEF").has (Result)
# Line 430  feature -- Conversion Line 447  feature -- Conversion
447    
448          to_character: CHARACTER is          to_character: CHARACTER is
449                          -- Returns corresponding ASCII character to `item' value.                          -- Returns corresponding ASCII character to `item' value.
450                    obsolete
451                            "Use `to_character_8' instead."
452                    require
453                            valid_character: is_valid_character_8_code
454                    do
455                            Result := item.to_character_8
456                    end
457    
458            to_character_8: CHARACTER_8 is
459                            -- Associated character in 8 bit version.
460                  require                  require
461                          valid_character: is_valid_character_code                          valid_character: is_valid_character_8_code
462                  do                  do
463                          Result := item.to_character                          Result := item.to_character_8
464                    end
465    
466            to_character_32: CHARACTER_32 is
467                            -- Associated character in 32 bit version.
468                    require
469                            valid_character: is_valid_character_32_code
470                    do
471                            Result := item.to_character_32
472                  end                  end
473    
474  feature -- Bit operations  feature -- Bit operations
# Line 511  feature -- Bit operations Line 546  feature -- Bit operations
546                                  Result := bit_shift_right (n)                                  Result := bit_shift_right (n)
547                          else                          else
548                                  Result := bit_shift_left (- n)                                  Result := bit_shift_left (- n)
549                          end                              end
550                  end                  end
551    
552          bit_shift_left (n: INTEGER): like Current is          bit_shift_left (n: INTEGER): like Current is

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

  ViewVC Help
Powered by ViewVC 1.1.23