privatestatic String generateUnique(Set<String> others) { // Construct something. To be deterministic, just use "a+".
StringBuilder sb = new StringBuilder("a"); for (;;) {
String key = sb.toString(); if (!others.contains(key)) { return key;
}
sb.append('a');
}
}
privatestatic String generate(Set<String> others) { // First check for something in the overall System properties.
TreeSet<String> sysProps = new TreeSet<String>(System.getProperties().stringPropertyNames());
sysProps.removeAll(others); if (!sysProps.isEmpty()) { // Find something that starts with "java" or "os," trying to be platform-independent. for (String s: sysProps) { if (s.startsWith("java.") || s.startsWith("os.")) { return s;
}
} // Just return the first thing. return sysProps.iterator().next();
}
Die Informationen auf dieser Webseite wurden
nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit,
noch Qualität der bereit gestellten Informationen zugesichert.
Bemerkung:
Die farbliche Syntaxdarstellung und die Messung sind noch experimentell.