Декларация импорта одного типа импортирует один тип, указав его каноническое имя, сделав его доступным под простым именем в модулях, классах и интерфейсах единицы компиляции, в которой появляется декларация импорта одного типа.

TypeName должен быть каноническим именем типа класса, типа интерфейса, типа перечисления или типа аннотации (§6.7).

Тип должен быть членом именованного пакета или членом типа, внешний лексически охватывающий тип объявления (§8.1.3) которого является членом именованного пакета; в противном случае произойдёт ошибка компиляции.

Ошибка компиляции возникает, если именованный тип недоступен (§6.6).

Если две декларации импорта одного типа в одной единице компиляции пытаются импортировать типы с одинаковым простым именем, возникает ошибка компиляции, за исключением случая, когда два типа являются одним и тем же типом, в этом случае дублирующая декларация игнорируется.

Если тип, импортированный декларацией импорта одного типа, объявлен в единице компиляции, содержащей декларацию import, то декларация import игнорируется.

Если декларация импорта одного типа импортирует тип с простым именем n, а единица компиляции также объявляет тип верхнего уровня (§7.6), простое имя которого равно n, возникает ошибка компиляции.

Если единица компиляции содержит как декларацию импорта одного типа, импортирующую тип с простым именем n, так и декларацию импорта одного статического члена (§7.5.3), импортирующую тип с простым именем n, возникает ошибка компиляции, за исключением случая, когда два типа являются одним и тем же типом, в этом случае дублирующая декларация игнорируется.

import java.util.Vector;

import java.util.Vector;
class Vector { Object[] vec; }

import java.util.Vector;
import myVector.Vector;

package myVector;
public class Vector { Object[] vec; }

import java.util;
class Test { util.Random generator; }
  // incorrect: compile-time error

package Vector;
public class Mosquito { int capacity; }

package strange;
import java.util.Vector;
import Vector.Mosquito;
class Test {
    public static void main(String[] args) {
        System.out.println(new Vector().getClass());
        System.out.println(new Mosquito().getClass());
    }
}

class java.util.Vector
class Vector.Mosquito

Декларация импорта типов по требованию позволяет импортировать все доступные типы указанного пакета или типа по мере необходимости.

ИмяПакетаИлиТип должен быть каноническим именем (§6.7) пакета, класса, интерфейса, перечисления или аннотации.

Если ИмяПакетаИлиТип обозначает тип (§6.5.4), то этот тип должен быть членом именованного пакета или членом типа, внешняя лексически окружающая декларация типа которого (§8.1.3) является членом именованного пакета; в противном случае возникает ошибка компиляции.

Если именованный пакет не виден в текущем модуле (§7.4.3), или если именованный тип недоступен (§6.6), возникает ошибка компиляции.

Ошибка компиляции не возникает, если в декларации импорта типов по требованию указан либо java.lang, либо пакет текущей единицы компиляции. В таких случаях декларация импорта типов по требованию игнорируется.

В одной единице компиляции может быть две или более деклараций импорта типов по требованию, которые указывают на один и тот же тип или пакет. Все, кроме одной из этих деклараций, считаются избыточными; эффект такой же, как если бы данный тип был импортирован только один раз.

Если единица компиляции содержит как декларацию импорта типов по требованию, так и декларацию статического импорта по требованию (§7.5.4), которые указывают на один и тот же тип, то эффект такой, как если бы static типы-члены этого типа (§8.5, §9.5) были импортированы только один раз.

import java.util.*;

Декларация одиночного статического импорта импортирует все доступные static члены с заданным простым именем из типа. Это делает эти static члены доступными под их простым именем в модуле, классе и интерфейсе деклараций единицы компиляции, в которой появляется декларация одиночного статического импорта.

ИмяТипа должен быть каноническим именем (§6.7) класса, интерфейса, перечисления или аннотации.

Тип должен быть членом именованного пакета или членом типа, внешняя лексически окружающая декларация типа которого (§8.1.3) является членом именованного пакета; в противном случае возникает ошибка компиляции.

Ошибка компиляции возникает, если указанный тип недоступен (§6.6).

Идентификатор должен указывать на по крайней мере один static член указанного типа. Ошибка компиляции возникает, если члена с таким именем нет, или если все указанные члены недоступны.

Допустимо, чтобы одна декларация одиночного статического импорта импортировала несколько полей или типов с одинаковым именем, или несколько методов с одинаковым именем и сигнатурой. Это происходит, когда указанный тип наследует несколько полей, типов-членов или методов, все с одинаковым именем, от своих предков.

Если две декларации одиночного статического импорта в одной единице компиляции пытаются импортировать типы с одинаковым простым именем, возникает ошибка компиляции, если эти типы не одинаковые, в противном случае дублирующая декларация игнорируется.

Если декларация одиночного статического импорта импортирует тип с простым именем n, а единица компиляции также объявляет тип верхнего уровня (§7.6), простое имя которого n, возникает ошибка компиляции.

