1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
|
using System;
using System.IO;
namespace SharpCifs.Util.Sharpen
{
public class RandomAccessFile
{
private FileStream _stream;
public RandomAccessFile (FilePath file, string mode) : this(file.GetPath (), mode)
{
}
public RandomAccessFile (string file, string mode)
{
if (mode.IndexOf ('w') != -1)
_stream = new FileStream (file, FileMode.OpenOrCreate, FileAccess.ReadWrite);
else
_stream = new FileStream (file, FileMode.Open, FileAccess.Read);
}
public void Close ()
{
//Stream.`Close` method deleted
//_stream.Close ();
_stream.Dispose();
}
public long GetFilePointer ()
{
return _stream.Position;
}
public long Length ()
{
return _stream.Length;
}
public int Read (byte[] buffer)
{
int r = _stream.Read (buffer, 0, buffer.Length);
return r > 0 ? r : -1;
}
public int Read (byte[] buffer, int start, int size)
{
return _stream.Read (buffer, start, size);
}
public void ReadFully (byte[] buffer, int start, int size)
{
while (size > 0) {
int num = _stream.Read (buffer, start, size);
if (num == 0) {
throw new EofException ();
}
size -= num;
start += num;
}
}
public void Seek (long pos)
{
_stream.Position = pos;
}
public void SetLength (long len)
{
_stream.SetLength (len);
}
public void Write (int value)
{
_stream.Write (BitConverter.GetBytes (value), 0, 4);
}
public void Write (byte[] buffer)
{
_stream.Write (buffer, 0, buffer.Length);
}
public void Write (byte[] buffer, int start, int size)
{
_stream.Write (buffer, start, size);
}
}
}
|
