boolean (PsiBuilder builder) { PsiBuilder.Marker mark = builder.mark(); checkMatches(builder, XPath2TokenTypes.QUANTIFIERS, XPathBundle.message("parsing.error.every.or.some.expected")); parseBindingSequence(builder); checkMatches(builder, XPath2TokenTypes.SATISFIES, XPathBundle.message("parsing.error.satisfies.expected")); final PsiBuilder.Marker ret = builder.mark(); if (!parseExprSingle(builder)) { builder.error(XPathBundle.message("parsing.error.expression.expected")); } ret.done(XPath2ElementTypes.BODY); mark.done(XPath2ElementTypes.QUANTIFIED); return true; }