////////////////////////////////////////////////////////////////////////////
//--------------------------------- REVISIONS ------------------------------
// Date Name Tracking # Description
// --------- ------------------- ------------- ----------------------
// 21DEC2008 James Shen Initial Creation
////////////////////////////////////////////////////////////////////////////
/**
* Creates an rtree from an already initialized page file, probably stored
* into persistent storage.
*/
public RTree(PageFile file)
{
if (file.Tree != null)
{
throw new ArgumentException
("PageFile already in use by another rtree instance.");
}
if (file.TreeType == -1)
{
throw new ArgumentException
("PageFile is empty. Use some other RTree constructor.");
}
file.Tree = this;
_file = file;
}
////////////////////////////////////////////////////////////////////////////
//--------------------------------- REVISIONS ------------------------------
// Date Name Tracking # Description
// --------- ------------------- ------------- ----------------------
// 21DEC2008 James Shen Initial Creation
////////////////////////////////////////////////////////////////////////////
/**
* Creates an rtree from an already initialized page file, probably stored
* into persistent storage.
*/
public RTree(PageFile file)
{
if (file.Tree != null)
{
throw new ArgumentException
("PageFile already in use by another rtree instance.");
}
if (file.TreeType == -1)
{
throw new ArgumentException
("PageFile is empty. Use some other RTree constructor.");
}
file.Tree = this;
_file = file;
}