Searched refs:inputFileProvider (Results 1 – 6 of 6) sorted by relevance
41 InputFileProvider inputFileProvider = indexedInputs.getInputFileProvider(filename); in readIfKnown() local43 if (inputFileProvider != null) { in readIfKnown()44 try (InputStream bytecode = inputFileProvider.getInputStream(filename)) { in readIfKnown()
73 InputFileProvider inputFileProvider = parent.getInputFileProvider(filename); in getInputFileProvider() local74 if (inputFileProvider != null) { in getInputFileProvider()75 return inputFileProvider; in getInputFileProvider()
38 public void copyFrom(String filename, InputFileProvider inputFileProvider) throws IOException { in copyFrom() argument40 out.putNextEntry(inputFileProvider.getZipEntry(filename)); in copyFrom()41 try (InputStream is = inputFileProvider.getInputStream(filename)) { in copyFrom()
33 public void copyFrom(String filename, InputFileProvider inputFileProvider) throws IOException { in copyFrom() argument36 try (InputStream is = inputFileProvider.getInputStream(filename); in copyFrom()
51 InputFileProvider inputFileProvider = indexedInputs.getInputFileProvider(filename); in findClass() local52 if (inputFileProvider == null) { in findClass()56 try (InputStream content = inputFileProvider.getInputStream(filename)) { in findClass()
31 void copyFrom(String filename, InputFileProvider inputFileProvider) throws IOException; in copyFrom() argument