ГОСТ Р ИСО 13584-25—2010
XOR
(QUERY(x<* presentJranslations |TRUE)=(J) ;
END_RULE: - - AJIowedJanguage_assignment
Г
Формальное положение:
WR1:
ниодин изэкземпляров
global_language_assignment
не доступен в файле Обмена, если внем присут
ствует один или несколько экземпляров
present_translation.
D.3.4 Функция compliant_http_protocol_25
Функция
compliant_http_protocol_25
обеспечивает выполнение проверки того, допускаются или нет ссыл
ки на протокол
external_file_protocol,
как на протокол HTTP из
library_iim_identification
со ссылками на интегри
рованную модель библиотеки LIIM 25 для одного из ее классов соответствия. Эта функция возвращает значение
TRUE, если такие ссылки на
extemal_file_protocol
допускаются, и значение FALSE в противном случае. На прото кол
external_file_protocol
допускаются ссыпки как на протокол HTTP из
library_iim_identification.
содержащего
ссылки на интегрированную модель библиотеки LIIM 25 для какого-либо ее класса соответствия, если выполняют ся
следующие условия:
- протокол
external_file_protocol
является протоколом
http_protocol;
- атрибут
organisation
протокола
external_file_protocol
в обязательном порядке ссылается на организа
цию.атрибут
id
которой равен TAB’, а атрибут
name
— ’InternetArchitecture Board’:
- атрибут
protocol_name
протокола
external_file_protocol
равен ’HTTP или HTTPS’:
- атрибут
designation
протокола
external_file_protocol
ссылается на имена элементов
item_names.
для
которых атрибут
preferred_name
равен ’Hypertext Transfer Protocol’, а атрибут
short_name
имеет вид строки
’RFC с дополнительными четырьмя цифрами и. возможно, другими символами.
Спецификация EXPRESS:
*)
FUNCTION compliant_http_protocol_25<ef : external_file_protocol}:
BOOLEAN;
LOCAL
ok: BOOLEAN :=TRUE;
END_LOCAL;
IF ((’IS013584_EXTERNAL_FILE_SCHEMA’ + \HTTP_PROTOCOL’ IN TYPEOF(ef))AND
{ef.organisation.id = ’IAB’) AND (ef.organisation.name = ’Internet Architecture Board’)AND
{(ef.protocol_name = ’HTTP’) OR (ef.protoool_name = ’HTTPS’)) AND
(ef.designation.preferredjiame = ’Hypertext Transfer Protocol’))
THEN
IF ’IS013584JEC61360J_ANGUAGEJRESOURCE_SCHEMA.TRANSLATED_LABEL’
IN TYPEOF(ef.designation.short_name)
THEN
REPEAT i:= 1 TO SIZEOFfef.designation.sbort_name\translaledJabel.labels);
IF (ef.designation.short_name\translated_label.labels[i] LIKE ’RFC####&’)
THEN
ok := ok AND TRUE:
ELSE
ok :=OK AND FALSE;
ENDJF;
END_REPEAT;
RETURN(OK):
ELSE
IF (ef.designabon.short_name LIKE ’RFC####&’)
THEN
RETURN(TRUE):
ELSE
RETURN(FALSE);
ENDJF:
ENDJF:
ELSE
RETURN(FALSE);
ENDJF;
ENDJUNCTION: - - compliantJittp_protocol_25
C
D.3.5 Функция compliant_8859_1_protocol_25
Функция
compliant_8859_1_protocol_25
обеспечивает выполнение проверки того, допускаются или нет
ссылки на протокол
externalJile_protocol.
как на протокол, соответствующий требованиям ИСО 8859-1, откуда
48