public AddressSetView getAddressSet(Namespace namespace) {
		lock.acquire();
		try {
			if (namespace == lastBodyNamespace) {
				return lastBody;
			}

			symbolMgr.checkValidNamespaceArgument(namespace);

			AddressSetView mySet = getAddressSet(namespace.getID());
			AddressSet set = new AddressSet(mySet);
			SymbolIterator it = symbolMgr.getSymbols(namespace);
			while (it.hasNext()) {
				Symbol s = it.next();
				Object obj = s.getObject();
				if (obj instanceof Namespace) {
					set.add(((Namespace) obj).getBody());
				}
			}
			lastBodyNamespace = namespace;
			lastBody = set;
			return set;
		}
		finally {
			lock.release();
		}
	}
Gets the body for the given namespace.
@param namespace the namespace for which to get its body.
@return body for the given namespace
Ghidra/Framework/SoftwareModeling/src/main/java/ghidra/program/database/symbol/NamespaceManager.java