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

В приведенном выше примере мы использовали строковые литералы.25.8. Тело выражения543Доступ к частям Tuple осуществляется с помощью оператора «точка».Например, следующее выражение возвращает значение 'Addison Wesley':Tuple { title:String = 'UML 2 and the Unified Process', publisher:String ='Addison Wesley' }.publisherOCL – строго типизированный язык, поэтому каждый Tuple долженбыть определенного типа. TupleType (тип кортежа) – это анонимный тип.Он не имеет имени и определяется неявно при создании Tuple.

Однакотип TupleType можно задать явно. Например, TupleType для приведенноговыше Tuple может быть записан в OCL так:TupleType { title:String, publisher:String }Обычно явное определение TupleType необходимо только в случае, есливы хотите создать коллекцию этого типа (раздел 25.8.6), напримерSet( TupleType{ title:String, publisher:String} ) создает Set, который может хранить объекты Tuple25.8.5. Инфиксные операторыКак вы увидите в нескольких последних разделах, операции, ассоциированные с простыми типами OCL, бывают двух видов.

Есть синтаксисобычного вызова операции, напримерa.toUpper()и есть инфиксные операторы, в которых оператор располагается меж+ду операндами, напримерa<bИнфиксные операторы синтаксически более удобны. Вместо a.lessThan( b ) записывается a < b. Такая форма более удобочитаема, особеннов сложных выражениях.Инфиксные операторы также могут использоваться с типами из ассоциированной UMLмодели при условии использования правильной сигнатуры операций. Приведенный на рис. 25.6 класс Money определяетнекоторые логические и арифметические инфиксные операции.Таким образом, если и a, и b имеют тип Money, можно использовать такие выраженияa<bОднако обратите, пожалуйста, внимание, что спецификация OCL за+прещает явные вызовы операций, такие как a.<( b ), несмотря на то,что разумно было бы ожидать их наличия!25.8.6. OCLколлекцииOCL предоставляет довольно обширный набор типов коллекций, которые могут хранить другие объекты, включая и другие коллекции.544Глава 25.

Введение в OCLMoneyamount : Realcurrency : StringMoney( amount : Real, currency : String )getAmount() : RealgetCurrency() : String=( amount : Money ) : Boolean<>( amount : Money ) : Boolean<( amount : Money ) : Boolean<=( amount : Money ) : Boolean>( amount : Money ) : Boolean>=( amount : Money ) : Boolean+( amount : Money ) : Money! ( amount : Money ) : MoneyИнфиксныеоператоры OCLРис.

25.6. Инфиксные операторы OCLOCLколлекции неизменны. Это означает, что операции над коллекциями не меняют их состояния. Например, при вызове операции длядобавления или удаления элемента коллекции эта операция возвращает новую коллекцию, а исходная коллекция остается неизменной.Мы уже говорили о типах коллекций OCL в разделе 18.10. Их семантика сведена в табл. 25.8.

Обратите внимание на соответствие каждогоиз типов коллекций OCL паре свойств конца ассоциации. Применяемые по умолчанию свойства конца ассоциации – { unordered, unique }.Таблица 25.8Коллекция УпорядоOCLченностьУникальность (дублиро Свойства концавания не допускаются)ассоциацииSetНетДа{ unordered, unique } – применяются по умолчаниюOrderedSetДаДа{ ordered, unique }BagНетНет{ unordered, nonunique }SequenceДаНет{ ordered, nonunique }OCLколлекции – это фактически шаблоны (раздел 17.7), для использования которых необходимо создать их экземпляр определенного типа. Например, OCLвыражениеSet( Customer )создает экземпляр шаблона Set типа Customer. Тем самым определяетсяшаблон Set для хранения объектов типа Customer.

Можно создавать экземпляры OCLколлекций любого из доступных типов.Коллекцию констант можно определить, просто перечислив в фигурных скобках ее элементы:OrderedSet{ 'Monday', 'Tuesday', 'Wednesday', 'Thursday', 'Friday' }25.8. Тело выражения545При этом автоматически создается экземпляр коллекции, тип которого соответствует типу перечисленных элементов.Последовательности (Sequence) целых (Integer) литералов имеют собственный специальный синтаксис, использующий описание интервала(interval specification):<start>...<end>Это означает: «все Integer между <start> и <end>», где <start> и <end> –OCLвыражения, результатами которых являются Integer. НапримерSequence{ 1 ...

7} эквивалентна Sequence{ 1, 2, 3, 4, 5, 6, 7 }Sequence{ 2 ... ( 3 + 4 ) } эквивалентна Sequence{ 2, 3, 4, 5, 6, 7 }Коллекции могут включать другие коллекции, напримерOrderedSet{ OrderedSet{ 'Monday', 'Tuesday' }, OrderedSet{ 'Wednesday','Thursday', 'Friday' } }25.8.6.1. Операции над коллекциямиЛюбой единичный объект может быть интерпретирован как Set, содержащий только один элемент.Коллекции обладают большим набором операций. Они должны инициироваться с помощью специального синтаксиса, в котором используется оператор «стрелка»:коллекция>операцияКоллекции( параметры...

)Этот специальный синтаксис необходим, потому что OCL может интерпретировать любой единичный объект как Set, содержащий только одинобъект. Таким образом, если объект имеет, например, операцию count()и в Set есть операция с тем же именем count(), OCL нужно както различать эти две операции: принадлежащую объекту и принадлежащую коллекции. Это осуществляется путем использования оператора «точка»и вызова операций над коллекциями с помощью оператора «стрелка».В следующих нескольких разделах рассматривается семантика операций над коллекциями.

