public String toShortString() { return (operator == Token.SOME ? "some" : "every") + " $" + getVariableName() + " in " + getSequence().toShortString() + " satisfies ..."; }
public String toShortString() { return (operator == Token.SOME ? "some" : "every") + " $" + getVariableName() + " in " + getSequence().toShortString() + " satisfies ..."; }
/** * Diagnostic print of expression structure. The abstract expression tree * is written to the supplied output destination. */ public void explain(ExpressionPresenter out) { out.startElement(Token.tokens[operator]); out.emitAttribute("variable", getVariableName()); out.startSubsidiaryElement("in"); sequence.explain(out); out.endSubsidiaryElement(); out.startSubsidiaryElement("satisfies"); action.explain(out); out.endSubsidiaryElement(); out.endElement(); }
/** * Diagnostic print of expression structure. The abstract expression tree * is written to the supplied output destination. */ public void explain(ExpressionPresenter out) { out.startElement(Token.tokens[operator]); out.emitAttribute("variable", getVariableName()); out.startSubsidiaryElement("in"); sequence.explain(out); out.endSubsidiaryElement(); out.startSubsidiaryElement("satisfies"); action.explain(out); out.endSubsidiaryElement(); out.endElement(); }
/** * Diagnostic print of expression structure. The abstract expression tree * is written to the supplied output destination. */ public void explain(ExpressionPresenter out) { out.startElement(Token.tokens[operator]); out.emitAttribute("variable", getVariableName()); out.startSubsidiaryElement("in"); sequence.explain(out); out.endSubsidiaryElement(); out.startSubsidiaryElement("satisfies"); action.explain(out); out.endSubsidiaryElement(); out.endElement(); }