recorder.set(level, source, element, bookmark, source.getBookmark(), source.getBestIndex(), mindex, bindex, match, parentNot, elementNot);
output.set(source, bookmark);
}
} else {
if (receive) {
match = recorder.playMatch(element, source.getBookmark());
} else {
int index = recorder.reserveMatchIndex(level, element, source.getBookmark(), parentNot, elementNot);
match = element.parse(level, source, not|parentNot|elementNot, caseSensitive, false);
match = (match != elementNot);
recorder.set(level, source, element, bookmark, source.getBookmark(), source.getBestIndex(), index, match, parentNot, elementNot);