Класс IntRange
наследует класс IntProgression
и реализует интерфейс ClosedRange<Int>
.
last
является свойством класса IntProgression
. Этот класс не является обобщенным c, тип свойства - Int
, и у него нет пользовательского метода получения / установки. last
переводится в метод getLast()
, который возвращает значение незаписанного типа int
.
endInclusive
является абстрактным свойством интерфейса ClosedRange<Int>
. Этот интерфейс является обобщенным c, тип свойства определен как T
, и, кроме того, его реализация в классе IntRange
имеет собственный метод получения (который просто возвращает last
). endInclusive
переводится в метод getEndInclusive()
, который возвращает значение упакованного типа Integer
.