Lines Matching refs:filename
38 public void copyFrom(String filename, InputFileProvider inputFileProvider) throws IOException {
40 out.putNextEntry(inputFileProvider.getZipEntry(filename));
41 try (InputStream is = inputFileProvider.getInputStream(filename)) {
48 public void write(String filename, byte[] content) throws IOException {
49 checkArgument(filename.equals(DESUGAR_DEPS_FILENAME) || filename.endsWith(".class"),
50 "Expect file to be copied: %s", filename);
51 writeStoredEntry(out, filename, content);
59 private static void writeStoredEntry(ZipOutputStream out, String filename, byte[] content)
65 ZipEntry result = new ZipEntry(filename);
