01: /*
02: This source file is part of Smyle, a database library.
03: For up-to-date information, see http://www.drjava.de/smyle
04: Copyright (C) 2001 Stefan Reich (doc@drjava.de)
05:
06: This library is free software; you can redistribute it and/or
07: modify it under the terms of the GNU Lesser General Public
08: License as published by the Free Software Foundation; either
09: version 2.1 of the License, or (at your option) any later version.
10:
11: This library is distributed in the hope that it will be useful,
12: but WITHOUT ANY WARRANTY; without even the implied warranty of
13: MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
14: Lesser General Public License for more details.
15:
16: You should have received a copy of the GNU Lesser General Public
17: License along with this library; if not, write to the Free Software
18: Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA
19:
20: For full license text, see doc/license/lgpl.txt in this distribution
21: */
22:
23: package drjava.smyle.core;
24:
25: import java.util.*;
26: import java.io.*;
27: import org.artsProject.mcop.*;
28:
29: /** read-only ChunkManager for converting legacy Smyle 0.2 databases */
30: public class ChunkManager02 extends MasterChunkManager {
31: Disk disk;
32:
33: public ChunkManager02(Disk disk) {
34: this .disk = disk;
35: }
36:
37: // accessors
38:
39: public Buffer readChunk(int chunk) {
40: return DiskUtil.fileToBuffer(disk, chunk);
41: }
42:
43: public ChunkRef getMasterChunk() {
44: int master = (int) disk.getMasterFile();
45: return master == 0 ? null : new ChunkRef(master);
46: }
47:
48: // mutators
49:
50: public ChunkRef createChunk(Buffer data) {
51: throw new RuntimeException(
52: "This is a legacy chunk manager; read only");
53: }
54:
55: public ChunkRef createMasterChunk(Buffer data) {
56: throw new RuntimeException(
57: "This is a legacy chunk manager; read only");
58: }
59:
60: public void deleteEverythingBut(BitSet whiteList) {
61: throw new RuntimeException(
62: "This is a legacy chunk manager; read only");
63: }
64: }
|