void ReadEndArray () { if (elements.Count == 0 || elements.Peek ().Type != "array") throw XmlError ("Unexpected end of array"); current_node = XmlNodeType.EndElement; }