Чтобы было проще ссылаться на операции, мыразбили их на следующие категории:•операции преобразования – преобразовывают один тип коллекциив другой (раздел 25.8.6.2);•операции сравнения – сравнивают коллекции (раздел 25.8.6.3);•операции запроса – получают информацию о коллекции (раздел 25.8.6.4);•операции доступа – обеспечивают доступ к элементам коллекции(раздел 25.8.6.5);•операции выбора – возвращают новую коллекцию, содержащуюподмножество или надмножество коллекции (раздел 25.8.6.6).546Глава 25. Введение в OCLКроме того, OCLколлекции обладают полным набором итерационныхопераций.

Они являются довольно сложными и имеют необычныйсинтаксис, поэтому обсуждаются отдельно в разделе 25.8.7.Мы также ввели несколько обозначений, чтобы упростить обсуждениеколлекций и сделать его более компактным:• X(T) – краткая запись, где X может быть Set, OrderedSet, Bag или Sequence;• целевая коллекция – объект, операция которого вызывается.При чтении следующих разделов необходимо помнить, что типы коллекций являются шаблонными типами. Это означает, чтоSet(T) – это экземпляр Set типа T.Таким образом, X(T) представляет экземпляры Set, OrderedSet, Bag илиSequence для элементов типа T.25.8.6.2. Операции преобразованияОперации преобразования (табл. 25.9) преобразуют коллекцию одноготипа в другой, возвращая новую коллекцию требуемого типа.НапримерBag{ 'Homer', 'Meg' }>asOrderedSet()возвращает новый OrderedSet, содержащий объекты 'Homer' и 'Meg' типаString.Таблица 25.9Операции преобразованияОперации над коллекциямиСемантикаX(T)::asSet() : Set(T)X(T)::asOrderedSet() : OrderedSet(T)X(T)::asBag() : Bag(T)X(T)::asSequence() : Sequence(T)Преобразует коллекцию одного типа в коллекцию другого типа.При преобразовании коллекции в тип Setдублирующиеся элементы отбрасываются.При преобразовании коллекции в OrderedSet или Sequence сохраняется исходный порядок (если таковой имеется), в противномслучае устанавливается произвольный порядок.X(T)::flatten() : X(T2)В результате получается новая плоскаяколлекция с элементами типа T2.Например, если имеется:Set{ Sequence{ 'A', 'B' }, Sequence{ 'C', 'D' } }Set содержит экземпляры типа Sequence, которые содержат экземпляры типа String –результатом применения к Set оператораflatten является множество строк (Set содержащий элементы типа String).54725.8.

Тело выраженияУчитываются ограничения и исходной, и результирующей коллекции. В данном случае исходная коллекция является неупорядоченной. Но результирующая коллекция упорядочена, поскольку операция закрепляет этот произвольный порядок для результирующей коллекции.25.8.6.3. Операции сравненияОперации сравнения (табл. 25.10) сравнивают целевую коллекциюс коллекциейпараметром того же типа и возвращают результат типаBoolean.

Эти операции учитывают ограничения упорядочения коллекций.Таблица 25.10Операции сравненияОперация над коллекциямиСемантикаX(T)::=( y : X(T) ) : BooleanSet и Bag возвращают true, если в y содержатся такие же элементы, как в целевой коллекции.OrderedSet и Sequence возвращают true, если в yсодержатся такие же элементы и в том жепорядке, как в целевой коллекции.X(T)::<>( y : X(T) ) : BooleanSet и Bag возвращают true, если в y не содержатся такие же элементы, как в целевойколлекции.OrderedSet и Sequence возвращают true, если в yне содержатся такие же элементы, расположенные в том же порядке, как в целевойколлекции.25.8.6.4. Операции запросаОперации запроса (табл. 25.11) позволяют получить информацию о коллекции.Таблица 25.11Операции запросаОперация над коллекциямиСемантикаX(T)::size() : IntegerВозвращает количество элементов в целевойколлекцииX(T)::sum() : TВозвращает сумму всех элементов целевойколлекцииТип T должен поддерживать оператор +X(T)::count( object : T ) : IntegerВозвращает количество object в целевой коллекцииX(T)::includes( object : T ) : BooleanВозвращает true, если целевая коллекция содержит object548Глава 25.

Введение в OCLТаблица 25.11 (продолжение)Операции запросаОперация над коллекциямиСемантикаX(T)::excludes( object : T ) : BooleanВозвращает true, если целевая коллекция несодержит objectX(T)::includesAll( c : Collection(T) ) : Возвращает true, если в целевой коллекцииBooleanсодержатся все элементы cX(T)::excludesAll( c : Collection(T) ) : Возвращает true, если в целевой коллекцииBooleanне содержатся элементы c (если хотя бы одинэлемент с содержится в целевой коллекции,результат – false).X(T)::isEmpty() : BooleanВозвращает true, если целевая коллекцияпуста, в противном случае возвращает falseX(T)::notEmpty() : BooleanВозвращает true, если целевая коллекция непуста, в противном случае возвращает false25.8.6.5.