Example #1
0
 public void writeXML(IOSIndentWriter out) throws XMLWriteError {
   out.println("<TimeoutCondition>");
   mTimeoutExp.writeXML(out);
   out.println("</TimeoutCondition>");
 }
Example #2
0
 public String getConcreteSyntax() {
   return "Timeout(" + mTimeoutExp.getConcreteSyntax() + ")";
 }
Example #3
0
 public TimeoutCond getCopy() {
   return new TimeoutCond(mTimeoutExp.getCopy());
 }
Example #4
0
 public String getAbstractSyntax() {
   return "TimeoutCond(" + mTimeoutExp.getAbstractSyntax() + ")";
 }