langtools/src/jdk.jshell/share/classes/jdk/jshell/MemoryFileManager.java
changeset 44822 2f24758e7ae0
parent 44063 5f0cf4126949
equal deleted inserted replaced
44821:c436e60e7af8 44822:2f24758e7ae0
   557     @Override
   557     @Override
   558     public Iterable<Set<Location>> listLocationsForModules(Location location) throws IOException {
   558     public Iterable<Set<Location>> listLocationsForModules(Location location) throws IOException {
   559         return stdFileManager.listLocationsForModules(location);
   559         return stdFileManager.listLocationsForModules(location);
   560     }
   560     }
   561 
   561 
       
   562     @Override
       
   563     public boolean contains(Location location, FileObject file) throws IOException {
       
   564         return stdFileManager.contains(location, file);
       
   565     }
       
   566 
   562     /**
   567     /**
   563      * Flushes any resources opened for output by this file manager
   568      * Flushes any resources opened for output by this file manager
   564      * directly or indirectly.  Flushing a closed file manager has no
   569      * directly or indirectly.  Flushing a closed file manager has no
   565      * effect.
   570      * effect.
   566      *
   571      *