Использование структуры данных карты в OCL

Question

Как использовать карту в OCL. Например, я хочу получить все счета для пользователя c1, а мои «покупки» моей карты выглядят как Map <Date, Bill>.

c1.purchases.Bill? Это возможно?

рассматривает

Answer 1

Способность синтезировать карту в OCL от Set (набор (K, V)) является то, что я и другие были виновны в пропаганде. Карта (K, V) поддерживает единственную уникальную запись V на K, тогда как Set (Tuple (K, V)) может иметь много V для одного и того же K; не то же самое.

Eclipse OCL поэтому имеет карту (K, V) как часть своей моделируемой стандартной библиотеки, которая в конечном итоге может превратиться в стандарт.

С уважением

Ed Willink