public String GetDocumentTypeAttr ( XmlDocumentType docType, String name ) { //PreCondition: nav is pointing at DocumentType node or one of its virtual attributes if ( name == strPublicID ) return docType.PublicId; if ( name == strSystemID ) return docType.SystemId; return null; }