Searched refs:region_chars (Results 1 – 1 of 1) sorted by relevance
71 void set_region(String region_chars) { in set_region() argument72 region = region_chars.trim().toUpperCase(); in set_region()