src/java.compiler/share/classes/javax/tools/JavaFileManager.java

*** 163,172 ****
--- 163,173 ----
           * @implNote This implementation returns true if the name includes
           * the word "MODULE".
           *
           * @return true if this location is expected to contain modules
           * @since 9
+          * @spec JPMS
           */
          default boolean isModuleOrientedLocation() {
              return getName().matches("\\bMODULE\\b");
          }
      }
*** 470,479 ****
--- 471,481 ----
       * @throws IOException if an I/O error occurred
       * @throws UnsupportedOperationException if this operation if not supported by this file manager
       * @throws IllegalArgumentException if the location is neither an output location nor a
       * module-oriented location
       * @since 9
+      * @spec JPMS
       */ // TODO: describe failure modes
      default Location getLocationForModule(Location location, String moduleName) throws IOException {
          throw new UnsupportedOperationException();
      }
  
*** 497,506 ****
--- 499,509 ----
       * @throws IOException if an I/O error occurred
       * @throws UnsupportedOperationException if this operation if not supported by this file manager
       * @throws IllegalArgumentException if the location is neither an output location nor a
       * module-oriented location
       * @since 9
+      * @spec JPMS
       */
      default Location getLocationForModule(Location location, JavaFileObject fo, String pkgName) throws IOException {
          throw new UnsupportedOperationException();
      }
  
*** 520,529 ****
--- 523,533 ----
       * @return a service loader for the given service class
       *
       * @throws IOException if an I/O error occurred
       * @throws UnsupportedOperationException if this operation if not supported by this file manager
       * @since 9
+      * @spec JPMS
       */ // TODO: describe failure modes
      default <S> ServiceLoader<S> getServiceLoader(Location location, Class<S> service) throws  IOException {
          throw new UnsupportedOperationException();
      }
  
*** 538,547 ****
--- 542,552 ----
       *
       * @throws IOException if an I/O error occurred
       * @throws UnsupportedOperationException if this operation if not supported by this file manager
       * @throws IllegalArgumentException if the location is not one known to this file manager
       * @since 9
+      * @spec JPMS
       */ // TODO: describe failure modes
      default String inferModuleName(Location location) throws IOException {
          throw new UnsupportedOperationException();
      }
  
*** 557,566 ****
--- 562,572 ----
       *
       * @throws IOException if an I/O error occurred
       * @throws UnsupportedOperationException if this operation if not supported by this file manager
       * @throws IllegalArgumentException if the location is not a module-oriented location
       * @since 9
+      * @spec JPMS
       */ // TODO: describe failure modes
      default Iterable<Set<Location>> listLocationsForModules(Location location) throws IOException {
          throw new UnsupportedOperationException();
      }