public void setBody(Namespace namespace, AddressSetView set)
			throws OverlappingNamespaceException {
		if (set.getNumAddresses() > Integer.MAX_VALUE) {
			throw new IllegalArgumentException(
				"Namespace body size must be less than 0x7fffffff byte addresses");
		}
		lock.acquire();
		try {
			AddressSetView oldBody = removeBody(namespace);
			AddressRange range = overlapsNamespace(set);
			if (range != null) {
				doSetBody(namespace, oldBody);
				throw new OverlappingNamespaceException(range.getMinAddress(),
					range.getMaxAddress());
			}
			doSetBody(namespace, set);
		}
		finally {
			clearCache();
			lock.release();
		}
	}
Sets the body of a namespace.
@param namespace the namespace whose body is to be modified.
@param set the address set for the new body.
@throws OverlappingNamespaceException if specified set overlaps another namespace
Ghidra/Framework/SoftwareModeling/src/main/java/ghidra/program/database/symbol/NamespaceManager.java