public static Entry For(NodeIdCollection nodeIds)
{
if (nodeIds == null)
{
return(new NullEntry());
}
else
{
ArrayEntry array = new ArrayEntry();
NodeIdCollection.Enumerator e = nodeIds.GetEnumerator();
while (e.MoveNext())
{
array.Add(For(e.Current));
}
return(array);
}
}