return op.getElementStartTag(i);
}
@Override
public DocInitializationComponentType getType(int i) {
DocOpComponentType t = op.getType(i);
if (t instanceof DocInitializationComponentType) {
return (DocInitializationComponentType) t;
} else {
throw new UnsupportedOperationException(
"Initialization with unexpected component " + t + ": " + op);