Дж. Арлоу, А. Нейштадт - UML 2 и Унифицированный процесс - Практический объектно-ориентированный анализ и проектирование, страница 98

Операции доступаТолько упорядоченные коллекции OrderedSet и Sequence обеспечиваютвозможность прямого доступа к своим элементам по их положениюв коллекции (табл. 25.12). Чтобы организовать доступ к элементам неупорядоченных коллекций, необходимо перебрать все элементы коллекции от начала до конца.Таблица 25.12Операции доступаОперация над коллекциямиСемантикаOrderedSet(T)::first() : TSequence(T)::first() : TВозвращает первый элемент коллекцииOrderedSet(T)::last() : TSequence(T)::last() : TВозвращает последний элемент коллекцииOrderedSet::at( i ) : TSequence::at( i ) : TВозвращает элемент в позиции iOrderedSet::indexOf( T ) : IntegerВозвращает индекс объектапараметра в OrderedSet25.8.6.6. Операции выбораОперации выбора (табл.

25.13) возвращают новые коллекции, являющиеся подмножествами или надмножествами целевой коллекции. Мывоспользовались диаграммами Венна (Venn) для иллюстрации операций с множествами: объединения, пересечения, строгой дизъюнкциии дополнения.54925.8. Тело выраженияТаблица 25.13Операции выбораОперация над коллекциямиСемантикаX(T)::union( y : X(T) ) : X(T)Возвращает новую коллекцию, которая является результатом присоединения y к целевой коллекции;тип новой коллекции всегда соответствует типу целевой коллекции.Дублирующиеся элементы удаляются, порядок устанавливаетсяв случае необходимости.targetyВозвращает новую коллекцию, соSet(T)::intersection( y : Set(T) ) : Set(T)OrderedSet(T)::intersection( y : OrderedSet(T) ) держащую элементы, присутствующие и в y, и в целевой коллекции.: OrderedSet(T)targetySet(T)::symmetricDifference( y : Set(T) ) : Set(T) Возвращает новый Set, содержащийOrderedSet(T)::symmetricDifference( y : Order элементы, которые существуют в целевой коллекции и в y, но не в обеих.edSet(T) ) : OrderedSet(T)targetSet(T)::( y : Set(T) ) : Set(T)OrderedSet(T)::( y : OrderedSet(T) ) : OrderedSet(T)Возвращает новый Set, содержащийвсе элементы целевой коллекции,которых нет в y.В теории множеств возвращаемоемножество является дополнением aотносительно b.targetX(T)::product( y : X(T2) ) : Set( Tuple( first : T,second : T2 ) )yyВозвращает декартово произведениецелевой коллекции и y – это Set объектов Tuple{ first=a,second=b }, где a –член целевой коллекции, а b – член yнапримерSet{ 'a',' b' }>product( Set { '1','2' } )550Глава 25.

Введение в OCLТаблица 25.13 (продолжение)Операции выбораОперация над коллекциямиСемантикавозвращаетSet{ Tuple{ first='a', second='1' },Tuple{ first='a',second='2' }, Tuple{ first='b',second='1' }, Tuple{ first='b',second='2' } }X(T)::including( object : T ) : X(T)Возвращает новую коллекцию, включающую содержимое целевой коллекции плюс object.Если коллекция упорядочена, objectдобавляется в ее конец.X(T)::excluding( object : T ) : X(T)Возвращает новую коллекцию, в которой удалены все вхождения object.Sequence(T)::subSequence( i : Integer, j : In Возвращает новый Sequence, в котоteger ) : Sequence(T)рый входят элементы целевой коллекции, начиная от элемента с индексомi, заканчивая элементом с индексом j.OrderedSet::subOrderedSet ( i : Integer, j : In Возвращает новый OrderedSet, в котоteger ) : OrderedSet(T)рый входят элементы целевого OrderedSet, начиная с элемента с индексом i,заканчивая элементом с индексом j.OrderedSet(T)::append( object : T ) : Ordered Возвращает новую коллекцию с object,добавленным в конце.Set(T)Sequence(T)::append( object : T ) : Sequence(T)OrderedSet(T)::prepend( object : T ) : Ordered Возвращает новую коллекцию с object,добавленным в начале.Set(T)Sequence(T)::prepend( object : T ) : Sequence(T)OrderedSet(T)::insertAt( index : Integer, object : T ) : OrderedSet(T)Sequence(T)::insertAt( index : Integer, object : T ) : Sequence(T)Возвращает новую коллекцию с object,вставленным в позицию по указанному индексу.25.8.7.

