Tipos de alto nível (top-level types)

Um tipo de alto nível é uma estrutura de dados que pode ser definida de forma independente dentro de um arquivo de código-fonte. Esse tipo não depende de outra classe para existir e representa a principal unidade de definição em um arquivo .java.

Exemplo conceitual

public class User {
}

Explicação linha a linha

public class User {

Define um tipo de alto nível chamado User. Ele é declarado diretamente no arquivo de código-fonte, e não dentro de outra classe ou método.

}

Encerra a definição da classe. Mesmo sem membros, a classe ainda é considerada um tipo válido.

Esse conceito é importante para entender como o Java organiza código em arquivos e como o compilador associa nomes de tipos aos arquivos .java.