Subtypes and Supertypes Setting the Scene

Замечание по поводу синтаксиса


Последнее замечание: Простой способ поддержки нашего требования наличия THE_операций мог бы основываться на использовании некоторого рода точечного синтаксиса уточнений. Вот несколько примеров (пересмотренные варианты ранее приведенных примеров):

Z : = LS.BEGIN.X ;

LS.BEGIN.X : = Z ;

LS : = LINESEG ( POINT ( Z, LS.BEGIN.Y ), LS.END ) ;

LS.BEGIN : = P ; LS.END : = Q ;

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



Содержание раздела