Итерационные операцииИтерационные операции позволяют циклически перебирать элементыколлекции. Их общая форма показана на рис. 25.7.Слова в угловых скобках (<...>) должны быть заменены соответствующими величинами. Слова, выделенные серым цветом, обозначают необязательные части.55125.8. Тело выраженияколлекция!><операцияИтератора>( переменнаяИтератора> : <Тип> |< выражениеИтератора>)Рис.

25.7. Общая форма итерационных операцийОперации итератора работают следующим образом: операцияИтераторапоочередно посещает каждый элемент коллекции. Текущий элементпредставлен переменнойИтератора. Выражение выражениеИтератора применяется к переменнойИтератора для получения результата.

Каждая операцияИтератора обрабатывает результат посвоему.Указывать Тип переменной итератора необязательно, поскольку он всегда аналогичен типу элементов коллекции. Сама переменнаяИтератора является необязательной. Когда выбран любой из элементов коллекции,все его возможности автоматически доступны выражениюИтератора.Доступ к ним может осуществляться напрямую по имени. Например,если элемент является объектом BankAccount, имеющим атрибут balance,выражениеИтератора может ссылаться непосредственно на balance.Однако отсутствие в записи переменнойИтератора может быть чревато неприятностями. Мы считаем это плохим стилем, поскольку выражениеИтератора сначала ищет все необходимые ему переменные в своем пространстве имен, а если не может найти переменную, ищет в окружающих пространствах имен.

Если переменнаяИтератора пропущена, существует опасность, что выражениеИтератора обнаружит не то, что надо.Мы разделили операции итератора на логические операции (возвращающие значение типа Boolean) и операции выбора (возвращающиевыборку из коллекции). Все операции представлены в табл. 25.14.Таблица 25.14Логические операции итератораСемантикаX(T)::exists( i : T | iteratorExpression ) : Boo Возвращает true, если выражение итеleanратора (iteratorExpression) принимаетзначение true, по крайней мере, дляодного значения i, в противном случаевозвращает false.X(T)::forAll( i : T | iteratorExpression ) : Boo Возвращает true, если iteratorExpressionleanпринимает значение true для всех значений i, в противном случае возвращает false.X(T)::forAll( i : T, j : T ..., n : T | iteratorExpres Возвращает true, если iteratorExpressionsion ) : Booleanпринимает значение true для каждого{ i, j ...

n } Tuple, в противном случаевозвращает false.Множество пар { i, j ... n } – это декартово произведение целевой коллекциис самой собой.552Глава 25. Введение в OCLТаблица 25.14 (продолжение)Логические операции итератора СемантикаX(T)::isUnique( i : T | iteratorExpres Возвращает true, если iteratorExpression имеетsion ) : Booleanуникальное значение для каждого значения i, в противном случае возвращает false.X(T)::one( i : T | iteratorExpression ) : Возвращает true, если iteratorExpression приBooleanнимает значение true только для одного значения i, в противном случае возвращаетfalse.Операции выбора для итератора СемантикаX(T)::any( i : T | iteratorExpression ) : T Возвращает случайный элемент целевойколлекции, для которого iteratorExpressionимеет значение true.X(T)::collect( i : T | iteratorExpression ) Возвращает Bag, содержащий результаты: Bag(T)однократного выполнения iteratorExpressionдля каждого элемента целевой коллекции(нотацию краткой записи collect(...) см.в разделе 25.9.2).X(T)::collectNested( i : T | iteratorEx Возвращает Bag коллекций, содержащийpression ) : Bag(T)результаты однократного выполнения iteratorExpression для каждого элемента целевойколлекции.Поддерживает вложение целевой коллекции в результирующую коллекцию.X(T)::select( i : T | iteratorExpression ) : Возвращает коллекцию, содержащую элеX(T)менты целевой коллекции, для которыхiteratorExpression принимает значение true.X(T)::reject( i : T | iteratorExpression ) : Возвращает коллекцию, содержащую элеX(T)менты целевой коллекции, для которыхiteratorExpression принимает значение false.X(T)::sortedBy( i : T | iteratorExpres Возвращает коллекцию, содержащую элеsion ) : X(T)менты целевой коллекции, упорядоченныесоответственно iteratorExpression.Тип переменной итератора (iteratorVariable)должен быть типом, в котором определеноператор <.Стоит поближе рассмотреть forAll(...).

