ГОСТ Р ИСО/ГО 10303-12-2000
Пример 21 - Некоторые простые экземпляры
г1 = 27.0:
&I = ‘ A string’;
8.4 Экземпляр типа
Экземпляр типа является представлением значения одного экземпляра области значений
типа (TYPE).
Синтаксис:
137i Typelnstance = TypeInstanceId ’= ’ TypeInstanceValue ‘;* .
138i TypelnstanceId = simple Jd .
139i TypeInstanceValue = TypeDomainTypeValue ’}’ .
140i TypeValue = Aggregation Value | BaseValue | ConstantRef |
Entity Instance Value | NamedInstance Value |
Object InstanceRef | ParameterRef .
44i TypeInstanceRef=TypeInstanceId .
Правила и ограничения
а)Значение экземпляра должно быть либо простым значением, ссылкой на экземпляр
объекта, ссылкой на экземпляр типа, либо агрегациями этих значений.
Пример 22 - Некоторые экземпляры типов:
П = а_геа!{27.0};
t2 = an_array_of_string (Гone’, ’two‘|};
t3 = a_dynamic_aggregate_of_integer {(1, I, 2, 3. 5, 8, 13));
8.5 Экземпляр выбора
Экземпляр выбора япляется представлением значения одного экземпляра области значений
выбора (SELECT).
Синтаксис:
116i SelectInstance = Select Instanceid ’= ’ SelectInstance Value.
117i Select InstanceId = simpleJd .
118i SelectInstance Value = Select DomainSelectValue.
119i Select Value = EnumerationValue | NamedlnstanceValue | Object InstanceRef |
TypeValue .
40i SelectInstanceRef = ’<&>’ Selectlnstanceld .
Правила и ограничения
а)Значение экземпляра должно бьпъ либо ссылкой на экземпляр типа, ссылкой на экзем
пляр выбора, ссылкой на экземпляр перечисления, либо ссылкой на экземпляр объекта.
П р и мер 23 - Экземпляр выбора
&1 = type_or_entity{@е27);
8.6 Экземпляр перечисления
Экземпляр перечисления япляется представлением значения одного экземпляра области
значений перечисления (ENUMERATION).
Синтаксис:
74i EnumerationInstance = EnumerationInstanceId ’= ’
EnumerationInstanceValue.
75i Enumerationlastanceld = simplejd .
76i EnumerationlnstanceValue = EnumerationDamain
’{’ EnumerationValue.
28i EnumerationValue = ’!’ simple_id .
38i EnumerationInstanceRef =EnumerationInstanceId .
Правила и ограничения
а) Значение экземпляра должно быть перечисляемым значением.
14