112 lines
2.9 KiB
C#
112 lines
2.9 KiB
C#
|
//-----------------------------------------------------------------------------
|
||
|
|
//
|
||
|
|
// Copyright (c) Microsoft. All rights reserved.
|
||
|
|
// This code is licensed under the Microsoft Public License.
|
||
|
|
// THIS CODE IS PROVIDED *AS IS* WITHOUT WARRANTY OF
|
||
|
|
// ANY KIND, EITHER EXPRESS OR IMPLIED, INCLUDING ANY
|
||
|
|
// IMPLIED WARRANTIES OF FITNESS FOR A PARTICULAR
|
||
|
|
// PURPOSE, MERCHANTABILITY, OR NON-INFRINGEMENT.
|
||
|
|
//
|
||
|
|
//-----------------------------------------------------------------------------
|
||
|
|
using System;
|
||
|
|
using System.IO;
|
||
|
|
|
||
|
|
namespace Microsoft.Cci.Pdb {
|
||
|
|
internal class DataStream {
|
||
|
|
internal DataStream() {
|
||
|
|
}
|
||
|
|
|
||
|
|
internal DataStream(int contentSize, BitAccess bits, int count) {
|
||
|
|
this.contentSize = contentSize;
|
||
|
|
if (count > 0) {
|
||
|
|
this.pages = new int[count];
|
||
|
|
bits.ReadInt32(this.pages);
|
||
|
|
}
|
||
|
|
}
|
||
|
|
|
||
|
|
internal void Read(PdbReader reader, BitAccess bits) {
|
||
|
|
bits.MinCapacity(contentSize);
|
||
|
|
Read(reader, 0, bits.Buffer, 0, contentSize);
|
||
|
|
}
|
||
|
|
|
||
|
|
internal void Read(PdbReader reader, int position,
|
||
|
|
byte[] bytes, int offset, int data) {
|
||
|
|
if (position + data > contentSize) {
|
||
|
|
throw new PdbException("DataStream can't read off end of stream. " +
|
||
|
|
"(pos={0},siz={1})",
|
||
|
|
position, data);
|
||
|
|
}
|
||
|
|
if (position == contentSize) {
|
||
|
|
return;
|
||
|
|
}
|
||
|
|
|
||
|
|
int left = data;
|
||
|
|
int page = position / reader.pageSize;
|
||
|
|
int rema = position % reader.pageSize;
|
||
|
|
|
||
|
|
// First get remained of first page.
|
||
|
|
if (rema != 0) {
|
||
|
|
int todo = reader.pageSize - rema;
|
||
|
|
if (todo > left) {
|
||
|
|
todo = left;
|
||
|
|
}
|
||
|
|
|
||
|
|
reader.Seek(pages[page], rema);
|
||
|
|
reader.Read(bytes, offset, todo);
|
||
|
|
|
||
|
|
offset += todo;
|
||
|
|
left -= todo;
|
||
|
|
page++;
|
||
|
|
}
|
||
|
|
|
||
|
|
// Now get the remaining pages.
|
||
|
|
while (left > 0) {
|
||
|
|
int todo = reader.pageSize;
|
||
|
|
if (todo > left) {
|
||
|
|
todo = left;
|
||
|
|
}
|
||
|
|
|
||
|
|
reader.Seek(pages[page], 0);
|
||
|
|
reader.Read(bytes, offset, todo);
|
||
|
|
|
||
|
|
offset += todo;
|
||
|
|
left -= todo;
|
||
|
|
page++;
|
||
|
|
}
|
||
|
|
}
|
||
|
|
|
||
|
|
//private void AddPages(int page0, int count) {
|
||
|
|
// if (pages == null) {
|
||
|
|
// pages = new int[count];
|
||
|
|
// for (int i = 0; i < count; i++) {
|
||
|
|
// pages[i] = page0 + i;
|
||
|
|
// }
|
||
|
|
// } else {
|
||
|
|
// int[] old = pages;
|
||
|
|
// int used = old.Length;
|
||
|
|
|
||
|
|
// pages = new int[used + count];
|
||
|
|
// Array.Copy(old, pages, used);
|
||
|
|
// for (int i = 0; i < count; i++) {
|
||
|
|
// pages[used + i] = page0 + i;
|
||
|
|
// }
|
||
|
|
// }
|
||
|
|
//}
|
||
|
|
|
||
|
|
//internal int Pages {
|
||
|
|
// get { return pages == null ? 0 : pages.Length; }
|
||
|
|
//}
|
||
|
|
|
||
|
|
internal int Length {
|
||
|
|
get { return contentSize; }
|
||
|
|
}
|
||
|
|
|
||
|
|
//internal int GetPage(int index) {
|
||
|
|
// return pages[index];
|
||
|
|
//}
|
||
|
|
|
||
|
|
internal int contentSize;
|
||
|
|
internal int[] pages;
|
||
|
|
}
|
||
|
|
}
|