/* * (non-Javadoc) * * @see de.uni_freiburg.informatik.ultimate.model.Location#getFileName() */ @Override public String getFileName() { return mCheckedSpecification.getFileName(); }