Следуйте за связанным списком в OCL

Question

Я использую Жирный для Delphi, который имеет реализацию OCL. OCL хорош в фильтрационных списках и т. Д. Но я не нашел хорошего общего пути прохождения связанных списков.

Предположим, у меня есть класс PlanMission. Он содержит единственную ссылку PlanMission.previous, которая указывает на себя. Он также имеет логический атрибут isDummy.

Я хочу просмотреть список PlanMissions, пока у меня нет экземпляра с isDummy.

я могу сделать

if isdummy then 
    self 
else if previous->notEmpty and previous.isdummy then 
    previous 
else if previous.previous->notEmpty and previous.previous.isdummy then 
    previous.previous 
else 
    nil 
endif 
endif 
endif 

То, что я действительно хочу что-то вроде этого:

traverseList(previous, isDummy) 

traverseList не существует, но она должна иметь 2 параметра.

• previous: Ссылка следовать
• isDummy: Логическое состояние, так что я знаю, когда остановиться

Как это можно сделать?

Редактировать код Я не хочу, чтобы какой-либо код Delphi. Я хочу код в OCL. Те, которые используют Bold, знают, что я имею в виду. OCL - это язык запросов с объектами запроса, атрибутами и т. Д. Он не содержит побочных эффектов, поэтому он является только для чтения. Введение в OCL можно найти here.

Answer 1

Вам необходимо вычислить упорядоченное транзитивное замыкание отношения previous. (я, self.previous, self.previous.previous и т.д.)

В OCL 2.3.1 это self->asOrderedSet()->closure(previous)

, то вы можете извлечь первый фиктивный PlanMission (или нулевое значение, если его нет) по :

let c:Set(PlanMission) = 
    self->asOrderedSet()->closure(previous)->select(x|x.isDummy) in 
    if c->isEmpty() then null else select(x|x.isDummy)->first() 

в разделе 11,9 Правило отображения для Предопределенных Iterator выражений из OCL 2.3.1 существует определение closure в терминах iterate, которые вы можете использовать, если ваш инструмент поддерживает старую версию O CL.