@Override
	public boolean containsSourceFile(SourceFile sourceFile) {
		if (sourceFile == null) {
			return false;
		}
		lock.acquire();
		try {
			return getKeyForSourceFile(sourceFile) != null;
		}
		finally {
			lock.release();
		}
	}
{@inheritDoc}<br>
Note: this method will move any source map entry which is entirely contained within the
source address range.  Entries which also contain addresses outside of this range will 
be split and parts within the range to move will be moved.
@param fromAddr first address of range to be moved
@param toAddr target address
@param length number of addresses to move
@param monitor task monitor
@throws AddressOverflowException if overflow occurs when computing new addresses
@throws CancelledException if {@code monitor} is cancelled
Ghidra/Framework/SoftwareModeling/src/main/java/ghidra/program/database/sourcemap/SourceFileManagerDB.java