Данная операция имеет две формы. Первая форма – с одной переменной итератора (iteratorVariable), вторая – с множеством. Вторая форма является сокращенной записью нескольких вложенных операций forAll(...).Например, рассмотрим две вложенные операции forAll(...):c>forAll( i | c>forAll( j | iteratorExpression ) )25.8. Тело выражения553Они могут быть записаны следующим образом:c>forAll( i, j | iteratorExpression )Результатом применения обеих форм записи операции является перебор множества пар { i, j }, т. е. декартово умножение c на саму себя.Проясним это с помощью примера.

Пустьc = Set{ x, y, z }Декартовым произведением c с самой собой является Set{ {x,x}, {x,y}, {x,z}, {y,x}, {y,y}, {y,z}, {z,x}, {z,y}, {z,z} }Затем c>forAll( i, j | iteratorExpression ) осуществляет перебор каждого подмножества этого Set, присваивая каждому i и j по одному элементу подмножества. После этого i и j можно использовать в выражении итератора.Мы полагаем, что форма forAll(...) с несколькими параметрами можетсбить с толку, и ее применения следует избегать.Все эти итерационные операции (кроме forAll(...) с несколькими параметрами) являются особыми случаями более общей операции iterate,которая рассматривается в следующем разделе.25.8.7.1.

Операция iterateС помощью OCLоперации iterate можно создавать собственные специальные итерации. Ее форма представлена на рис. 25.8.Как видим, кроме переменнойИтератора и ее Типа (который в данном случае является обязательным) здесь присутствует результирующаяПеременная, тип которой может отличаться от типа переменнойИтератора. результирующаяПеременная получает начальное значение от выраженияИнициализации, а ее конечное значение формируется в результате последовательных применений выраженияИтератора.Принцип работы операции iterate следующий. выражениеИнициализацииинициализирует результирующуюПеременную некоторым значением. Затем операция iterate выполняет выражениеИтератора для каждого членаколлекции по очереди, используя переменнуюИтератора и текущее значение результирующейПеременной.

Результатом вычисления выраженияИтератора становится новое значение результирующейПеременной, котороеиспользуется при выполнении выраженияИтератора для следующего элемента коллекции. Значение операции iterate(...) – это конечное значение результирующейПеременной.коллекция !> iterate( <переменнаяИтератора> : <Тип><результирующаяПеременная> : <РезультирующийТип> = <выражениеИнициализации> |<выражениеИтератора>)Рис. 25.8. Форма операции iterate554Глава 25. Введение в OCLВы легко усвоите принцип действия операции iterate из следующегопримера:Bag{ 1, 2, 3, 4, 5 }>iterate( number : Integer;sum : Integer = 0 |sum + number)В результате этого выражения получаем сумму чисел в Bag. В данномслучае она равняется 15.