Esempio n. 1
0
 private Page AddNewPage()
 {
     var page = new Page(_top);
     if (_top == _pages.Length)
     {
         GrowPages();
     }
     _pages[_top] = page;
     _top++;
     return page;
 }
Esempio n. 2
0
 private void GrowPages()
 {
     var grown = new Page[_pages.Length*2];
     Array.Copy(_pages, 0, grown, 0, _pages.Length);
     _pages = grown;
 }
Esempio n. 3
0
		private void GrowPages()
		{
			Page[] grown = new Page[_pages.Length * 2];
			System.Array.Copy(_pages, 0, grown, 0, _pages.Length);
			_pages = grown;
		}