Глава 4.Структура программы








Программа состоит из множества классов и целевого утверждения («проекта»):

программа = { определение-класса | определение-проекта }

Будем говорить, что некоторый класс С (или проект) «использует» класс Е, если Е является предком С в иерархии наследования классов, а также если С (проект) или кто-либо из его предков содержит конструктор экземпляра класса Е (или конструктор экземпляра класса F, такого что класс F использует класс Е), не считая тех конструкторов, которые входят в состав инициализаторов, перекрываемых во время построения соответствующих миров.

В программе должны быть определены все классы, используемые проектом.

Исполнением программы называется построение и дальнейшее согласование некоторых процессов. Исполнение программы начинается с доказательства конструктора процесса, заданного в определении проекта, а также формирования процесса, построенного в результате доказательства этого конструктора.



Содержание