Если единица компиляции содержит как декларацию одиночного статического импорта, импортирующую тип с простым именем n, так и декларацию одиночного импорта типа (§7.5.1), импортирующую тип с простым именем n, возникает ошибка компиляции, если эти типы не одинаковые, в противном случае дублирующая декларация игнорируется.

Декларация статического импорта по требованию позволяет импортировать все доступные static члены указанного типа по мере необходимости.

ИмяТипа должен быть каноническим именем (§6.7) класса, интерфейса, перечисления или аннотации.

Тип должен быть членом именованного пакета или членом типа, внешняя лексически окружающая декларация типа которого (§8.1.3) является членом именованного пакета; в противном случае возникает ошибка компиляции.

Ошибка компиляции возникает, если указанный тип недоступен (§6.6).

В одной единице компиляции может быть две или более деклараций статического импорта по требованию, которые указывают на один и тот же тип; эффект такой же, как если бы была ровно одна такая декларация.

В одной единице компиляции может быть две или более деклараций статического импорта по требованию, которые указывают на один и тот же член; эффект такой же, как если бы член был импортирован ровно один раз.

Допустимо, чтобы одна декларация статического импорта по требованию импортировала несколько полей или типов с одинаковым именем, или несколько методов с одинаковым именем и сигнатурой. Это происходит, когда указанный тип наследует несколько полей, типов-членов или методов, все с одинаковым именем, от своих предков.

Если единица компиляции содержит как декларацию статического импорта по требованию, так и декларацию импорта типов по требованию (§7.5.2), которые указывают на один и тот же тип, то эффект такой, как если бы static типы-члены этого типа (§8.5, §9.5) были импортированы только один раз.

Директива requires указывает имя модуля, от которого текущий модуль зависит.

Директива requires не должна присутствовать в объявлении модуля java.base, так как это базовый модуль, у которого нет зависимостей (§8.1.4), что приведёт к ошибке компиляции.

Если объявление модуля не выражает зависимость от модуля java.base, и сам модуль не является java.base, то модуль неявно зависит от модуля java.base.

Ключевое слово requires может быть дополнено модификатором transitive. Это приводит к тому, что любой модуль, зависящий от текущего модуля, неявно зависит от модуля, указанного в директиве requires transitive.

Ключевое слово requires может быть дополнено модификатором static. Это указывает, что зависимость, обязательная на стадии компиляции, необязательна во время выполнения.

Если объявление модуля выражает зависимость от модуля java.base, и сам модуль не является java.base, то наличие модификатора после ключевого слова requires является ошибкой компиляции.

Если более одной директивы requires в объявлении модуля указывают на одно и то же имя модуля, это ошибка компиляции.

Если разрешение, как описано в спецификации пакета java.lang.module, с текущим модулем в качестве единственного корневого модуля, терпит неудачу по любой из причин, описанных в спецификации пакета java.lang.module, это ошибка компиляции.

Например, если директива requires указывает на неочевидный модуль, или если текущий модуль напрямую или косвенно указывает на зависимость от самого себя.

Если разрешение прошло успешно, то его результат указывает модули, которые читаются текущим модулем. Модули, читаемые текущим модулем, определяют, какие обычные единицы компиляции видны текущему модулю (§7.3). Типы, объявленные в этих обычных единицах компиляции (и только в них), могут быть доступны коду в текущем модуле (§6.6).

Java SE Platform различает именованные модули, которые явно объявлены (то есть с помощью объявления модуля), и именованные модули, которые неявно объявлены (то есть автоматические модули). Однако язык программирования Java не отображает это различие: директивы requires ссылаются на именованные модули без учёта того, явно они объявлены или неявно.

Хотя автоматические модули удобны для миграции, они ненадёжны в том смысле, что их имена и экспортированные пакеты могут измениться, когда их авторы превратят их в явно объявленные модули. Компилятор Java рекомендуется выдавать предупреждение, если директива requires ссылается на автоматический модуль. Особенно сильное предупреждение рекомендуется, если модификатор transitive присутствует в директиве.

module m.A {
    requires m.B;
}

module m.B {
    requires transitive m.C;
}

module m.C {
    requires transitive m.D;
}

module m.D {
    exports p;
}

package p;
public class Point {}

package client;
import p.Point;
public class Test {
    public static void main(String[] args) {
        System.out.println(new Point());
    }
}

javac --module-source-path . -d . --module m.D
javac --module-source-path . -d . --module m.C
javac --module-source-path . -d . --module m.B
javac --module-source-path . -d . --module m.A

java --module-path . --module m.A/client.Test

Директива exports указывает имя пакета, который должен быть экспортирован текущим модулем. Для кода в других модулях это предоставляет доступ во время компиляции и выполнения к типам public и protected в пакете, а также к членам public и protected этих типов (§6.6). Также предоставляется рефлексивный доступ к этим типам и членам для кода в других модулях.

Директива opens указывает имя пакета, который должен быть открыт текущим модулем. Для кода в других модулях это предоставляет доступ во время выполнения, но не во время компиляции, к типам public и protected в пакете, а также к членам public и protected этих типов. Также предоставляется рефлексивный доступ ко всем типам в пакете и всем их членам для кода в других модулях.

