Оператор detach (открепить)

Пусть X — наименьший работающий экземпляр блока. Если X является прикрепленным объектом, оператор откре­пить производит следующие действия:

· объект становится самостоятельным (открепленным)
на уровне системы наименьшего объемлющего экземпляра
блока с префиксом, а его ЛУ останавливается в конце опе­ратора detach;

· УП возвращается в экземпляр блока, к которому X был прикреплен, и возобновляет работу с оператора, стоящего вслед за генератором объектов, который вызвал поро­ждение объекта X. Результатом вычисления выражения (ге­нератор объектов) является ссылка на X.

Если X является самостоятельным объектом, являю­щимся компонентой некоторой квазипараллельной системы S, то оператор detach производит следующие действия:

· ВУ системы S покидает X. В результате X удаляется
из работающей цепочки, а его ЛУ останавливается в конце оператора detach;

· ВУ системы S входит в главную программу системы
S на текущую позицию ее ЛУ. В результате главная про­грамма системы S и, возможно, компоненты систем на уров­нях, более высоких, чем уровень S, станут работающими.

Если X есть экземпляр блока с префиксом, то оператор detach никаких действий не производит.

Если X есть экземпляр блока, но не объект и не экзем­пляр блока с префиксом, то использование оператора detach представляет собой ошибку.