Lines Matching refs:enumeration
12 import java.util.Enumeration;
115 * An empty enumeration.
117 private static final Enumeration EMPTY_ENUMERATION = Collections.enumeration(Collections.emptyList());
381 * Return an enumeration of all prefixes whose declarations are
387 * returned in this enumeration; check for the default prefix
390 * @return An enumeration of prefixes (never empty).
394 public Enumeration getPrefixes ()
426 * Return an enumeration of all prefixes for a given URI whose
438 * in this enumeration; to check for the presence of a default
443 * @return An enumeration of prefixes (never empty).
448 public Enumeration getPrefixes(String uri) {
450 Enumeration allPrefixes = getPrefixes();
457 return Collections.enumeration(prefixes);
462 * Return an enumeration of all prefixes declared in this context.
465 * enumeration; note that this behaviour differs from that of
468 * @return An enumeration
473 public Enumeration getDeclaredPrefixes ()
755 * Return an enumeration of prefixes declared in this context.
757 * @return An enumeration of prefixes (possibly empty).
760 Enumeration getDeclaredPrefixes() {
761 return (declarations == null) ? EMPTY_ENUMERATION : Collections.enumeration(declarations);
766 * Return an enumeration of all prefixes currently in force.
771 * @return An enumeration of prefixes (never empty).
774 Enumeration getPrefixes ()
