OLD | NEW |
(Empty) | |
| 1 /* |
| 2 * Copyright (c) 2014, the Dart project authors. |
| 3 * |
| 4 * Licensed under the Eclipse Public License v1.0 (the "License"); you may not u
se this file except |
| 5 * in compliance with the License. You may obtain a copy of the License at |
| 6 * |
| 7 * http://www.eclipse.org/legal/epl-v10.html |
| 8 * |
| 9 * Unless required by applicable law or agreed to in writing, software distribut
ed under the License |
| 10 * is distributed on an "AS IS" BASIS, WITHOUT WARRANTIES OR CONDITIONS OF ANY K
IND, either express |
| 11 * or implied. See the License for the specific language governing permissions a
nd limitations under |
| 12 * the License. |
| 13 */ |
| 14 package com.google.dart.engine.internal.index.file; |
| 15 |
| 16 import java.io.InputStream; |
| 17 import java.io.OutputStream; |
| 18 |
| 19 /** |
| 20 * A manager for files content. |
| 21 * |
| 22 * @coverage dart.engine.index |
| 23 */ |
| 24 public interface FileManager { |
| 25 /** |
| 26 * Removes all files. |
| 27 */ |
| 28 void clear(); |
| 29 |
| 30 /** |
| 31 * Deletes the file with the given name. |
| 32 */ |
| 33 void delete(String name); |
| 34 |
| 35 /** |
| 36 * Returns an {@link InputStream} to read the content of the file with the giv
en name. |
| 37 */ |
| 38 InputStream openInputStream(String name) throws Exception; |
| 39 |
| 40 /** |
| 41 * Returns an {@link OutputStream} to write the content of the file with the g
iven name. |
| 42 */ |
| 43 OutputStream openOutputStream(String name) throws Exception; |
| 44 } |
OLD | NEW |