PushElement()

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

inlineprivate

Definition at line 629 of file ExtensionDataReader.cs.

    {
        GrowElementsIfNeeded();
        _elements[_depth++] = _element;
        if (_nextElement == null)
        {
            _element = GetNextElement();
            return;
        }
        _element = _nextElement;
        _nextElement = null;
    }

References System.Runtime.Serialization.ExtensionDataReader._depth, System.Runtime.Serialization.ExtensionDataReader._element, System.Runtime.Serialization.ExtensionDataReader._elements, System.Runtime.Serialization.ExtensionDataReader._nextElement, System.Runtime.Serialization.ExtensionDataReader.GetNextElement(), and System.Runtime.Serialization.ExtensionDataReader.GrowElementsIfNeeded().

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