Дополнение: точное определение сущности

Дополнение: точное определение сущности

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

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

Определение: сущность (entity)

Сущность может представлять собой:

[x]. (E1) Атрибут класса

[x]. (E2) Локальную сущность подпрограммы, включая предопределенную сущность Result для функции

[x]. (E3) Формальный аргумент подпрограммы

Случай E2 подчеркивает, что сущность Result всегда рассматривается как локальная. Другие локальные сущности введены в объявлении local. Result и другие локальные сущности заново инициализируются при каждом вызове подпрограммы.

Все сущности, за исключением формальных аргументов (E3), доступны для записи, то есть могут присутствовать как цель x в присваивании x := some_value.

Поделитесь на страничке

Следующая глава >

Похожие главы из других книг:

14.3. Более точное время

Из книги автора

14.3. Более точное время Системный вызов time() и тип time_t представляют время в секундах в формате отсчета с начала Эпохи. Разрешения в одну секунду на самом деле недостаточно, сегодняшние машины быстры, и часто бывает полезно различать временные интервалы в долях секунды.


12.14.3 Дополнение имени

Из книги автора

12.14.3 Дополнение имени Имя, которое не заканчивается точкой, дополняется именем домена для зоны, например fishfood.com. Таким образом, в этом файле ns будет соответствовать


Дополнение RingJam

Из книги автора

Дополнение RingJam Из этого подраздела вы узнаете, как установить дополнение RingJam, которое позволит звонить абонентам в сопровождении музыки, видео и звуковых эффектов. Для его установки выполните следующие действия.1. Щелкните кнопкой мыши на пункте меню Инструменты


Дополнение Pamela Call Recorder

Из книги автора

Дополнение Pamela Call Recorder Из данного подраздела вы узнаете, как загрузить доступное для программы Skype дополнение Pamela Call Recorder. Оно позволит вам записывать входящие и исходящие звонки, добавлять звуки. Установим дополнение для программы Skype и рассмотрим работу с ним.1.


Дополнение CrazyTalk

Из книги автора

Дополнение CrazyTalk Дополнение CrazyTalk дает возможность использовать изменяющиеся видеоаватары и смайлики со звуковым сопровождением в видеозвонках.1. Щелкните кнопкой мыши на пункте меню Инструменты ? Дополнительные возможности ?Загрузить дополнения Extra. Откроется окно


Дополнение WhiteBoardMeeting

Из книги автора

Дополнение WhiteBoardMeeting Дополнение WhiteBoardMeeting для программы Skype позволяет во время разговора нарисовать для собеседника какой-либо рисунок. Это бывает очень удобно, когда нужно объяснить маршрут следования, обозначить место встречи, а также при обсуждении деловых вопросов с


Дополнение Avatar Manager

Из книги автора

Дополнение Avatar Manager Это очень простое дополнение. Оно позволяет назначить для вашего представления в программе Skype галерею аватаров, которые будут сменяться автоматически через указанный промежуток времени.1. Выполните команду меню Инструменты ? Дополнительные


Дополнение

Из книги автора

Дополнение За 18 месяцев, прошедших с момента написания предисловия, мы испытали головокружительные взлеты как в личном, так и профессиональном плане. Успех превзошел все наши ожидания. Брайан и я никогда бы не поверили, что такие гиганты, как New York Times, Amazon, USA Today и Wall Street


Автоматическое дополнение слов

Из книги автора

Автоматическое дополнение слов Средство Complete Word (Автоматически дополнить слово) редактора Visual Basic позволяет автоматически ввести практически любой VBA-термин. Активизируется это средство нажатием Ctrl +пробел. В результате на экране возникает список, наподобие


2.2.2. Сущности м атрибуты

Из книги автора

2.2.2. Сущности м атрибуты Основные компоненты диаграммы Erwin - это сущности, атрибуты и связи. Каждая сущность является множеством подобных индивидуальных объектов, называемых экземплярами. Каждый экземпляр индивидуален и должен отличаться от всех остальных экземпляров.


ГЛАВА 3. Андрей Чернов — сущности контроля

Из книги автора

ГЛАВА 3. Андрей Чернов — сущности контроля Андрей Чернов, системный программист и Unix-администратор, один из исторических патриархов Рунета, автор русской кодировки KOI8-R, активный участник многочисленных OpenSource-проектов, среди которых можно выделить FreeBSD, PGP, Apache. Также


Дополнение

Из книги автора

Дополнение Структура шаблона (файла index.php)Элементы <jdoc> позволяют обращаться к динамическим секциям шаблона без использования PHP командКод шаблона:<jdoc:tmpl name="loadcss" varscope="document"type="condition" conditionvar="LANG_DIR"><jdoc:sub condition="rtl"><link href="templates/{TEMPLATE}/css/template_rtl.css"rel="stylesheet" type="text/css"