private void PushElementNames(string prefix, string localName, string ns) { // Push the name parts onto a stack if (this.stkNames == null) this.stkNames = new Stack(); this.stkNames.Push(prefix); this.stkNames.Push(localName); this.stkNames.Push(ns); }