Соглашения, принятые при обсуждении Фантома

Псевдокод пишется на языке, близком к C++/Java, если их выразительных средств достаточно. Если не достаточно - нужно оговаривать язык или дополнительные конструкции.

Имена типов пишутся с большой буквы.

Термины

Надземелье - часть системы, видимая для программиста и пользователя.

Подземелье - микроядро, минимальная совокупность программных модулей, делающая возможным существование надземелья.

Объёкт - сущность, имеющая значение и тип. Любая самостоятельная сущность надземелья - объект.

Тип, класс - объект типа/класса Class. :-) Описывает структуру объекта - типы и имена его полей и методов. Методы собраны в интерфейсы.

Абстрактный тип - тип, хотя бы один метод которого не реализован.

Интерфейс - совокупность методов, являющаяся характеристикой типа. Тип обладает, как минимум, одним интерфейсом. Другие интерфейсы могут быть унаследованы типом от родительских типов.

Первичный, родной, полный интерфейс - для класса с одним интерфейсом - он и есть. Для класса с несколькими интерфейсами - тот, который действует без дополнительных оговорок и преобразований.

Фраза "интерфейс А класса Б" возможна, если Б порождён от А и означает такой интерфейс Б, который соответствует первичному интерфейсу А.

Метод - точка входа в код класса, характеризуется числом и типом параметров, типом результата.

Константный метод - метод, не изменяющий состояния своего объекта.

Указатель - Переменная, содержащая адрес в адресном пространстве надземелья. В самостоятельном виде существует только подземно.

Ссылка - Пара указателей, первый из которых указывает на объект, а второй - на актуальный в отношении данной ссылки интерфейс объекта. Надземному миру доступны лишь ссылки.

NULL - указатель или ссылка, которые не имеют никакого значения. Попытка воспользоваться - exception.

Нить - сущность, исполняющая команды, из которых состоит исполняемый код. Представлена объектом типа System.Thread. Метод main любого объекта такого класса или унаследованного от него запускается системой в отдельной нити.