190191192193194195196197198199200
StringBuffer buffer = new StringBuffer(); if (satisfiable) { buffer.append("("); } for (Iterator i = nextExpectedContent.iterator(); i.hasNext();) { Content content = (Content) i.next(); buffer.append(content); if (i.hasNext()) { buffer.append("|"); } }