public List<String> getRecords(CharSequence methodAndOption, CharSequence selector,
CharSequence token) throws TempFailException, PermFailException {
int pos = methodAndOption.toString().indexOf('/');
String method = pos != -1 ? methodAndOption.subSequence(0, pos)
.toString() : methodAndOption.toString();
PublicKeyRecordRetriever pkrr = retrievers.get(method);
if (pkrr != null) {
return pkrr.getRecords(methodAndOption, selector, token);
} else {
throw new PermFailException(
"Unknown public key record retrieving method: "
+ methodAndOption);
}