| private PushElementNames ( string prefix, string localName, string ns ) : void | ||
| prefix | string | |
| localName | string | |
| ns | string | |
| return | void | |
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);
}