-- This file is free software, which comes along with SmallEiffel. This -- software is distributed in the hope that it will be useful, but WITHOUT -- ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or -- FITNESS FOR A PARTICULAR PURPOSE. You can modify it as you want, provided -- this header is kept unaltered, and a notification of the changes is added. -- You are allowed to redistribute it and sell it, alone or as a part of -- another product. -- Copyright (C) 1994-98 LORIA - UHP - CRIN - INRIA - FRANCE -- Dominique COLNET and Suzanne COLLIN - colnet@loria.fr -- http://www.loria.fr/SmallEiffel -- expanded class CHARACTER -- -- Note: An Eiffel CHARACTER is mapped as a C char or as a Java Byte. -- inherit CHARACTER_REF redefine infix "<", infix "<=", infix ">", infix ">=", compare, code, to_lower, to_upper, out_in_tagged_out_memory, fill_tagged_out_memory, hash_code end; feature to_integer: INTEGER is -- Sign-extended conversion. external "SmallEiffel" end; code: INTEGER is -- ASCII code of Current. -- No Sign-extended conversion. external "SmallEiffel" ensure Result >= 0 end; infix "<" (other: CHARACTER): BOOLEAN is -- Comparison using `code'. do Result := code < other.code; end; infix "<="(other: CHARACTER): BOOLEAN is -- Comparison using `code'. do Result := code <= other.code; end; infix ">"(other: CHARACTER): BOOLEAN is -- Comparison using `code'. do Result := code > other.code; end; infix ">="(other: CHARACTER): BOOLEAN is -- Comparison using `code'. do Result := code >= other.code; end; compare (other: CHARACTER): INTEGER is do Result := code - other.code end; value: INTEGER is -- Gives the value of a digit. require is_digit do Result := code - 48; ensure 0 <= Result and Result <= 9; definition: Result = code - 48; end; -- value same_as(other: CHARACTER): BOOLEAN is -- Case insensitive comparison. -- No difference between upper/lower case letters. do if Current = other then Result := true; else inspect code when 65 .. 90 then Result := code = other.code - 32; when 97 .. 122 then Result := code = other.code + 32; else end; end; ensure Result implies to_lower = other or to_upper = other; end ; to_upper: CHARACTER is -- Conversion to the corresponding upper case. do if code < 97 then Result := Current; elseif code > 122 then Result := Current; else Result := (code - 32).to_character; end; end; to_lower: CHARACTER is -- Conversion to the corresponding lower case. do if code < 65 then Result := Current; elseif code > 90 then Result := Current; else Result := (code + 32).to_character; end; end; is_letter: BOOLEAN is do inspect Current when 'A'..'Z','a'..'z' then Result := true; else end; ensure Result = ('A' <= Current and Current <= 'Z') or ('a' <= Current and Current <= 'z'); end; is_digit: BOOLEAN is -- Belongs to '0'..'9'. do inspect Current when '0'..'9' then Result := true; else end; ensure Result implies ('0' <= Current and Current <= '9'); end; is_lower: BOOLEAN is -- Is `item' lowercase? do inspect Current when 'a'..'z' then Result := true; else end; end; is_upper: BOOLEAN is -- Is `item' uppercase? do inspect Current when 'A'..'Z' then Result := true; else end; end; is_separator: BOOLEAN is -- True when character is a separator. do inspect Current when ' ','%T','%N','%R','%U' then Result := true; else end; end; is_letter_or_digit: BOOLEAN is -- Is character a letter or digit ? do Result := is_letter or is_digit; ensure valid: Result = (is_letter or is_digit); end; is_hex_digit: BOOLEAN is -- Is character one of "0123456789abcdefABCDEF" ? do if is_digit then Result := true; elseif Current >= 'a' then Result := Current <= 'f'; elseif Current >= 'A' then Result := Current <= 'F'; end; ensure Result = ("0123456789abcdefABCDEF").has(Current) end; is_ascii: BOOLEAN is -- Is character a 8-bit ASCII character? do inspect Current when '%U'..'%/255/' then Result := true; else end; end; is_bit: BOOLEAN is -- True for `0' and `1'. do inspect Current when '0','1' then Result := true; else end; end; next: CHARACTER is -- Give the next character (the following `code'); do Result := (code + 1).to_character; end; previous: CHARACTER is -- Give the next character (the following `code'); require code > 0 do Result := (code - 1).to_character; end; feature -- Conversions : to_bit: BIT Character_bits is external "SmallEiffel" end; to_octal: INTEGER is do Result := code.to_octal; end; to_hexadecimal: STRING is -- Create a new STRING giving the `code' in hexadecimal. -- For example : -- (255).to_character.to_hexadecimal gives "FF". -- Note: see `to_hexadecimal_in' to save memory. do !!Result.make(2); to_hexadecimal_in(Result); ensure Result.count = 2 end; to_hexadecimal_in(str: STRING) is -- Append the equivalent of `to_hexadecimal' at the end of -- `str'. Thus you can save memory because no other -- STRING is allocate for the job. local c: CHARACTER; do c := ((to_bit and 11110000B) @>> 4).to_character; inspect c.code when 0 .. 9 then str.extend((('0').code + c.code).to_character); else str.extend(((('A').code - 10) + c.code).to_character); end; c := (to_bit and 00001111B).to_character; inspect c.code when 0 .. 9 then str.extend((('0').code + c.code).to_character); else str.extend(((('A').code - 10) + c.code).to_character); end; ensure str.count = 2 + old str.count end; feature -- Object Printing : out_in_tagged_out_memory, fill_tagged_out_memory is do tagged_out_memory.extend(Current); end; feature -- Hashing : hash_code: INTEGER is do Result := code; end; end -- CHARACTER