Dla klasy Java można zdefiniować jeden z następujących typów trwałych:
Encja
Możliwe do osadzenia
Odwzorowana nadklasa