}
private void checkConstructorPopPushParameter(final Tag tag, final String str, final int pop, final int push, final String specsDescr) throws Exception {
init();
editable = false;
ParserCallback reader = doc.getReader(0, pop, push, tag);
SimpleAttributeSet attr = new SimpleAttributeSet();
attr.addAttribute(StyleConstants.NameAttribute, Tag.S.toString());
doc.insertString(0, "0000", attr);
assertFalse(insertMarker.isOccurred());
parse(str, reader);
reader.flush();
assertTrue(insertMarker.isOccurred());
ElementSpec[] specs = (ElementSpec[])insertMarker.getAuxiliary();
assertEquals(specsDescr.length()/2, specs.length);
insertMarker.reset();
for (int i = 0; i < specs.length; i++) {