/**
* 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;
}
