Члены пакета — это подпакеты и все типы верхнего уровня — классы (§7.6, §8 (Классы)) и типы интерфейсов верхнего уровня (§9 (Интерфейсы)), объявленные во всех единицах компиляции (§7.3) пакета.

Если полное имя (§6.7) пакета — P, и Q является подпакетом P, то P.Q — полное имя подпакета и, более того, обозначает пакет.

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

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

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

Например, нет специальных отношений доступа между пакетом с именем oliver и другим пакетом с именем oliver.twist, или между пакетами с именами evelyn.wood и evelyn.waugh. То есть код в пакете с именем oliver.twist не имеет лучшего доступа к типам, объявленным в пакете oliver, чем код в любом другом пакете.

Каждая хост-система определяет, как создаются и хранятся пакеты и единицы компиляции.

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

В простых реализациях платформы Java SE пакеты и единицы компиляции могут храниться в локальной файловой системе. Другие реализации могут хранить их с использованием распределенной файловой системы или какой-либо базы данных.

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

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

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

com
gls
jag
java
wnj

applet
awt
io
lang
net
util

BitSet.java        Observable.java
BitSet.class       Observable.class
Date.java          Observer.java
Date.class         Observer.class
...

jag.scrabble.board

jag/scrabble/board

children.activities.crafts.papierM\u00e2ch\u00e9

children.activities.crafts.papierMâché

children/activities/crafts/papierM@00e2ch@00e9

CompilationUnit — это целевой символ (§2.1) для синтаксической грамматики (§2.3) Java-программ. Он определяется следующими продукциями:

Единица компиляции состоит из трех частей, каждая из которых является необязательной:

Каждая единица компиляции неявно импортирует все имена типов, объявленные в предопределённом пакете public, как если бы объявление import java.lang.*; появилось в начале каждой единицы компиляции сразу после любой инструкции package. В результате имена всех этих типов доступны как простые имена в каждой единице компиляции.

Все единицы компиляции предопределённого пакета java и его подпакетов lang и io всегда наблюдаемы.

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

Наблюдаемость единицы компиляции влияет на наблюдаемость её пакета (§7.4.3).

Типы, объявленные в различных единицах компиляции, могут зависеть друг от друга, в том числе циклично. Компилятор Java должен организовать компиляцию всех таких типов одновременно.

Декларация package появляется внутри единицы компиляции, чтобы указать пакет, к которому принадлежит единица компиляции.

class FirstCall {
    public static void main(String[] args) {
        System.out.println("Mr. Watson, come here. "
                           + "I want you.");
    }
}

Объявление типа верхнего уровня объявляет тип верхнего уровня класса (§8 (Классы)) или тип верхнего уровня интерфейса (§9 (Интерфейсы)).

Дополнительные ";" токены, появляющиеся на уровне объявлений типов в единице компиляции, не влияют на значение единицы компиляции. В языке программирования Java допускаются лишние точки с запятой исключительно как уступка программистам C++, привыкшим к добавлению ";" после объявления класса. Их не следует использовать в новом коде Java.

Отсутствующий модификатор доступа означает, что тип верхнего уровня имеет доступ к пакету: он доступен только внутри единиц компиляции пакета, в котором он объявлен (§6.6.1). Тип может быть объявлен public, чтобы предоставить доступ к типу из кода в других пакетах.

Ошибка времени компиляции, если объявление типа верхнего уровня содержит один из следующих модификаторов доступа: protected, private или static.

Ошибка времени компиляции, если имя типа верхнего уровня появляется в качестве имени любого другого класса или типа интерфейса верхнего уровня, объявленного в том же пакете.

Область видимости и перекрытие типа верхнего уровня указаны в §6.3 и §6.4.

Полное квалифицированное имя типа верхнего уровня указано в §6.7.

package test;
import java.util.Vector;
class Point {
    int x, y;
}
interface Point {  // compile-time error #1
    int getR();
    int getTheta();
}
class Vector { Point[] pts; }  // compile-time error #2

package test;
import java.util.*;
class Vector {}  // not a compile-time error

package points;
class Point {
    int x, y;           // coordinates
    PointColor color;   // color of this point
    Point next;         // next point with this color
    static int nPoints;
}
class PointColor {
    Point first;        // first point with this color
    PointColor(int color) { this.color = color; }
    private int color;  // color components
}

class Point { int x, y; }

package vista;
class Point { int x, y; }

Реализация платформы Java SE должна отслеживать типы в пакетах по их двоичным именам (§13.1). Несколько способов именования типа должны быть преобразованы в двоичные имена, чтобы гарантировать, что такие имена понимаются как ссылки на один и тот же тип.

import java.util.Vector;

Если и только если пакеты хранятся в файловой системе (§7.2), хост-система может выбрать применение ограничения, что это ошибка времени компиляции, если тип не найден в файле под именем, составленным из имени типа и расширения (такого как .java или .jav), если верно одно из следующих утверждений:

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