Function splitName

javascript/selenium-webdriver/normalize_bidi_ast.mjs:69–72

Split a dotted CDDL name into `{ domain, local }` (domain '' when undotted).

(name)

/** Split a dotted CDDL name into `{ domain, local }` (domain '' when undotted). */
function splitName(name) {
  const i = name.indexOf('.')
  return i === -1 ? { domain: '', local: name } : { domain: name.slice(0, i), local: name.slice(i + 1) }
}

/** A factory for collision-free synthetic def names within a known name set. */
function nameAllocator(existing) {