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