Esempi in Java per ReqCheck.toString

Esempio n. 1

File: ReqLocation.java Progetto: ultimate-pa/ultimate

 /*
  * (non-Javadoc)
  *
  * @see java.lang.Object#toString()
  */
 @Override
 public String toString() {
   return mCheckedSpecification.toString();
 }