XPathMatcher matcher = selector.createMatcher(activator);
fMatcherStack.addMatcher(matcher);
if (DEBUG_IDENTITY_CONSTRAINTS) {
System.out.println("<IC>: "+matcher+"#startDocumentFragment()");
}
matcher.startDocumentFragment(fStringPool, null);
}
private void pushContentLeafStack() throws Exception {
int contentType = getContentSpecType(fCurrentElementIndex);
if ( contentType == XMLElementDecl.TYPE_CHILDREN) {