void NextTagStack() { if (tagstack == null) { tagstack = new AddedTag [16]; } if (++tagstack_pos < tagstack.Length) { return; } int nsize = tagstack.Length * 2; AddedTag [] ncontents = new AddedTag [nsize]; Array.Copy(tagstack, ncontents, tagstack.Length); tagstack = ncontents; }
void NextTagStack () { if (tagstack == null) tagstack = new AddedTag [16]; if (++tagstack_pos < tagstack.Length) return; int nsize = tagstack.Length * 2; AddedTag [] ncontents = new AddedTag [nsize]; Array.Copy (tagstack, ncontents, tagstack.Length); tagstack = ncontents; }