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