public default2Enumerator(ExtentType par)
{
parent = par;
nIndex = -1;
}
public nearestValueEnumerator(ExtentType par)
{
parent = par;
nIndex = -1;
}
public nearestValueEnumerator(ExtentType par)
{
parent = par;
nIndex = -1;
}
public nameEnumerator(ExtentType par)
{
parent = par;
nIndex = -1;
}
public default2Enumerator(ExtentType par)
{
parent = par;
nIndex = -1;
}
public nameEnumerator(ExtentType par)
{
parent = par;
nIndex = -1;
}
public void ReplaceExtentAt(ExtentType newValue, int index)
{
ReplaceDomElementAt("", "Extent", index, newValue);
}
public void InsertExtentAt(ExtentType newValue, int index)
{
InsertDomElementAt("", "Extent", index, newValue);
}
public void AddExtent(ExtentType newValue)
{
AppendDomElement("", "Extent", newValue);
}
