Членами пакета являются его подпакеты и все типы классов верхнего уровня (§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) на единицы компиляции, допустимые в реализациях на основе файлов.

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

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

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, объявленное в предопределённом пакете java.lang, как если бы декларация import java.lang.*; появилась в начале каждой единицы компиляции сразу после любого оператора package. В результате, имена всех этих типов доступны в качестве простых имён в каждой единице компиляции.

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

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

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

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

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

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

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

По умолчанию типы верхнего уровня, объявленные в пакете, доступны только внутри единиц компиляции этого пакета, но тип может быть объявлен public, чтобы предоставить доступ к типу из кода в других пакетах (§6.6, §8.1.1, §9.1.1).

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

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

Ошибка компиляции, если имя типа верхнего уровня также объявлено как тип с помощью объявления импорта одного типа (§7.5.1) в единице компиляции, содержащей объявление типа.

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
}

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

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

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 или используется кодом в других единицах компиляции.