code: public  LexNameList getSpanNames(File filename)
  	{
  		LexNameList list = new LexNameList();
  
  		for (LexNameToken name : nameSpans.keySet())
  		{
  			ILexLocation span = nameSpans.get(name);
  
  			if (span.getFile().equals(filename))
  			{
  				list.add(name);
  			}
  		}
  
  		return list;
  	}
docs: TODO: Comment