GrowElementsIfNeeded()

void System.Runtime.Serialization.ExtensionDataReader.GrowElementsIfNeeded ( )

inlineprivate

Definition at line 658 of file ExtensionDataReader.cs.

    {
        if (_elements == null)
        {
            _elements = new ElementData[8];
        }
        else if (_elements.Length == _depth)
        {
            ElementData[] array = new ElementData[_elements.Length * 2];
            Array.Copy(_elements, array, _elements.Length);
            _elements = array;
        }
    }

References System.Runtime.Serialization.ExtensionDataReader._depth, System.Runtime.Serialization.ExtensionDataReader._elements, System.array, System.Array.Copy(), and System.Runtime.Serialization.Dictionary.

Referenced by System.Runtime.Serialization.ExtensionDataReader.PushElement().