ГОСТ РИСО 21090—2016
flavorld : Set (characterstrir.g),
item : Sequence(?)
7.9.4.3 Атрибуты
7.9.4.3.1 item : Sequence(T): содержание последовательности
Это пример шаблона обертки примитивного типа данных. Дополнительные сведения приведены
в 6.3.
7.9.4.4 Равенство
Два списка равны, если они оба пусты либо содержат те же самые элементы в том же самом по
рядке.
Примечания
1Определение содержания элемента основано на семантике равенства, описанной в настоящем стандарте,
так что. к примеру, экземпляр списка LIST(ED) может быть равен экземпляру списка LIST(ST).
2 Равенство экземпляров типа SLIST основан на равенстве последовательности значений, поэтому экзем
пляр списка SLIST<T> может быть равен экземпляру списка LIST<T>.
7.9.4.5 Инварианты:
Отсутствуют.
Примечание — Правила об истории или режиме изменений применимы к элементу, где используется
BAG{T).
7.3.4.6 Операции
7.9.4.6.1 append(s : LIST(Т)): LIST(T): последовательность типа LIST, состоящая из всех элемен
тов текущей последовательности (this), за которыми следуют все элементы последовательности s.
7.3.4.6.2 apper>d(s : DSET(T)). LIST(T): последовательность типа LIST, состоящая из всех элемен
тов текущей последовательности (this), за которыми следуют все элементы множества s в произволь
ном порядке. Эта операция идентична операции including.
7.9.4.6.3 append (object: Т ): LIST(T): последовательность типа LIST, состоящая из всех элементов
текущей последовательности (this), за которыми следует элемент object.
7.3.4.6.4 prepend(object:Т ): LIST(T): последовательность типа LIST, состоящая из элемента object,
за которым следуют все элементы текущей последовательности (this).
7.3.4.6.5 insertAt(object: Т. index : Integer): LIST(T): последовательность типа LIST, образованная
из текущей последовательности (this), в которую вставлен элемент object в позиции index. Если эта
позиция больше длины текущей последовательности или равна этой длине, то результатом операции
будет пустая последовательность.
7.3.4.6.6 subList(lower: Integer, upper. Integer): LIST(T): фрагмент текущей последовательности
(this), образованный элементами, находящимися в позициях с lower по upper. Если позиции lower или
upper больше длины текущей последовательности либо равны этой длине, либо lower или upper мень
ше 0. или lower больше upper, то результатом операции будет пустая последовательность.
7.3.4.6.7 at(i : Integer): Т: элемент текущей последовательности, находящийся в позиции i. Если
позиция i больше длины текущей последовательности либо равна этой длине, то результатом операции
будет пустое значение. Первый элемент последовательности имеет позицию i = 0.
7.3.4.6.8 indexOf(obj: Т ): Integer: позиция элемента obj в текущей последовательности или пустое
значение, если число вхождений этого элемента в последовательность отлично от 1 (вообще не входит
либо входит несколько раз).
7.9.4.6.Эflrst(): Т: первый элемент текущей последовательности (this) или пустое значение, если
последовательность пуста.
7.9.4.6.10 last() : Т: последний элемент текущей последовательности (this) или пустое значение,
если последовательность пуста.
7.9.4.6.11 tail() : LIST(T): текущая последовательность, из которой удален первый элемент, или
пустое значение, если последовательность пуста.
7.9.4.6.12 including(object: Т ): LIST(T): последовательность типа LIST, состоящая из всех элемен
тов текущей последовательности (this), за которыми следует элемент object. Эта операция идентична
операции append.
7.9.4.6.13 excluding(object : Т) : LIST(T): последовательность типа LIST, состоящая из всех эле
ментов текущей последовательности (this) за исключением всех экземпляров элемента object. Порядок
оставшихся элементов не изменяется.
118