|
|
Application module:
Fill area style |
ISO/TS 10303-1672:2010-07(E)
© ISO
|
This clause specifies the information requirements for the
Fill area style
application module. The information requirements are specified as the
Application Reference Model (ARM) of this application module.
NOTE 1 A graphical representation of the information
requirements is given in
Annex C.
NOTE 2 The mapping specification is specified in
5.1. It shows how
the information requirements are met by using common resources and
constructs defined or imported in the MIM schema of this application
module.
This clause defines the information requirements to which implementations shall
conform using the EXPRESS language as defined in ISO 10303-11.
The following begins the
Fill_area_style_arm
schema and identifies the necessary external references.
EXPRESS specification:
*)
SCHEMA Fill_area_style_arm;
(*
The following EXPRESS interface statements specify the elements
imported from the ARMs of other application modules.
EXPRESS specification:
*)
USE FROM
Basic_curve_arm;
--
ISO/TS 10303-1651
USE FROM
Curve_appearance_arm;
--
ISO/TS 10303-1003
USE FROM
Value_with_unit_extension_arm;
--
ISO/TS 10303-1753
USE FROM
Extended_basic_geometry_arm;
--
ISO/TS 10303-1667
(*
NOTE 1
The schemas referenced above are specified in the following
part of ISO 10303:
| Basic_curve_arm |
ISO/TS 10303-1651 |
| Curve_appearance_arm |
ISO/TS 10303-1003 |
| Value_with_unit_extension_arm |
ISO/TS 10303-1753 |
| Extended_basic_geometry_arm |
ISO/TS 10303-1667 |
NOTE 2
See Annex C,
Figures
C.1and C.2
for a graphical representation of this schema.
This subclause specifies the ARM entities for this
module. Each ARM application entity is an atomic element that
embodies a unique application concept and contains attributes
specifying the data elements of the entity. The ARM
entities and definitions are specified below.
An Externally_defined_hatch_style is a type of
Hatch_style
that is defined in an external computer interpretable system.
EXPRESS specification:
*)
ENTITY Externally_defined_hatch_style
SUBTYPE OF (Hatch_style);
END_ENTITY;
(*
An Externally_defined_tile_style
is a type of Tile_style
that is defined in an external computer interpretable system.
EXPRESS specification:
*)
ENTITY Externally_defined_tile_style
SUBTYPE OF (Tile_style);
END_ENTITY;
(*
A Hatch_style is a type of
Detailed_geometric_model_element.
A Hatch_style is either an
Externally_defined_hatch_style
or a
User_defined_hatch_style.
EXPRESS specification:
*)
ENTITY Hatch_style
ABSTRACT SUPERTYPE
OF (ONEOF (Externally_defined_hatch_style,
User_defined_hatch_style))
SUBTYPE OF (Detailed_geometric_model_element);
END_ENTITY;
(*
A Solid_fill_area_style is a style for filling visible curve segments,
Annotation_fill_area,
or surfaces with tiles or hatching.
EXPRESS specification:
*)
ENTITY Solid_fill_area_style;
fill_colour : Colour;
END_ENTITY;
(*
Attribute definitions:
fill_colour:
specifies a role of the
Colour
for the Solid_fill_area_style.
A Tile_style is a type of
Detailed_geometric_model_element.
A Tile_style is either an
Externally_defined_tile_style
or a
User_defined_tile_style.
EXPRESS specification:
*)
ENTITY Tile_style
ABSTRACT SUPERTYPE
OF (ONEOF (Externally_defined_tile_style,
User_defined_tile_style))
SUBTYPE OF (Detailed_geometric_model_element);
END_ENTITY;
(*
A User_defined_hatch_style is a type of
Hatch_style.
EXPRESS specification:
*)
ENTITY User_defined_hatch_style
SUBTYPE OF (Hatch_style);
hatch_line_appearance : Curve_appearance;
start_of_next_hatch_line : Vector;
point_of_reference_hatch_line : Cartesian_point;
pattern_start : Cartesian_point;
hatch_line_angle : Angle_data_element;
WHERE
WR1: 'STYLED_CURVE_ARM.SOLID_CURVE_FONT' IN TYPEOF(SELF.hatch_line_appearance.font);
END_ENTITY;
(*
Attribute definitions:
hatch_line_appearance:
specifies a role of the Curve_appearance for the User_defined_hatch_style.
start_of_next_hatch_line:
specifies a role of the Vector for the User_defined_hatch_style.
point_of_reference_hatch_line:
specifies a role of the Cartesian_point for the User_defined_hatch_style.
pattern_start:
specifies a role of the Cartesian_point for the User_defined_hatch_style.
hatch_line_angle:
specifies a role of the Angle_data_element for the User_defined_hatch_style.
Formal propositions:
WR1:
A type of Curve_appearance of a hatch_line_appearance shall be Solid_curve_font.
A User_defined_tile_style is a type of
Tile_style.
EXPRESS specification:
*)
ENTITY User_defined_tile_style
SUBTYPE OF (Tile_style);
first_direction_repeat_factor : Vector;
second_direction_repeat_factor : Vector;
tiling_scale : INTEGER;
END_ENTITY;
(*
Attribute definitions:
first_direction_repeat_factor:
specifies a role of the
Vector
for the User_defined_tile_style.
second_direction_repeat_factor:
specifies a role of the
Vector
for the User_defined_tile_style.
tiling_scale:
specifies an integer value of a tiling scale.
This subclause specifies the ARM subtype constraint for
this module. The subtype constraint places a constraint on the
possible super-type / subtype instantiations.
The ARM subtype constraint and definition is
specified below.
The
fas_detailed_geometric_model_element_subtypes
constraint specifies a constraint that applies to instances of subtypes of
Detailed_geometric_model_element.
EXPRESS specification:
*)
SUBTYPE_CONSTRAINT fas_detailed_geometric_model_element_subtypes FOR Detailed_geometric_model_element;
ONEOF (Hatch_style,
Tile_style);
END_SUBTYPE_CONSTRAINT;
(*
*)
END_SCHEMA; -- Fill_area_style_arm
(*
© ISO 2010 — All rights reserved
