equal
deleted
inserted
replaced
57 /** |
57 /** |
58 * Utility methods for building a filemanager. |
58 * Utility methods for building a filemanager. |
59 * There are no references here to file-system specific objects such as |
59 * There are no references here to file-system specific objects such as |
60 * java.io.File or java.nio.file.Path. |
60 * java.io.File or java.nio.file.Path. |
61 */ |
61 */ |
62 public class BaseFileManager { |
62 public abstract class BaseFileManager { |
63 protected BaseFileManager(Charset charset) { |
63 protected BaseFileManager(Charset charset) { |
64 this.charset = charset; |
64 this.charset = charset; |
65 byteBufferCache = new ByteBufferCache(); |
65 byteBufferCache = new ByteBufferCache(); |
66 } |
66 } |
67 |
67 |
161 if (o.matches(option)) |
161 if (o.matches(option)) |
162 return o.hasArg() ? 1 : 0; |
162 return o.hasArg() ? 1 : 0; |
163 } |
163 } |
164 return -1; |
164 return -1; |
165 } |
165 } |
|
166 |
|
167 public abstract boolean isDefaultBootClassPath(); |
|
168 |
166 // </editor-fold> |
169 // </editor-fold> |
167 |
170 |
168 // <editor-fold defaultstate="collapsed" desc="Encoding"> |
171 // <editor-fold defaultstate="collapsed" desc="Encoding"> |
169 private String defaultEncodingName; |
172 private String defaultEncodingName; |
170 private String getDefaultEncodingName() { |
173 private String getDefaultEncodingName() { |