/** * Locates the DOM that serves as the symbol space root. * * @return always non-null. */ public Dom getSymbolSpaceRoot(String typeName) { Dom dom = this; while (!dom.model.symbolSpaces.contains(typeName)) { Dom p = dom.parent(); if (p == null) return dom; // root dom = p; } return dom; }