public Integer getIndex(String filename) {
		return filenameToIndex.get(filename);
	}
Returns the index for a filename
@param filename file
@return index or {@code null} if {@code filename} is not in the index.
Ghidra/Framework/SoftwareModeling/src/main/java/ghidra/sleigh/grammar/SourceFileIndexer.java