docs: public static CharType[] getType(String str) {
  		CharType[] tag = new CharType[str.length()];
  		for (int i = 0; i < str.length(); i++) {
  			char c = str.charAt(i);
  			tag[i] = getType(c);
  		}
  		return tag;
  	}