Searched defs:DocumentDescriptor (Results 1 – 1 of 1) sorted by relevance
33 public class DocumentDescriptor extends ElementDescriptor { class46 public DocumentDescriptor(String xml_name, ElementDescriptor[] children) { in DocumentDescriptor() method in DocumentDescriptor