class interface UT_CHARACTER_CODES
feature(s) from UT_CHARACTER_CODES
   --  Access
   Lower_a_code: INTEGER
      --  'a'
   Lower_b_code: INTEGER
      --  'b'
   Lower_c_code: INTEGER
      --  'c'
   Lower_d_code: INTEGER
      --  'd'
   Lower_e_code: INTEGER
      --  'e'
   Lower_f_code: INTEGER
      --  'f'
   Lower_g_code: INTEGER
      --  'g'
   Lower_h_code: INTEGER
      --  'h'
   Lower_i_code: INTEGER
      --  'i'
   Lower_j_code: INTEGER
      --  'j'
   Lower_k_code: INTEGER
      --  'k'
   Lower_l_code: INTEGER
      --  'l'
   Lower_m_code: INTEGER
      --  'm'
   Lower_n_code: INTEGER
      --  'n'
   Lower_o_code: INTEGER
      --  'o'
   Lower_p_code: INTEGER
      --  'p'
   Lower_q_code: INTEGER
      --  'q'
   Lower_r_code: INTEGER
      --  'r'
   Lower_s_code: INTEGER
      --  's'
   Lower_t_code: INTEGER
      --  't'
   Lower_u_code: INTEGER
      --  'u'
   Lower_v_code: INTEGER
      --  'v'
   Lower_w_code: INTEGER
      --  'w'
   Lower_x_code: INTEGER
      --  'x'
   Lower_y_code: INTEGER
      --  'y'
   Lower_z_code: INTEGER
      --  'z'
   Upper_a_code: INTEGER
      --  'A'
   Upper_b_code: INTEGER
      --  'B'
   Upper_c_code: INTEGER
      --  'C'
   Upper_d_code: INTEGER
      --  'D'
   Upper_e_code: INTEGER
      --  'E'
   Upper_f_code: INTEGER
      --  'F'
   Upper_g_code: INTEGER
      --  'G'
   Upper_h_code: INTEGER
      --  'H'
   Upper_i_code: INTEGER
      --  'I'
   Upper_j_code: INTEGER
      --  'J'
   Upper_k_code: INTEGER
      --  'K'
   Upper_l_code: INTEGER
      --  'L'
   Upper_m_code: INTEGER
      --  'M'
   Upper_n_code: INTEGER
      --  'N'
   Upper_o_code: INTEGER
      --  'O'
   Upper_p_code: INTEGER
      --  'P'
   Upper_q_code: INTEGER
      --  'Q'
   Upper_r_code: INTEGER
      --  'R'
   Upper_s_code: INTEGER
      --  'S'
   Upper_t_code: INTEGER
      --  'T'
   Upper_u_code: INTEGER
      --  'U'
   Upper_v_code: INTEGER
      --  'V'
   Upper_w_code: INTEGER
      --  'W'
   Upper_x_code: INTEGER
      --  'X'
   Upper_y_code: INTEGER
      --  'Y'
   Upper_z_code: INTEGER
      --  'Z'
   Case_diff: INTEGER
      --  ('a').code - ('A').code
   Zero_code: INTEGER
      --  '0'
   One_code: INTEGER
      --  '1'
   Two_code: INTEGER
      --  '2'
   Three_code: INTEGER
      --  '3'
   Four_code: INTEGER
      --  '4'
   Five_code: INTEGER
      --  '5'
   Six_code: INTEGER
      --  '6'
   Seven_code: INTEGER
      --  '7'
   Eight_code: INTEGER
      --  '8'
   Nine_code: INTEGER
      --  '9'
   Plus_code: INTEGER
      --  '+'
   Minus_code: INTEGER
      --  '-'
   Star_code: INTEGER
      --  '*'
   Slash_code: INTEGER
      --  '/'
   Caret_code: INTEGER
      --  '^'
   Less_than_code: INTEGER
      --  '<'
   Greater_than_code: INTEGER
      --  '>'
   Equal_code: INTEGER
      --  '='
   Colon_code: INTEGER
      --  ':'
   Semicolon_code: INTEGER
      --  ';'
   Comma_code: INTEGER
      --  ','
   Dot_code: INTEGER
      --  '.'
   Dollar_code: INTEGER
      --  '$'
   Exclamation_code: INTEGER
      --  '!'
   Question_mark_code: INTEGER
      --  '?'
   Single_quote_code: INTEGER
      --  '%''
   Double_quote_code: INTEGER
      --  '%"'
   Left_parenthesis_code: INTEGER
      --  '('
   Right_parenthesis_code: INTEGER
      --  ')'
   Left_bracket_code: INTEGER
      --  '['
   Right_bracket_code: INTEGER
      --  ']'
   Left_brace_code: INTEGER
      --  '{'
   Right_brace_code: INTEGER
      --  '}'
   Bar_code: INTEGER
      --  '|'
   Space_code: INTEGER
      --  ' '
   Tabulation_code: INTEGER
      --  '%T'
   New_line_code: INTEGER
      --  '%N'
   Carriage_return_code: INTEGER
      --  '%R'
   Form_feed_code: INTEGER
      --  '%F'
   Back_space_code: INTEGER
      --  '%B'
end of UT_CHARACTER_CODES