用名字前缀pre产生一个在已知名字范围existsNames内的唯一新名字 @param pre 名字前缀 @param existsNames 已知的名字范围 @return 已知范围内唯一的新名字
(String pre,String[] existsNames)
source not stored for this graph (policy: none)
no test coverage detected