void blockExecuteChanged(MemoryBlockDB block) {
		// lock must be active
		if (addrSetViews == null) {
			return;
		}
		// copy must be made to remain iterator safe
		AddressSet set = new AddressSet(addrSetViews.execute);
		if (block.isExecute()) {
			set.addRange(block.getStart(), block.getEnd());
		}
		else {
			set.deleteRange(block.getStart(), block.getEnd());
		}
		addrSetViews.execute = set;
	}
Update address sets with relevant addresses from the specified memory block. 
In addition, allAddrSet will be updated if addToAll parameter is true.

@param block memory block to be added
@param newAddrSetViews address set views which should be built-up
@param newAllAddrs if not null this set will be updated with the specified block's address range,
otherwise only the {@code addrSetView} sets will be updated.
Ghidra/Framework/SoftwareModeling/src/main/java/ghidra/program/database/mem/MemoryMapDB.java