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