7 |
import java.util.*; |
import java.util.*; |
8 |
import java.util.zip.*; |
import java.util.zip.*; |
9 |
|
|
10 |
|
/** A Pool storing blocks in a zip file. |
11 |
|
* Attention: This does not support indexing yet! |
12 |
|
*/ |
13 |
public class ZipPool extends AbstractLocalPool { |
public class ZipPool extends AbstractLocalPool { |
14 |
|
|
15 |
protected Map blocks = new HashMap(); |
protected Map blocks = new HashMap(); |
59 |
} |
} |
60 |
} |
} |
61 |
|
|
62 |
public ZipPool(ZipFile file, Set indexTypes) { |
public ZipPool(ZipFile file, Set indexTypes) throws IOException { |
63 |
super(indexTypes); |
super(indexTypes); |
64 |
this.file = file; |
this.file = file; |
65 |
} |
} |
163 |
IOException{ |
IOException{ |
164 |
return new ZipBlockOutputStream(new VerbatimHeader822(hdr)); |
return new ZipBlockOutputStream(new VerbatimHeader822(hdr)); |
165 |
} |
} |
166 |
|
|
167 |
|
// XXX temporary, until we have an implementation |
168 |
|
protected DB getDB(String typeURI) { |
169 |
|
throw new UnsupportedOperationException("Not implemented"); |
170 |
|
} |
171 |
} |
} |