151152153154155156157158159160161
int pos = tag_position + off; return (String) __lookup_value(pos); } else { int pos = tag_position; CharConverter converter = __get_char_converter(); String value = converter.read_string(this, tag); __register_value(pos, value); return value; } }
168169170171172173174175176177178
int pos = tag_position + off; return (String) __lookup_value(pos); } else { int pos = tag_position; CharConverter converter = __get_wchar_converter(); String value = converter.read_string(this, tag); __register_value(pos, value); return value; } }