ГОСТ РИСО 21090—2016
Определение инвариантов на языке OCL:
inv "должен существовать по меньшей мере один элемент": tr->notLrcpty
7.12.31 Тип данных StrucDoc.Tablo
7.12.31.1 Описание
Специализация типа данных StrucDoc.Captioned
Таблица. Может иметь название и должна иметь по меньшей мере один столбец. Таблица может
иметь необязательные строки заголовка и итогов. Все строки определены в группах. Таблица может
также содержать элементы col и cotgroup, задающие стили представления столбцов.
7.12.31.2 Атрибуты
7.12.31.2.1 summary : String: этот атрибут содержит краткое описание назначения и структуры та
блицы. предназначенное для использования не визуальными пользовательскими агентами, например,
речевыми или использующими письмо Брайля. Его отличие от названия в том. что он должен содер
жать неформатированный текст и обычно длиннее.
7.12.31.2.2 width: StrucDoc.Length: этот атрибут указывает желательную ширину всей таблицы. Он
предназначен для визуальных пользовательских агентов.
Правила вычисления ширины таблицы, описанные в спецификации языка HTML, применимы и к
таблицам, описанным в настоящем стандарте.
7.12.31.2.3 border: StrucDoc.Length: ширина границы.
7.12.31.2.4 frame : StrucDoc.Frame: этот атрибут указывает, какие стороны обрамления таблицы
будут видимы (то есть, какие границы видимы).
Если этому атрибуту присвоено значение, то оно должно браться из перечисления StrucDoc.
Frame, приведенного в таблице 36.
Таблица 36 — Перечисление StrucDoc.Frame
УровеньКод
Описание
Определение
1
void
Отсутствует
Нет обрамления
1
above
Верх
Только верхняя сторона
1
below
Низ
Только нижняя сторона
1
hsides
Боковые стороны
Только правая и левая сторона
1
Ihs
Левая сторона
Только левая сторона
1
rhs
Правая сторона
Только правая сторона
1
vsides
Верх и низ
Только верхняя и нижняя сторона
1
box
Прямоугольник
Все четыре стороны
1
border
Обрамление
Все четыре стороны
По умолчанию обрамления нет.
7.12.31.2.5rules : StrucDoc.Rules: этот атрибут указывает, какио линии (то есть границы) появятся
между ячейками таблицы. Правила отображения линий зависят от пользовательского агента.
Если этому атрибуту присвоено значение, то онодолжно браться из перечисления StrucDoc.Rules.
приведенного в таблице 37.
Таблица 37 — Перечисление StrucDoc.Rules
УровеньКод
ОписаниеОпределение
1
поле
ОтсутствуютЛиний нет
1
groupsГруппыЛинии появятся только между группами строк и столбцом
162