src/java.compiler/share/classes/javax/lang/model/element/ModuleElement.java

@@ -31,10 +31,11 @@
  * Represents a module program element.  Provides access to information
  * about the module and its members.
  *
  * @see javax.lang.model.util.Elements#getModuleOf
  * @since 9
+ * @spec JPMS
  */  // TODO: add @jls to module section
 public interface ModuleElement extends Element, QualifiedNameable {
 
     /**
      * Returns the fully qualified name of this module.

@@ -101,10 +102,11 @@
      * <p>Note that it is possible additional directive kinds will be added
      * to accommodate new, currently unknown, language structures added to
      * future versions of the Java&trade; programming language.
      *
      * @since 9
+     * @spec JPMS
      */
     enum DirectiveKind {
         /** A "requires (static|transitive)* module-name" directive. */
         REQUIRES,
         /** An "exports package-name [to module-name-list]" directive. */

@@ -119,10 +121,11 @@
 
     /**
      * Represents a "module statement" within the declaration of this module.
      *
      * @since 9
+     * @spec JPMS
      *
      */ // TODO: add jls to Module Statement
     interface Directive {
         /**
          * Returns the {@code kind} of this directive.

@@ -133,10 +136,11 @@
     }
 
     /**
      * A dependency of a module.
      * @since 9
+     * @spec JPMS
      */
     interface RequiresDirective extends Directive {
         /**
          * Returns whether or not this is a static dependency.
          * @return whether or not this is a static dependency

@@ -157,10 +161,11 @@
     }
 
     /**
      * An exported package of a module.
      * @since 9
+     * @spec JPMS
      */
     interface ExportsDirective extends Directive {
 
         /**
          * Returns the package being exported.

@@ -178,10 +183,11 @@
     }
 
     /**
      * An opened package of a module.
      * @since 9
+     * @spec JPMS
      */
     interface OpensDirective extends Directive {
 
         /**
          * Returns the package being opened.

@@ -199,10 +205,11 @@
     }
 
     /**
      * An implementation of a service provided by a module.
      * @since 9
+     * @spec JPMS
      */
     interface ProvidesDirective extends Directive {
         /**
          * Returns the service being provided.
          * @return the service being provided

@@ -217,10 +224,11 @@
     }
 
     /**
      * A reference to a service used by a module.
      * @since 9
+     * @spec JPMS
      */
     interface UsesDirective extends Directive {
         /**
          * Returns the service that is used.
          * @return the service that is used