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