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() + ")";
}
