Example #1
0
 public String getAbstractSyntax() {
   return "TimeoutCond(" + mTimeoutExp.getAbstractSyntax() + ")";
 }