Ошибка компиляции, если пакет, указанный в exports, не объявлен в единице компиляции, связанной с текущим модулем (§7.3).

Разрешено указывать в opens пакет, который не объявлен в единице компиляции, связанной с текущим модулем. (Если пакет объявлен в доступной единице компиляции, связанной с другим модулем, директива opens не влияет на этот другой модуль.)

Ошибка компиляции, если более одной директивы exports в объявлении модуля указывают на одно и то же имя пакета.

Ошибка компиляции, если более одной директивы opens в объявлении модуля указывают на одно и то же имя пакета.

Ошибка компиляции, если директива opens присутствует в объявлении открытого модуля.

Если у директивы exports или opens есть фрагмент to, то директива квалифицированная; в противном случае – неквалифицированная. Для квалифицированной директивы типы public и protected в пакете и их члены public и protected доступны только коду в модулях, указанных в фрагменте to. Модули, указанные во фрагменте to, называются друзьями текущего модуля. Для неквалифицированной директивы эти типы и их члены доступны коду в любом модуле.

Разрешено в фрагменте to директивы exports или opens указывать модуль, который не является очевидным (§7.7.6).

Ошибка компиляции, если фрагмент to данной директивы exports указывает одно и то же имя модуля более одного раза.

Ошибка компиляции, если фрагмент to данной директивы opens указывает одно и то же имя модуля более одного раза.

Директива uses указывает на сервис, для которого текущий модуль может обнаружить поставщиков через java.util.ServiceLoader.

Сервис должен быть типом класса, типом интерфейса или типом аннотации. Ошибка компиляции возникает, если директива uses указывает на тип перечисления (§8.9) в качестве сервиса.

Сервис может быть объявлен в текущем модуле или в другом модуле. Если сервис не объявлен в текущем модуле, он должен быть доступен коду в текущем модуле (§6.6), иначе произойдет ошибка компиляции.

Ошибка компиляции возникает, если более одной директивы uses в объявлении модуля указывает на один и тот же сервис.

Директива provides указывает на сервис, для которого в части with указан один или несколько поставщиков сервиса для java.util.ServiceLoader.

Сервис должен быть типом класса, типом интерфейса или типом аннотации. Ошибка компиляции возникает, если директива provides указывает на тип перечисления (§8.9) в качестве сервиса.

Сервис может быть объявлен в текущем модуле или в другом модуле. Если сервис не объявлен в текущем модуле, он должен быть доступен коду в текущем модуле (§6.6), иначе произойдет ошибка компиляции.

Каждый поставщик сервиса должен быть типом класса или типом интерфейса, который является public и является верхнеуровневым или вложенным static, иначе произойдет ошибка компиляции.

Каждый поставщик сервиса должен быть объявлен в текущем модуле, иначе произойдет ошибка компиляции.

Если поставщик сервиса явно объявляет public конструктор без формальных параметров или неявно объявляет public конструктор по умолчанию (§8.8.9), то этот конструктор называется конструктором поставщика.

Если поставщик сервиса явно объявляет public static метод, называемый provider, без формальных параметров, то этот метод называется методом поставщика.

Если у поставщика сервиса есть метод поставщика, то его возвращаемый тип должен (i) либо быть объявлен в текущем модуле, либо быть объявлен в другом модуле и быть доступен коду в текущем модуле; и (ii) быть подтипом сервиса, указанного в директиве provides; иначе произойдет ошибка компиляции.

Хотя поставщик сервиса, указанный в директиве provides, должен быть объявлен в текущем модуле, его метод поставщика может иметь возвращаемый тип, объявленный в другом модуле. Также обратите внимание, что когда поставщик сервиса объявляет метод поставщика, сам поставщик сервиса не обязательно должен быть подтипом сервиса.

Если у поставщика сервиса нет метода поставщика, то у этого поставщика должен быть конструктор поставщика и он должен быть подтипом сервиса, указанного в директиве provides, иначе произойдет ошибка компиляции.

Ошибка компиляции возникает, если более одной директивы provides в объявлении модуля указывает на один и тот же сервис.

Ошибка компиляции возникает, если часть with данной директивы provides указывает на один и тот же поставщик сервиса более одного раза.

Наблюдаемый обычный модуль компиляции, который система хоста не связывает с именованным модулем (§7.3), связан с безымянным модулем.

Безымянные модули предоставляются платформой Java SE, признавая тот факт, что программы, разработанные до Java SE 9, не могли объявлять именованные модули. Кроме того, причины предоставления платформой Java SE безымянных пакетов (§7.4.2) в значительной степени применимы к безымянным модулям.

Реализация платформы Java SE должна поддерживать по крайней мере один безымянный модуль. Реализация может поддерживать более одного безымянного модуля, но это не требуется. Какие обычные модули компиляции связаны с каждым безымянным модулем, определяется системой хоста.

Система хоста может связать обычные модули компиляции в именованном пакете с безымянным модулем.

Правила для безымянных модулей разработаны для максимальной совместимости с именованными модулями следующим образом:

Модуль наблюдаем, если хотя бы одно из следующих условий истинно: