ГОСТ Р 55346—2012
top_teft: graphics_poinl:
END_ENTITY;
(*A Graphics_point is a point in the coordinate plane. <note number=’r>The coordinate plane is valid in the range
{0<:= x. у <= 1}. No information on the aspect ratio is given.</note> <note number="2">This model is chosen since
the dimensions of elements in a graphical view does not have any meaning in the domain. If the aspect ratio is set up in
such a way the image is perceived to be distorted it is up to the viewer to adjust the aspect ratk>.</note> *)
ENTITY graphics_point;
(* The x_coordinate specifies the horizontal position in the coordinate plane. A value of 0 is the leftmost position and a
value of 1is the rightmost position. *)
x_coordinate : REAL;
(* The y_coordinate specifies the vertical position in the coordinate plane. A value of 0 is the topmost position and a
value of 1indicates to position furthest down. *)
y_coordinate ; REAL;
END_ENTITY;
(*A Graphics_view is the collection of all items carrying graphical information that apply to the contents of a General_
function_definition. a Genera!_physical_definition. a Functional_state_context. or a Fsm_state. *)
ENTITY graphics_view;
(* The definition_for specifies the object for which the Graphics_view is valid. *)
definition_for; definition_select;
INVERSE
(* The transformation_for specifies graphics_view for which the Coordinate_transiation_information provides informa
tion. ’)
coordinate_definition ; SET [0 ; ?] OF coordinate_translation_information FOR transformation_for.
(* The top_view specifies the Graphics_view object for which the Multi_level_view is the top_view. *)
root_view ; SET [0 ; 1] OF multijevel_view FOR top_view;
(* The view specifies the Graphics_view for which the Visual_element is defined. *)
view_element; SET [1 : ?] OF visual_element FOR view;
END_ENTITY;
{*A Hiboundjntegerjnterval is an Integerjnterval that has an upper bound that constrains the sub-set of integer values
йcontains. *)
ENTITY hiboundjntegerjnterval
SUBTYPE OF (integerjnterval);
(* The highjndex specifies the highest value that a Datajnstance of this type can take. *)
high_index; INTEGER;
END_ENTITY;
(*A Hibound_realJnterval is a type of RealJnterval that has an upper bound that constrains the sub-set of real values it
contains. *)
ENTITY hibound_realJnterval
SUBTYPE OF (realJnterval);
(* The high_dosure specifies whether or not the highjndex is included in the maths space. TRUE = included. FALSE =
excluded. ’)
high dosure ; BOOLEAN;
(* The highjndex specifies the highest value that a Datajnstance of this type can take. *)
high_index ; REAL;
END_ENTITY;
(’ An lmplied_external Jnteracbon is the relationship between a Requirementjnstance object and a FunctionJnstance or
a PhysicalJnstance object such that the existence of the functional or physical element is implied in the requirement. *)
ENTITY implied_extemal_interaction;
(* The associated_requirement specifies the Requirementjnstance in the relationship. *)
associated_requirement: requirementjnstance;
(* The implied_extemal_element specifies the Configuration_element implied by the requirement. •)
implied_external_element; external_element_select;
INVERSE
(* The transfer specifies the lmp!ied_external Jnteraction object for which the Datajransfer is valid. *)
associated_data : SET [0 : 1] OF datajransfer FOR transfer.
END_ENTITY;
344