// IStreamManager public StreamID Allocate() { // Allocates a new stream in the source stream manager, and saves the header and local cache for it locally StreamID streamID = _sourceStreamManager.Allocate(); LocalStreamHeader header = new LocalStreamHeader(streamID); _headers.Add(header); return(streamID); }
StreamID IStreamManager.Allocate() { return(StreamManager.Allocate()); }