action.start(Tag.ISINDEX, attr);
assertEquals(0, reader.charAttr.getAttributeCount());
assertEquals(5, reader.parseBuffer.size());
ElementSpec spec = (ElementSpec)reader.parseBuffer.get(0);
AttributeSet specAttr = spec.getAttributes();
assertEquals(1, specAttr.getAttributeCount());
checkAttributes(specAttr, StyleConstants.NameAttribute, Tag.P);
assertSpec(spec, ElementSpec.StartTagType, ElementSpec.OriginateDirection, 0, null);
spec = (ElementSpec)reader.parseBuffer.get(1);
checkOpenImpliedSpec(spec);
spec = (ElementSpec)reader.parseBuffer.get(2);
specAttr = spec.getAttributes();
assertEquals(3, specAttr.getAttributeCount());
checkAttributes(specAttr, StyleConstants.NameAttribute, Tag.ISINDEX);
checkAttributes(specAttr, "aaaa", "bbbb");
checkAttributes(specAttr, HTML.Attribute.PROMPT, prompt);
checkImplicitContentSpec(spec);