ГОСТ Р 55346—2012
E N D J F ;
END_REPEAT;
ENDJF;
RETURN (no_of_systemJunctions <= 1);
END_FUNCTION;
(*
4.4.2 Функция correct_binding
EXPRESS-описание:
*)
FUNCTION correct_binding (binding : io_port_binding): BOOLEAN;
LOCAL
functionjnterface :functionjnstance;
END_LOCAL;
IF (‘SYSTEM_ENGINERING_ANDJDESIGN.FUNCTIONJNSTANCE’ IN TYPEOF(bindir>g.actu-
al_port.port_of)) THEN
RETURN (FALSE);
ENDJF;
funct»on_interface ;= binding.actual_port.port_of;
IF (binding.formal_port.port_of :=: functionjnterface.definition) THEN
RETURN (TRUE);
ELSE
RETURN (FALSE);
ENDJF;
END_FUNCTION.
(*
4.4.3 Функция determineactualportrole
EXPRESS-описание:
*)
FUNCTION determineactualportrole (p : actualjo_port): port_data_relation;
IF (p.portjype = input) OR (p.portjype = control) OR (p.portjype = mechanism) THEN RETURN
(consumer);
ELSE
RETURN (producer):
END IF;
END_FUNCTION;
C
4.4.4 Функция determineformalportrole
EXPRESS-описание:
*)
FUNCTION determineformalportrole (p :formal_io_port): port_data_relation;
IF (p.portjype = input) OR (p.portjype = control) OR (p.portjype = mechanism) THEN
RETURN (producer);
ELSE
RETURN (consumer):
ENDJF;
END_FUNCTION;
(*
5 Требования соответствия
Соответствие настоящему стандарту означает выполнение требований, установленных в насто ящем
стандарте, требований к поддерживаемому методу (методам) и соответствующих требований.
167